为什么 Dart 中的类型检查这么奇怪？

Question

给定代码

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

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

类型“MappedListIterable<int, int>”不是“BuiltList”类型的子类型

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

Answer 1

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

Answer 2

给定代码

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

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

类型“MappedListIterable<int, int>”不是“BuiltList”类型的子类型

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