我听说过新的 Dart 空安全语言功能 (NNBD)，目前是“ ‘不可为空’实验”。它应该默认引入不可为空的。
可以在此处找到功能规范，并在此处找到语言GitHub 问题。
它是如何工作的，我在哪里可以尝试？
问问题
58081 次
2 回答
251
1.空安全/不可空（默认）
当前可以在nullsafety.dartpad.dev中找到空安全/不可空（默认情况下）短 NNBD 功能。
请记住，您可以在此处阅读完整的规范和完整的路线图。现在，Dart 也正式宣布了健全的 null 安全性。
2.1。默认情况下不可为空是什么意思？
void main() {
String word;
print(word); // illegal
word = 'Hello, ';
print(word); // legal
}
正如您在上面看到的，默认情况下不可为空的变量意味着通常声明的每个变量都不能是null. 因此，在分配变量之前访问该变量的任何操作都是非法的。
此外，null也不允许分配给不可为空的变量：
void main() {
String word;
word = null; // forbidden
world = 'World!'; // allowed
}
2.1.1。这对我有什么帮助？
如果一个变量是non-nullable，你可以确定它是 never null。因此，您永远不需要事先检查它。
int number = 4;
void main() {
if (number == null) return; // redundant
int sum = number + 2; // allowed because number is also non-nullable
}
2.1.2。记住
如果类中的实例字段不可为空，则必须对其进行初始化：
class Foo {
String word; // forbidden
String sentence = 'Hello, World!'; // allowed
}
请参阅late下文以修改此行为。
2.2. 可空类型 ( ?)
您可以通过将问号附加到变量类型来使用可为空的类型：?
class Foo {
String word; // forbidden
String? sentence; // allowed
}
可以为空的变量不需要在使用之前进行初始化。默认初始化为null：
void main() {
String? word;
print(word); // prints null
}
2.2.2。!
如果为 null，则附加!到任何变量e将引发运行时错误e，否则将其转换为不可为 null 的值v。
void main() {
int? e = 5;
int v = e!; // v is non-nullable; would throw an error if e were null
String? word;
print(word!); // throws runtime error if word is null
print(null!); // throws runtime error
}
2.3.late
关键字late可用于标记稍后将被初始化的变量，即不是在声明它们时而是在访问它们时。这也意味着我们可以拥有稍后初始化的不可为空的实例字段：
class ExampleState extends State {
late final String word; // non-nullable
@override
void initState() {
super.initState();
// print(word) here would throw a runtime error
word = 'Hello';
}
}
在初始化之前访问word会引发运行时错误。
2.3.1。late final
最终变量现在也可以标记为延迟：
late final int x = heavyComputation();
这里heavyComputation只会被调用一次x。此外，您还可以在late final没有初始化程序的情况下声明 a，这与只有一个late变量相同，但只能分配一次。
late final int x;
// w/e
x = 5; // allowed
x = 6; // forbidden
请注意，所有具有初始化程序的顶级或静态late变量现在都将被评估，无论它们是否是final。
2.4.required
以前是注解( @required)，现在作为修饰符内置。它允许将任何命名参数（用于函数或类）标记为required，这使得它们不可为空：
void allowed({required String word}) => null;
这也意味着如果一个参数应该是non-nullable，它需要被标记为required或具有一个默认值：
void allowed({String word = 'World'}) => null;
void forbidden({int x}) // compile-time error because x can be null (unassigned)
=>
null;
任何其他命名参数都必须可以为空：
void baz({int? x}) => null;
2.5。?[]
?[]为索引运算符添加了null 感知运算符[]：
void main() {
List<int>? list = [1, 2, 3];
int? x = list?[0]; // 1
}
另请参阅有关语法决策的这篇文章。
2.5.1。?..
级联运算符现在还有一个新的 null 感知运算符：?...
它导致以下级联操作仅在接收者不为 null时执行。因此，?..必须是级联序列中的第一个级联运算符：
void main() {
Path? path;
// Will not do anything if path is null.
path
?..moveTo(3, 4)
..lineTo(4, 3);
// This is a noop.
(null as List)
?..add(4)
..add(2)
..add(0);
}
2.6.Never
下面的解释很烂。阅读“了解零安全性”中的“顶部和底部”以获得良好的效果。
为避免混淆：这不是开发人员必须担心的事情。为了完整起见，我想提一下。
Never将是一个类似于先前存在的Null（未null）定义的类型dart:core。这两个类都不能扩展、实现或混合，因此不打算使用它们。
本质上，Never意味着不允许任何类型，并且Never本身不能被实例化。
只有Neverin List<Never>满足列表的泛型类型约束，这意味着它必须为空。List<Null>但是，可以包含null：
// Only valid state: []
final neverList = <Never>[
// Any value but Never here will be an error.
5, // error
null, // error
Never, // not a value (compile-time error)
];
// Can contain null: [null]
final nullList = <Null>[
// Any value but Null will be an error.
5, // error
null, // allowed
Never, // not a value (compile-time error)
Null, // not a value (compile-time error)
];
示例：编译器将推断List<Never>为空 const List<T>。
Never就我而言，程序员不应该使用它。（我错了）。
3. 了解更多
您可以阅读有关 sound null safety 的官方文章。
此外，如开头所述，您可以在 DartPad 上使用它。
于 2020-02-05T03:01:22.037 回答
-2
如果您希望此字段为必填项，请使用required关键字。否则，您只需要添加“？”。像这样：
const phonefield({
Key? key, required this.onchanged,
}) : super(key: key);
final ValueChanged<String>onchanged;
于 2021-04-09T04:29:09.153 回答