Dart 中是否有像 Java/Kotlin 中的 Class<T> 这样的泛型类型？

Question

在 Kotlin 中，我可以执行以下操作：

var myType : KClass<String>? = null

并且可以像这样分配给它：

myType = String::class

但不喜欢：

myType = Int::class // Type mismatch: inferred type in KClass<Int> but KClass<String>? was expected

在 Dart 中有类似的东西吗？我知道Type 类型，但它不是通用的，虽然它可以代表String 或List<int>，但我似乎无法编写与我的Kotlin 示例类似的代码：

Type? t = null;

我可以分配给它：

t = String;

还有：

t = int;

但我希望第二个示例编译失败。我需要某种Type<String>。这在 Dart 中可行吗？

Answer 1

Type 类不是通用的，不支持子类型检查（或任何其他合理的类型相关操作）。没有办法将它用于您正在尝试做的事情。

所以，不要。反正也没用。但是，在 Dart 中，您可以创建自己的 类型表示，这实际上是有用的，因为 Dart 不会删除类型参数，然后您可以让使用您的代码的人来代替它。

说：

class MyType<T> implements Comparable<MyType>{ // Or a better name.
  const MyType();
  Type get type => T;
  bool operator >=(MyType other) => other is MyType<T>;
  bool operator <=(MyType other) => other >= this;
  bool isInstance(Object? object) => object is T;
  R runWith<R>(R Function<T>() action) => action<T>();
  @override
  int get hashCode => T.hashCode;
  @override
  bool operator==(Object other) => other is MyType && T == other.type;
}

你可以这样写：

MyType<String?> type;
type = MyType<Null>(); // valid
type = MyType<String>(); // valid
type = MyType<Never>(); // valid
type = MyType<int>; // EEEK! compile-time error

您可以在需要将类型存储为值的地方使用它。

问题是，大多数时候您可以只使用类型变量，而创建一个实际值来表示类型是多余的。 因此，首先尝试只使用类型参数，而不是传递 Type 或 MyType 对象。只有当失败时，您才应考虑使用MyType。使用Type 可能是一个错误，因为除了进行== 检查之外，它对任何事情都没有好处，这与面向对象的子类型包含的想法是对立的。

Answer 2

我认为这是你能得到的最好的：

void main() {
  aFunction<String>(String, '');
  aFunction<String>(String, 1);
}

void aFunction<V>(Type type, V value) {
  print(value.toString());
}

如果你在 dartpad 中运行它，你会看到

aFunction<String>(type, 1);

不编译。

但这并不是很有效，因为类型不是 Dart 猜测的，您必须手动指定泛型类型。

我正在使用 Dart 2.17