Dart空安全下var与int声明变量的差异及语法疑问

允许运行的代码示例 #

void main() {
  var A;
  A ??= 12;
  print(A); // 输出12
}

无法运行的代码示例 #

void main() {
  int A;
  A ??= 12;
  print(A);
}

执行上述代码会触发以下错误：

lib/project_dart.dart:4:2: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
 A??= 12;
 ^

lib/project_dart.dart:4:2: Error: Non-nullable variable 'A' must be assigned before it can be used.
 A??= 12;
 ^

lib/project_dart.dart:5:8: Error: Non-nullable variable 'A' must be assigned before it can be used.
 print(A);
       ^

用户疑问 #

在此场景下，int类型变量必须添加?才能正常运行，但var类型变量无需添加即可正常运行，这是为什么？此外，用var和int声明变量与空安全有什么关联？

核心原因解析 #

1. var声明的类型推断逻辑 #

当你用var A;声明变量却不初始化时，Dart会自动将它的类型推断为Object?——也就是可空类型。此时变量的默认值是null，完全符合??=操作符的使用条件：只有当变量为null时才执行赋值操作。所以A ??= 12能正常把null替换成12，代码可以正常运行。

2. 显式int类型的空安全规则 #

在Dart的空安全机制下，显式声明的int属于非可空类型，它的取值范围里不包含null。这就导致两个问题：

• ??=操作符要求左侧变量可能为null，但int类型排除了这种可能，所以会触发“操作数类型排除null”的警告；
• 非可空变量必须在使用前完成赋值，而int A;只是声明了变量却没初始化，不管是用??=还是直接print(A)，都会触发“必须先赋值才能使用”的错误。

如果要让这段代码正常运行，必须把类型改成可空的int? A;，此时变量默认值为null，??=操作符就能正常生效。

3. var与显式类型和空安全的关联 #

• var的自适应推断：var的类型会根据初始化情况自动适配空安全规则。如果声明时不初始化，就推断为可空的Object?；如果初始化时赋值非null（比如var A = 12;），则推断为非可空的int。
• 显式类型的默认非空：直接声明int这类具体类型时，默认是非可空的，必须手动添加?才能变成可空类型。这是Dart空安全的核心设计——默认禁止null，开发者必须显式声明才能使用可空类型，以此避免意外的null引用错误。

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