Flutter源码莫名变更致应用无法运行及相关疑问

原问题 #

运行Flutter应用时出现以下编译错误：

../flutter/packages/flutter/lib/src/rendering/box.dart(2475,38): error
GC2F972A8: The argument type 'Size?' can't be assigned to the
parameter type 'Size' because 'Size?' is nullable and 'Size' isn't.

应用启动后直接退出，提示：

Error: Build process failed

回退自身代码的所有近期修改后问题依然存在，且错误未指向自己的代码文件，因此怀疑Flutter安装或配置有异常。同时发现flutter/dev、flutter/examples和flutter/packages目录下的Flutter源码存在超过40万条错误，多数为Undefined name或Target of URI doesn't exist类型。

解决方案 #

排查发现是box.dart第2475行的空检查被移除导致的错误。尝试重新添加空检查时，每次保存文件都会被自动移除，IDE提示“unnecessary null check”（不必要的空检查）。添加// ignore: unnecessary_null_checks注释后，空检查得以保留，原编译错误消失，应用可正常运行。

疑问解答 #

1. null检查最初是如何被移除的？ #

大概率是IDE的自动代码修复/格式化功能触发的。比如开启了“自动移除不必要空检查”的代码规则，在某次保存、格式化代码，或者IDE自动执行代码清理时，将这段原本必要的空检查误判为不必要的操作，从而自动删除。也有可能是误操作触发了快速修复选项，不小心移除了空检查。

2. 为何Dart代码修复会阻止我重新添加它？ #

Dart的静态分析器基于当前代码上下文做了错误判断，认为该位置的变量不可能为null，所以标记空检查为“不必要”。但实际上在运行时或特定编译场景下，这个变量存在为null的可能，导致分析器判断和实际情况不符。IDE会遵循静态分析的结果，在自动修复或格式化时移除空检查。

3. Flutter源码为何充满错误却仍能运行？ #

这些错误是IDE静态分析的误报，并非真正的代码错误。Flutter框架源码有自己的构建脚本和编译流程，会处理内部的依赖、导入路径等问题，而IDE可能无法正确识别框架内部的特殊配置、别名或生成的代码，从而抛出大量误报。实际运行时，Flutter的构建工具会正确解析源码，所以不会影响应用运行。

内容的提问来源于stack exchange，提问作者Avarage cat enjoyer