Dart中泛型因继承覆盖引发类型错误的原因及合理性咨询

为什么赋值List<SomethingOther>不报错？ #

Dart 中List这类集合类型是协变的：如果B是A的子类，那么List<B>可以被赋值给List<A>类型的变量，编译阶段会允许这种操作，目的是提升代码的灵活性。所以你把List<SomethingOther>.empty()赋值给声明为List<SomeThing>的buck.list时，编译期不会抛出错误。

为什么添加SomeThing实例会报错？ #

虽然编译期允许这种协变赋值，但运行时实际的列表对象类型还是List<SomethingOther>，它的类型约束是只能存储SomethingOther及其子类对象。当你尝试往这个列表里添加父类SomeThing的实例时，完全违背了它的实际类型限制，因此运行时会触发类型错误。

这是预期行为吗？ #

是的，这属于Dart的预期行为。Dart为了平衡灵活性和类型安全，设计了这种“编译期允许协变赋值，运行时校验操作合法性”的机制。编译期的宽松是为了让你能更灵活地传递集合，但你需要自行保证对集合的操作符合它的实际类型约束。

修复示例 #

如果需要让buck.list能容纳SomeThing实例，应该始终赋值List<SomeThing>类型的列表：

void main() {
  var buck = Buck<SomeThing>(list: List<SomeThing>.empty(growable: true));
  // 保持list的实际类型为List<SomeThing>
  buck.list = List<SomeThing>.empty(growable: true);
  buck.list.add(SomeThing()); // 正常运行
}

或者如果只需要存储SomethingOther实例，可以直接将Buck的泛型指定为SomethingOther：

void main() {
  var buck = Buck<SomethingOther>(list: List<SomethingOther>.empty(growable: true));
  buck.list.add(SomethingOther()); // 正常运行
}

内容的提问来源于stack exchange，提问作者mosleim