如何确保泛型中的类型在 Dart 中实现某些运算符？

Question

我想构建一个包含类型对象的泛型类T。包含类必须在这些对象上执行一些运营商，具体地说操作者喜欢+，-，*和/。如何确保对象的类型实现这些运算符？

具体来说，我正在实现一个矩阵类，就像在数学矩阵中一样。我本可以只允许double元素，但我也希望能够制作自定义数字类的矩阵，如有理数或复数（这是一个更大项目的一部分）。

我当前的实现有签名

class Matrix<T extends MatrixElement> {
  final int _rows;          // The number of rows
  final int _cols;          // The number of columns
  ...
  final List<T> _elements;  // Matrix data, [i*step+j] is row i, col j.

MatrixElement带有运算符的抽象类在哪里

dynamic operator + (dynamic other);

我本可以将 Matrix 类更改为简单的class Matrix<T> { ... }，但是在运行时可能会出现错误，并且 Dart 编辑器充满了有关未为该类定义运算符的警告Object。

我的直觉是这样说的class Matrix<T implements MatrixElement> { ... }，但 Dart 似乎不支持这一点。

Answer 1

我认为您能做的最好的事情就是假设元素具有这些方法并使类型参数不受限制。这将消除警告，尽管当您希望类型系统帮助您时，这可能有点令人不满意。

联合类型会有所帮助，因此这是您可以加注星标的错误：http://dartbug.com/4938