分配非空值文字问题澄清

如何解决分配非空值文字问题澄清

在nullsafety.dartpad.dev中，如果我编写以下代码：

void main() {
  String? name = 'Bob';
  print(name.length);
}

我收到以下编译时错误：

其值可以为“ null”的表达式必须先进行空检查，然后才能取消引用

以及以下运行时错误：

无法在“字符串”上访问属性“长度”？因为它可能为空。

Type promotion on null checks文档说：

对于哪种表达会引起提升，该语言也比较聪明。明确的== null或!= null当然可以工作。但是使用as，或分配或后缀!运算符进行的显式强制转换也会很快引起晋级。总体目标是，如果代码是动态正确的，并且可以合理地将其静态找出来，则分析应该足够聪明才能做到这一点。

问题

在上面的代码中，name不可能为null。该文档还说，分配应该引起类型提升。我是误解类型升级还是DartPad中的错误？

澄清

由于有两个答案为错误消息提供了解决方法，因此我应该澄清，我并不是要解决上面的编码问题。相反，我是说我认为代码应该可以正常工作。但事实并非如此。为什么不呢？

解决方法

此答案是对添加到原始问题的赏金的回应。赏金为：

请说明String?与String有何不同以及如何键入 Dart推广工作。

字符串？ vs String

类型String?可以包含字符串或null。以下是一些示例：

String? string1 = 'Hello world';
String? string2 = 'I ❤️ Dart';
String? string3 = '';
String? string4 = null;

另一方面，String类型只能包含字符串（一旦Dart包含null安全，则为null）。它不能包含null。以下是一些示例：

String string1 = 'Hello world';
String string2 = 'I ❤️ Dart';
String string3 = '';

如果您尝试执行以下操作：

String string4 = null;

您会收到编译时错误：

A value of type 'Null' can't be assigned to a variable of type 'String'.

与String之类的null或int之类的3一样，bool类型不能为true 。这就是零安全性的全部含义。如果您有一个变量类型为String，则可以保证该变量永远不会为null。

类型推广的工作原理

如果编译器可以在逻辑上确定可为空的类型（如String?）永远不会为null，则它将转换（或提升）该类型为其不可为空的对应类型（如{{1 }}。

这是一个真实的例子：

String

尽管参数void printNameLength(String? name) { if (name == null) { return; } print(name.length); }可为空，但如果实际上为name，则该函数会提前返回。到null时，编译器肯定知道name.length不能为name。因此，编译器将名称从null提升为String?。表达式String绝不会导致崩溃。

一个类似的例子在这里：

name.length

尽管String? name; name = 'Bob'; print(name.length);在这里也是可空的，但是字符串文字name显然不是空的。这也会导致'Bob'被提升为不可空的name。

最初的问题与以下内容有关：

String

似乎这也应该将名称提升为不可空的String? name = 'Bob'; print(name.length);，但事实并非如此。正如@lrn（一位Google工程师）在comments中指出的那样，这是一个错误，当出现空安全性时，它也将像前面的示例一样工作。也就是说，String将被提升为不可空的name。

进一步阅读

由于已将变量name声明为一个在代码的某个位置可以为null的String，因此在使用它时，必须检查它是否为null并安全地对其进行调用。您可以通过以下两种方式安全地使用变量name：

1。在变量后附加（？）

当您确定变量不为null时，只需在其上附加？即可使用/调用它。

void main() {
      String? name = 'Bob';
      print(name?.length);
    }

2。在变量后附加（！）

将！附加到变量name会引发运行时错误（如果为空），否则会将其转换为不可为空的值。

void main() {
  String? name = 'Bob';
  print(name!.length);
}

为了避免在变量name为null时发生运行时错误，您必须首先验证其可为空性，然后安全地使用它。

void main() {
  String? name = 'Bob';
 
  if (name != null) {
     print(name!.length);
  }
}

我了解您在说什么。试试看。

要使类型提升正常工作，必须首先确认该值不为null，如文档所述。

您可以在图片中看到dart能够进行类型提升或理解名称不会为空，因为它会事先在if语句上进行检查。

但是，如果在if语句外使用它而不事先检查它是否不为null，则dart知道可以随时将其分配为null。因此，它鼓励始终检查是否为空。因为将来可以将任何实例化变量（分配了值的变量）分配为 null 。

分配非空值文字 问题澄清

如何解决分配非空值文字 问题澄清

问题

澄清