Dart如何实现类似Swift guard的空校验编译器类型识别效果

原因说明 #

Dart的空安全类型提升依赖于流分析机制，只有当编译器能确定后续代码逻辑执行时，变量一定满足非空条件，才会触发类型提升。
而assert语句仅在调试模式下生效，发布构建时会被完全移除，编译器不会将assert的判断结果纳入流分析的依据，因此断言后无法识别变量的非空状态。

解决方案 #

下面给出几种常用的实现方案，都能达到你要的类似Swift guard语句的提前校验+类型提升效果：

方案1：替换为if判断+抛出异常（最稳妥，全模式生效）

直接把空判断写为普通if分支，为空时直接抛出异常，编译器就能明确知道只要代码执行到if之后，变量一定非空：

int? value = getIntOrNull();
if (value == null) {
  throw AssertionError('value should be not null');
}
// 自动触发类型提升，无需额外操作
int strongInt = value;

方案2：封装通用校验工具（简化重复代码）

如果项目中大量用到类似的提前非空校验，可以封装一个通用工具函数，使用时更简洁：

/// 校验value非空，为空抛出异常，直接返回非空结果
T requireNotNull<T>(T? value, [String? message]) {
  if (value == null) {
    throw AssertionError(message ?? 'Required value was null');
  }
  return value;
}

// 使用示例
int? value = getIntOrNull();
int strongInt = requireNotNull(value, 'value should be not null');

方案3：仅调试模式生效的适配

如果你希望校验逻辑只在调试模式运行，发布模式跳过，可以配合Flutter的kDebugMode常量实现：

import 'package:flutter/foundation.dart';

int? value = getIntOrNull();
if (kDebugMode) {
  assert(value != null, 'value should be not null');
}
// 发布模式下需要你自行保证value非空，手动添加!操作符
int strongInt = value!;

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