为什么在检查可空性的 if 语句的范围内仍然可以将可空值视为可空值？

Question

考虑这个演示：

void test(int? n) {
  if (n != null) { // let's make sure n is not null
    ++n; // ok; n is assumed to be non-null

    if (n < 0) {
      n = n.abs(); // ok; n is not null in inner scope
    }

    while (n != 0) {
      --n; // error: the method '-' can't be unconditionally invoked because the receiver can be 'null'
    }
  }
}

为什么n 仍被视为int? 在while(...) { ... } 块内？我正在将 VSCode 与最新版本的 Dart 一起使用。

Answer 1

与您方法主体中前面的代码不同，while 循环中的代码可以运行多次。您可以在循环的一次迭代中将null 分配给n，因此可以在null 对象上调用--。

Dart 的静态分析能够相对容易地看到 n 在非循环代码中不会为空，它只需要遍历每一行来查看是否有可能的 null 赋值。有了循环，Dart 的分析就没有那么聪明了。我猜这个检测无法完成，因为它需要实际运行循环的代码来确定n 是否可以再次变为null。

以下循环显示了一个示例，其中无法保证自动 n 为 null，即使在 --n 之前未将 n 分配为 null：

while (n != 0) {
  --n; // error: the method '-' can't be unconditionally invoked because the receiver can be 'null'
  if(n == 5) {
    n = null;
  }
}

为了确定n 是否可以在--n 处成为null，Dart 的分析将向前看以看到n 被分配给null。

---

Dart 的分析无法准确确定变量是否可以是 null 的这种情况是 bang 运算符存在的原因：

void test(int? n) {
  if (n != null) { // let's make sure n is not null
    ++n; // ok; n is assumed to be non-null

    if (n < 0) {
      n = n.abs(); // ok; n is not null in inner scope
    }

    while (n != 0) {
      n = n! - 1;
    }
  }
}

或者，您可以在特定示例中使用本地不可为空的变量：

void test(int? n) {
  if (n != null) { // let's make sure n is not null
    int nLocal = n;
    ++nLocal; // ok; n is assumed to be non-null

    if (n < 0) {
      nLocal = nLocal.abs(); // ok; n is not null in inner scope
    }

    while (n != 0) {
      --nLocal;
    }
  }
}