dart 如何实现 null safety

Dart 语言从 2.12 版本开始引入了 null safety 功能。Null safety 是一种静态类型检查的功能，旨在解决 Dart 代码中存在的空指针异常问题。

Dart 中实现 null safety 的方式如下：

1. 使用可空类型：在 Dart 中，如果一个变量可能为 null，则需要将其声明为可空类型，即在类型名称后加上 ?，例如 String?。

2. 使用非空断言操作符：在 Dart 中，可以使用非空断言操作符 ! 显式地告诉编译器一个变量一定不为 null，例如 myVariable!。

3. 使用 late 关键字：在 Dart 中，可以使用 late 关键字延迟初始化一个变量，这样可以确保变量在使用前一定已经被初始化，例如 late final String myString = 'hello';。

4. 使用 required 关键字：在 Dart 中，可以使用 required 关键字强制要求某个参数必须被传入非空值，例如 void myFunction({required String name}) { ... }。

除此之外，Dart 语言还提供了一些工具来帮助开发者检测空指针异常，例如使用 assert() 函数来检查变量是否为 null。