dart - 为什么在空安全的Dart中使用 'var'声明的变量为空？

Question

我正在从docs复制此文件

// In null-safe Dart, none of these can ever be null.
var i = 42; // Inferred to be an int.
String name = getFileName();
final b = Foo();

但是我正在 null-safe dartpad中运行以下代码，并且可以编译。

void main() {
  var x = null;
  print(x);
}

这是文档错误还是我缺少什么？

Answer 1

您的示例与文档试图解释的内容不太接近。尝试以下方法:

void main() {
  var x = 42;
  x = null; // Error: A value of type 'Null' can't be assigned to a variable of type 'int' - line 3
  print(x);
}

原因是 var x = 42是“推断为 int”，而不是 int?。
在您的示例中，发生的事情是 var x = null已解析，因此 x被视为 dynamic类型，因为Dart不知道您要使用哪种类型。由于 dynamic可以具有值 null，因此您可以使用。