Dart记录模式匹配空值推导问题及代码实现求助

问题原因：编译器限制而非bug #

你遇到的是Dart 3.0.6稳定版的编译器限制，并非bug。从逻辑上看，前三个switch分支已覆盖所有含null的情况（(null,null)、(null,非null)、(非null,null)），剩余分支必然是双非空参数，但当前Dart的模式匹配推导能力无法自动识别这种逻辑穷尽性。对于可空类型的记录字段，编译器不会自动将其类型从T?提升为T，因此直接调用compareTo会编译失败。

优雅改写方案 #

针对Dart 3.0.6稳定版，推荐以下几种实现方式：

方案1：传统条件判断（无警告最直观） #

若不局限于switch表达式，传统if-else写法逻辑清晰，无任何编译警告或错误：

int nullFirstCompare<T extends Comparable<T>>(T? a, T? b) {
  if (a == null && b == null) return 0;
  if (a == null) return -1;
  if (b == null) return 1;
  return a.compareTo(b);
}

方案2：带安全断言的switch表达式 #

若坚持使用switch表达式，可利用默认分支配合非空断言，逻辑完全安全，仅需忽略编译器误报警告：

int nullFirstCompare<T extends Comparable<T>>(T? a, T? b) {
  return switch ((a, b)) {
    (null, null) => 0,
    (null, _) => -1,
    (_, null) => 1,
    _ => a!.compareTo(b!), // ignore: null_check_on_nullable_type_parameter
  };
}

此处!断言是安全的，前三个分支已处理所有含null的输入，默认分支中a和b必然非空。

方案3：带when条件的switch分支 #

通过when子句显式判断参数非空，让编译器自动提升类型，无需断言：

int nullFirstCompare<T extends Comparable<T>>(T? a, T? b) {
  return switch ((a, b)) {
    (null, null) => 0,
    (null, _) => -1,
    (_, null) => 1,
    (final a, final b) when a != null && b != null => a.compareTo(b),
  };
}

when条件会让编译器在分支内将a和b的类型从T?提升为T，可安全调用compareTo。

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