问题描述
在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 。