Dart是否支持类似TypeScript类型谓词的变量类型提升特性？

Dart目前**不支持类似TypeScript的类型谓词（type predicates）**语法——也就是没法通过标注函数返回值来让静态分析器自动将String?这类可空类型提升为非空类型。所以你用扩展的isTruthy getter做检查后，必须手动加!空断言，或者用其他方式绕开这个问题。

为什么你的扩展无法触发类型提升？ #

Dart的静态分析器只能识别特定的内置检查模式（比如直接写value != null、value is String），自定义的getter或普通函数返回bool时，分析器无法关联这个返回值和变量的类型变化——它不知道isTruthy返回true就意味着this是非空且非空字符串。

替代解决方案 #

1. 使用模式匹配（Dart 3.0+推荐）

Dart 3.0引入的模式匹配可以直接在条件判断中完成类型提升和空值/空检查：

bool isValidPassword(String? value) {
  if (value case String s when s.isNotEmpty) {
    return passwordRegExp.hasMatch(s);
  }
  return false;
}

这里case String s会将value直接转换为非空String类型，when s.isNotEmpty再过滤空字符串，后续可以直接使用s无需空断言。

2. 封装带类型转换的检查函数

写一个返回可空目标类型的函数，通过返回值来触发类型提升：

extension MaybeStringExtension on String? {
  // 返回非空字符串，否则返回null
  String? get truthy => this != null && this!.isNotEmpty ? this : null;
}

bool isValidPassword(String? value) {
  final validValue = value.truthy;
  return validValue != null && passwordRegExp.hasMatch(validValue);
}

当validValue != null时，分析器会自动将其类型提升为String。

3. 直接使用内联检查（最直观）

如果不想额外封装，保留你最初的内联写法也可以——虽然代码长一点，但分析器能正确识别类型提升：

bool isValidPassword(String? value) {
  return value != null && value.isNotEmpty && passwordRegExp.hasMatch(value);
}

对比TypeScript的类型谓词 #

TypeScript的value is string是一种显式的类型断言语法，直接告诉编译器函数返回true时变量的具体类型；而Dart目前没有语法层面的类似支持，只能通过上述间接方式实现类似效果。

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