为什么 Dart 中的类型检查如此奇怪？答案

【问题标题】：Why is the type checking in Dart such strange?为什么 Dart 中的类型检查如此奇怪？
【发布时间】：2020-12-20 21:06:33
【问题描述】：

给定代码

List<int> rawList = [0, 1, 2];
BuiltList<int> list = rawList.map((n) => n * 2);

编译成功，但在运行时失败并出现错误

type 'MappedListIterable' 不是 type 的子类型 '内置列表'

那么为什么它不会在编译阶段崩溃呢？请解释一下，在 C# 和 Kotlin 之后我无法理解。

【问题讨论】：

【解决方案1】：

.map 返回一个Iterable<int>，它不适合您的List<int>。您需要使用.toList() 将Iterable 转换为List。

【讨论】：

是的，List 是一个 Iterable，所以 List 可以在任何你想要 Iterable 的地方使用。但是你有另一个方向：你希望 Iterable 表现得像一个 List。不去。因此需要额外的 .toList()。
@BambinoUA 我猜它并没有违反 Liskov 替换原则
@RandalSchwartz 谢谢，但我理解错误的原因。我的问题是为什么它是运行时错误而不是编译时间。
不知道。也许 NNBD 中有一些东西可以更好地执行它。