从 num 扩展到从 int 到双精度的泛型类型的问题

Question

我有一个关于dart中泛型的问题。我有下面的dart代码，带有扩展num的泛型类型参数。在我的类中，我现在想定义一个T类型的值为零的变量。这似乎是不可能的。有人能解释一下为什么会这样吗？

class A<T extends num> {
  T t = 0; // error: A value of type 'int' can't be assigned to a variable of type 'T'.
  num n = 0; // works 
}

我面临的问题是，我想在我的类中创建一个用零初始化的列表。所以我可以做:

A() {
 var list = List<T>.filled(10, 0 as T)
}

这适用于< code>A

类型'int'不是类型转换中类型'Double'的子类型

令人困惑的是，从Dart 2.1开始，可以将int传递给双变量，例如：

double x = 0;

那么我该如何解决这个问题呢？唯一的选择真的是在我的构造函数中进行类型检查，并根据T的类型生成具有0或0.0的列表吗？

Answer 1

使用实际的双精度0.0，而不是0。

Answer 2

最简单的修复方法是向构造函数添加零值。类似于这样：

class A<T extends num> {
  final T zero;
  A(this.zero) : assert(zero != null) {        
    var list = List<T>.filled(10, zero);
  }
}

Answer 3

根据< code>T在运行时绑定的内容，没有简单的表达式可以计算为< code>0或< code>0.0。Dart中表达式的类型是在编译时确定的，在运行前您不知道< code>T的实际类型。

您可以做的是：

T t = 0.0 is T ? (0.0 as T) : (0 as T);

如果有人设法创建了一个 T

如果您有任何其他类型为T的值，则可以执行以下操作：

class A<T extends num> {
  T t;
  A(T someValue) : t = (someValue * 0) as T;
}

一般来说，Dart泛型(类型参数)适用于一般处理类型参数类型值的类，这与类型参数是什么无关。这里你要做的是类型专门化，而不是类型泛型，这就是为什么你没有语言支持它。

您最好创建< code>ANum、< code>AInt和< code > ado double 类，然后创建您想要的类，这样您也不必担心< code>A