Dart 空安全：null safety 与 ? 操作符

空安全（Null Safety）机制要求 Dart 编译器在代码执行前，严格验证每个变量是否已被赋予有效值。启用该机制可彻底拦截运行时的“空指针异常”。? 符号是标记“可空类型”的核心开关。按以下步骤掌握其规范用法。

阶段一：定义可空变量与基础赋值

1. 声明 默认非空类型时，直接书写 数据类型与变量名。

   String name = 'Dart'; // 编译器禁止将该变量赋值为 null，必须初始化

2. 标记 允许为空的变量时，在数据类型末尾追加 ? 符号。

   String? nullableName; // 此时该变量合法值包含具体字符串与 null，可暂不初始化

3. 验证 空安全拦截效果时，在普通非空变量上尝试赋值 null。

   String safeName = '初始值';
   safeName = null; // 编译器直接报错，阻止非法赋值进入运行阶段

阶段二：安全读取与操作符实战

当变量被标记为可空类型时，禁止直接调用其属性或方法，必须使用专用操作符转换类型。

1. 转换 可选链访问（?.）：在可能为空的实例对象后使用 ?. 替代 .。若左侧为 null，右侧调用直接跳过并返回 null，程序保持正常运行。

   String? text = null;
   print(text?.length); // 安全输出 null，不会触发 NoSuchMethodError

2. 指定 降级默认值（??）：在可空表达式末尾添加 ?? 默认值。当左侧结果为 null 时，自动替换为右侧指定内容。

   String? cachedData;
   String finalData = cachedData ?? '本地缓存为空'; 
   // cachedData 为 null 时，finalData 立即获取右侧字符串

3. 对比 核心操作符差异时，参照 下方规则映射表执行逻辑判断。

4. 执行 级联降级操作时，组合 使用 ?. 与 ?? 实现安全数据提取。

   Map<String, dynamic>? userInfo;
   // 安全获取深层嵌套字段，任意环节为空均返回 '默认用户名'
   String name = userInfo?['profile']?['name'] ?? '默认用户名';

阶段三：强制断言与逻辑收缩

当代码上下文已 100% 确保变量不为空，但编译器无法推断时，需手动收缩类型范围。

1. 添加 非空断言操作符（!）：在可空变量末尾追加 !。该符号向编译器强制声明当前值不为 null，将其转换为原始非空类型。

   String? maybeValue = '确定存在';
   int len = maybeValue!.length; // 编译通过，视为 String 类型直接计算长度

2. 规避 运行时断言崩溃风险，在使用 ! 前插入 显式判空检查。

   if (maybeValue != null) {
   int safeLen = maybeValue!.length; // 逻辑屏障已消除 null 可能，安全调用
   }

3. 处理 延迟初始化场景时，使用 late 关键字推迟 赋值约束。

   late String controller; 
   // 告知编译器：此变量稍后必定在构造函数或特定方法中赋值
   controller = '初始化完成';
   print(controller.length); // 此时调用无需加 ? 或 !

阶段四：集合与泛型嵌套规范

复杂数据结构中，? 的书写位置直接决定空值的作用边界。

1. 区分 集合容器可空与元素可空，精确放置 ? 符号。
   • 容器整体可空：? 紧跟集合类型，表示集合引用本身可能不存在。

     List<String>? optionalList; // 列表本身可能为 null，若存在则内部元素均为非空 String

   • 容器内元素可空：? 紧贴泛型参数，表示列表必定存在，但允许内部存放空值。

     List<String?> nullableElements = ['A', null, 'B']; // 必须处理内部的 null

2. 遍历 含可空元素的集合时，应用 类型过滤语法清理数据。

   List<String?> rawList = ['Apple', null, 'Banana', null];
   // 过滤 null 元素，自动将结果列表类型推断为 List<String>
   List<String> cleanList = rawList.whereType<String>().toList();

3. 编写 函数参数约束时，将可选参数封装 在花括号内并处理默认逻辑。

   void processUser({String? optionalName}) {
   // optionalName 默认为 null，需在函数体内使用 ?? 提供默认分支
   final displayName = optionalName ?? '匿名用户';
   }

阶段五：编译报错定位与修正流程

迁移旧代码或编写新模块时，编译器会抛出类型不匹配错误。按标准路径逐项修复。

1. 定位 类型推断失败警告，点击 IDE 报错行首的黄色灯泡或运行终端 dart analyze 指令。终端将输出具体文件路径、行号及错误类型标识。
2. 判定 业务逻辑中该变量是否允许为空。若数据源（如网络请求、本地缓存）可能缺失，在类型定义处追加 ? 并补全 ?? 或 ?. 调用链。
3. 重构 强依赖该变量的后续逻辑，将直接属性访问替换 为可选链。若必须使用非空类型，在调用点外围包裹 if (variable != null) 检查块。
4. 验证 修复结果，保存 所有修改文件并执行 dart analyze。确认终端仅返回 No issues found! 提示后，启动 项目测试真实数据流。

严格遵循上述符号位置与调用规范，可完全消除 Dart 项目中的空指针隐患。代码交付前逐行审查类型标记，确保 每一个 ? 都对应明确的业务边界，每一个 ! 都具备不可辩驳的逻辑支撑。