为何Dart编译器认为代码可能为空，而实际代码已确保非空？

问题描述 #

在Udemy的《Complete Dart Guide》课程练习中，编写了以下Dart代码：

void main() {
  const order = ['pepperoni', 'margherita', 'pineapple'];
  print("Total: ${calculateTotal(order)}");

}

double calculateTotal(List<String> order) {
  var total = 0.0;
  const pizzaPrices = {
    'margherita': 5.5,
    'pepperoni': 7.5,
    'vegetarian': 6.5,
  };
  for (var item in order) {
    if (pizzaPrices[item]!=null) {
    total += pizzaPrices[item];
    } 
  }
  
  return total;
}

运行时触发错误：The argument type 'double?' can't be assigned to the parameter type 'num'.，错误定位到total += pizzaPrices[item];行。添加非空断言total += pizzaPrices[item]!后可正常编译，但疑惑的是明明已经通过非空判断确保值不为null，为何还需要断言？

原因解析 #

• Map的[]操作符默认返回可空类型（此处为double?），从语法层面无法保证传入的键一定存在于Map中，哪怕你用const定义了Map。
• 虽然你通过if (pizzaPrices[item]!=null)做了非空检查，但Dart的静态分析规则无法将这次检查的结果“关联”到后续的pizzaPrices[item]调用上——编译器会认为这两次是独立的调用，第二次仍可能返回null。
• 即便Map是const不可变的，编译器也不会针对这种场景做额外的类型推断优化，因此需要你用!显式告诉编译器：“我确认这个值不会是null”。

更优雅的替代写法 #

除了非空断言，你可以将值先存入局部变量，让编译器能跟踪它的非空状态，这样就不需要断言了：

for (var item in order) {
  final price = pizzaPrices[item];
  if (price != null) {
    total += price;
  } 
}

这种写法中，编译器能识别出if分支内的price是非空的，因为局部变量的值在检查后不会被修改。

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