为何Dart已做if空检查仍认为_parent可能为空？该如何解决？

问题原因 #

你遇到的问题核心在于Dart的类型提升规则只适用于局部变量，而_parent是类的实例变量。

Dart的静态分析器无法保证：在你执行完if (_parent == null)的检查之后，这个实例变量不会被其他线程、或者其他成员方法修改为null。所以即使你写了null判断，Dart也不会把Scope?类型的_parent自动提升为Scope类型，仍然会认为它可能为空。

解决方法 #

有三种常用的解决方式，根据场景选择即可：

方法1：将实例变量赋值给局部变量（推荐） #

把_parent赋值给一个局部变量后，Dart可以确定这个局部变量在当前方法的代码路径里不会被外部修改，因此会正常进行类型提升：

bool has(String key) {
    if (_map.containsKey(key)) {
        return true;
    }
    // 赋值给局部变量
    final parent = _parent;
    if (parent == null) {
        return false;
    } else { 
        return parent.has(key);
    }
}

方法2：使用!非空断言操作符 #

如果你能100%确定执行到else分支时_parent绝对不为null，可以用!强制断言它非空，告诉分析器忽略空值检查：

bool has(String key) {
    if (_map.containsKey(key)) {
        return true;
    }
    if (_parent == null) {
        return false;
    } else { 
        return _parent!.has(key);
    }
}

注意：如果运行时_parent实际为null，使用!会直接抛出空指针异常，所以要确保判断逻辑绝对可靠。

方法3：使用空安全调用符?.结合?? #

可以简化代码逻辑，利用?.在变量为空时返回null，再通过??指定默认返回值：

bool has(String key) {
    if (_map.containsKey(key)) {
        return true;
    }
    return _parent?.has(key) ?? false;
}

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