如何修复“无法无条件调用运算符‘{0}’，因为接收器可以为‘null’”

如何解决如何修复“无法无条件调用运算符‘{0}’，因为接收器可以为‘null’”

在尝试 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 更改为 nullable 并取消了初始化：

int? _counter;

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

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

无法无条件调用运算符“+”，因为接收器可以为“null”

问题

在 the documentation 之后，我添加了所需的检查：

if (_counter!=null)
        _counter++;

但令我惊讶的是，错误一直在显示和提示

尝试使调用有条件（使用“?”或向目标添加空检查 ('!')）

即使我明确地有条件地调用...那有什么问题？

解决方法

更新

@suragch 请告诉我这个问题已经an answer in SO。在另一个 SO 线程中引用了 a further thread in Github，Erik Ernst 说：

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

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

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 覆盖

所以在我的方法中我们

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

最终观察

我是 Dart 的新手，所以我不确定我要写什么，但对我来说，总的来说，在使用可空实例时变量，我的方法比使用 bang 运算符抛弃空性更好：

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

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

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

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