为什么Dart类型转换会影响被转换的原始变量？

这是Dart的标准语言特性类型提升（Type Promotion），并非bug。

原理说明 #

Dart的静态类型分析器会根据代码中的类型校验逻辑，自动收窄变量的有效类型范围，不需要开发者重复做类型声明或转换：

• 第一段代码中someNumber的声明类型为num，而num类本身没有定义isEven属性，只有它的子类int才有该属性，因此默认无法通过编译。
• 第二段代码中你写了someNumber as int强制转换逻辑：如果这行代码正常执行没有抛出类型转换异常，就说明someNumber的实际运行时类型必然是int。Dart静态分析器会自动将后续代码中someNumber的类型从num提升为int，因此可以直接调用isEven属性，不会报编译错误。

补充说明 #

类型提升仅对不可变的变量生效：

• 局部final变量、const修饰的常量都可以触发类型提升
• 可变的非final变量无法触发提升，因为变量可能在类型校验后被修改为其他符合声明类型的值，无法保证后续类型一致。

日常开发中更常见的是用is类型判断触发提升，效果和as强转一致，示例如下：

void main() {
  const num someNumber = 3;
  if (someNumber is int) {
    // 进入if分支说明someNumber一定是int类型，自动触发提升
    print(someNumber.isEven);
  }
}

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