9

在尝试Dart的Sound Null Safety时，我遇到了一个问题：

一些背景

创建一个新的Flutter项目我发现了以下（并且非常熟悉的）片段代码

int _counter = 0;

void _incrementCounter() {
  setState(() {
    // This call to setState tells the Flutter framework that something has
    // changed in this State, which causes it to rerun the build method below
    // so that the display can reflect the updated values. If we changed
    // _counter without calling setState(), then the build method would not be
    // called again, and so nothing would appear to happen.
    _counter++;
  });
}

现在，我将变量更改为_counter可为空并取消初始化：

int? _counter;

void _incrementCounter() {
  setState(() {
    _counter++;
  });
}

正如预期的那样，我在编辑器中收到以下错误：

不能无条件调用运算符“+”，因为接收者可以为“null”

问题

在文档之后，我添加了所需的检查：

if (_counter!=null)
        _counter++;

但令我惊讶的是，错误不断显示和提示

尝试使调用有条件（使用'？'或向目标添加空检查（'！'））

即使我明确地有条件地拨打电话......那有什么问题？

4

1 回答 1

14

更新

正如另一个 SO 线程中所建议的，在 Github 的另一个线程中， Erik Ernst 说：

类型提升仅适用于局部变量...提升实例变量并不合理，因为它可能被运行计算并在每次调用时返回不同对象的 getter 覆盖。参照。dart-lang/language#1188用于讨论类似于类型提升但基于动态检查的机制，并提供一些相关讨论的链接。

所以，有了这个解释，现在我看到只有局部变量可以（到目前为止？）被提升，因此我的问题可以通过写作来解决

int? _counter;

void _incrementCounter() {
  setState(() {
    if (_counter!=null)
        _counter = _counter! + 1;
  });
}

有关替代解决方案，请参阅下面的原始答案。

另一个修复_

我最终通过在方法中捕获实例变量的值来解决问题，如下所示：

int? _counter;

void _incrementCounter() {
  setState(() {
    var c = _counter;

    if (c!=null)
      c++;

    _counter = c;
      
  });
}

为什么需要捕获变量？

好吧，整个问题是

类型提升仅适用于局部变量...提升实例变量并不合理，因为它可能被运行计算并在每次调用时返回不同对象的 getter 覆盖

所以在我的方法中，我们

  • 捕获实例变量的值
  • 然后我们检查该 值是否不为空。
  • 如果该值不是空值，那么我们对通过空值检查的局部变量进行操作，该变量现在被正确提升。
  • 最后，我们将新值应用于实例变量。

最后的观察

我是Dart的新手，因此我不能 100% 确定，但对我来说，一般来说，在使用可为空的实例变量时，我的方法比使用 bang 运算符来抛弃 nullity更好：

通过抛弃无效性，您忽略了提升实例变量的主要问题，即

它可以被运行计算并在每次调用时返回不同对象的getter覆盖...

这个确切的问题是通过捕获实例变量的值并使用本地捕获的值来避免的......

如果我错了，请告诉我...

于 2021-03-04T10:11:09.200 回答