Dart空值判断编译器疑问：为何空值检查后仍需加!？

为什么null检查后仍需v!？ #

Dart编译器的非空提升有严格的适用范围：只有当变量是未被闭包捕获的局部变量，且在null检查到使用的这段代码中，变量没有被重新赋值、也不会被其他线程/代码修改时，编译器才会自动将其类型提升为非空。

如果你的v是类成员变量、全局变量，或者被闭包引用了，编译器无法保证在if (v != null)之后，v不会被其他代码改成null。这种情况下，编译器不会自动做非空提升，所以必须手动加v!来断言变量非空。

为什么is检查后无需强转？ #

对于is类型检查，Dart的类型系统对局部变量会直接做类型提升：只要通过if (v is TypeFoo)进入分支，编译器就能确定当前分支里v的类型就是TypeFoo，所以不需要再用as TypeFoo做强转。

哪怕是类成员变量，只要在is检查的分支里没有被重新赋值，编译器也能识别出其类型已经符合TypeFoo，因此会提示你可以去掉多余的as强转。

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