Dart中null assertion（!）的工作原理是什么？有哪些适用场景？

具体运行逻辑 #

Dart 自带空安全机制，所有类型默认不可为空，只有显式加 ? 后缀声明的才是可空类型。空断言操作符 ! 的核心作用是强制把可空类型的表达式转为对应的非空类型，运行时会先执行校验：

• 如果目标值确实非空，类型转换成功，正常返回非空值，编译器会跳过编译期的空安全校验
• 如果目标值为 null，会直接抛出 CastError 类型的运行时异常，终止后续代码执行

你可以把它理解为开发者向编译器做的书面保证：「这个值当前绝对不可能为 null，出了问题我全权负责」。

示例代码：

// 正常场景
String? nullableStr = "hello world";
String nonNullStr = nullableStr!; // 运行正常，nullableStr 被转为非空 String 类型

// 异常场景
String? nullStr = null;
String errorStr = nullStr!; // 运行时直接抛出 CastError

适合使用的场景 #

只有当你 100% 确认代码执行到该位置时，目标值绝对不可能为 null 时才可以使用，常见合法场景包括：

• 已经提前做过显式非空判断，但编译器无法识别的场景。比如类的可空属性，你已经在当前逻辑分支提前做了非空拦截，只是编译器无法跨逻辑/跨方法追踪状态：

  class User {
    String? nickname;
  }
  
  void printNicknameLength(User user) {
    if (user.nickname == null) return;
    // 走到这里时 nickname 已经确定非空，用 ! 不会有运行风险
    print(user.nickname!.length);
  }
  

• Flutter 开发中用全局 Key 取已挂载组件的状态时。只要绑定对应 Key 的组件已经被挂载到组件树中，currentState 必然非空：

  final formKey = GlobalKey<FormState>();
  // 只要 Form 组件已经绑定 formKey 且完成挂载，currentState 绝对非空
  formKey.currentState!.validate();
  

• 可空变量的赋值逻辑完全可控，确定运行时不会走到 null 分支的场景，比如你根据不同编译/运行环境给变量赋值，当前运行环境的分支必然返回非空值。

注意：不要滥用空断言操作符，随意使用会大幅提升线上运行时崩溃的概率。

内容的提问来源于stack exchange，提问作者rebix