Dart中num类型向下转型后isEven属性的异常行为疑问

先看问题中的简化代码：

void main() {
  num a = 3;
  print(a.runtimeType);  // 输出: int
  // print(a.isEven);  // 该行会导致编译时错误
  final b = a as int;
  print(b.runtimeType);  // 输出: int
  print(a.isEven);       // 该行可正常运行
}

运行这段代码时，首次尝试调用a.isEven会触发编译错误，提示the getter 'isEven' isn't defined for the class 'num'，但在通过as将a向下转型为int并赋值给b后，再次调用a.isEven却能正常执行。针对这个现象，解答如下：

1. 为什么第二次调用a.isEven能正常运行？ #

这是Dart的**类型提升（Type Promotion）**机制在起作用。

变量a的声明类型是num，但初始值是int类型的3。在执行a as int时，Dart的静态分析器会判定：如果这个转型没有在运行时抛出异常，那么a的实际类型肯定是int。因此，在这个转型语句之后，编译器会将a的静态类型从num提升为int——虽然a的运行时类型从始至终都是int，但静态类型的提升让编译器允许你调用int类特有的isEven属性。

2. 这是运行时优化吗？ #

不是，这是Dart静态类型系统的特性，属于编译时的类型推断行为。

as转型在这里起到了类型断言的作用，明确告诉编译器“a确实是int类型”。编译器会基于这个断言，在后续代码中提升a的静态类型，从而允许调用int的成员。整个过程是在编译阶段完成的静态类型分析，和运行时的性能优化无关。

补充说明：如果a的实际类型不是int（比如num a = 3.5;），那么a as int会在运行时抛出CastError，后续的a.isEven根本不会执行。

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