Dart中空检查后仍无法将可空变量作为非空传递的原因

最小复现代码 #

void foo(int? i) {
  bar() {
    if (i != null) {
      // 两行均报错：
      baz(i); // Line-1
      i++; // Line-2
    }
  }
}

void baz(int i) {}

问题本质 #

这是Dart空安全的类型提升规则限制导致的，核心逻辑如下：

• i是外部函数foo的可变可空参数，被内部闭包bar捕获，属于非局部可变变量。
• Dart编译器对这类变量的类型提升有严格要求：如果在空检查的代码块里存在对该变量的修改操作（比如这里的i++），编译器会默认变量的状态可能在空检查后发生变化，因此不会把i的类型从int?提升为int。
• 哪怕你写了if (i != null)，但因为块里有i++这个修改动作，编译器的静态分析不会认可i在调用baz(i)时一定是非空的（虽然逻辑上我们能确定，但编译器只认规则），所以Line-1会报错。
• 注释掉Line-2后，空检查块里没有修改i的操作，编译器确认变量状态不会被改动，就会正常触发类型提升，Line-1的报错也就消失了。

至于Line-2的报错，原因很直接：i是int?类型，直接执行i++要求变量必须非空，而此时编译器没有提升i的类型，自然不允许这个操作。

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