Dart可空记录模式匹配报错：类型不兼容问题求解

问题场景 #

现有如下Dart函数：

(String, int)? getPair() {
  return ('hello', 42);
}

原本可以通过字段访问返回值：

final pair = getPair();
if (pair != null) {
  String word = pair.$1;
  int number = pair.$2;
}

但尝试用模式匹配直接解构时：

final (word, number) = getPair();

出现错误：

The matched value of type '(String, int)?' isn't assignable to the required type '(Object?, Object?)'.
Try changing the required type of the pattern, or the matched value type.

翻译错误提示：

匹配值的类型 '(String, int)?' 无法赋值给所需类型 '(Object?, Object?)'。
尝试修改模式的所需类型，或匹配值的类型。

解决方法 #

方法1：强制解包（适用于确定返回值非空的场景）

如果能保证getPair()永远不会返回null，可以用!强制解包可空元组，直接完成解构：

final (word, number) = getPair()!;

方法2：条件模式匹配（安全处理null情况）

利用Dart的模式匹配语法，在条件分支中完成解构，自动处理null的情况：

if (getPair() case (String word, int number)) {
  // 在这里使用word和number
  print('$word $number');
}

或者先接收变量再匹配：

final pair = getPair();
if (pair case (word, number)) {
  print('$word $number');
}

这种方式只有当pair不为null时才会进入分支，同时完成解构，是更安全的写法。

方法3：默认值兜底（处理null时使用默认值）

如果希望在返回null时用默认值代替，可以结合??运算符：

final (word, number) = getPair() ?? ('default', 0);

当getPair()返回null时，会使用('default', 0)这个默认元组进行解构。

错误原因 #

getPair()返回的是可空元组类型(String, int)?，而直接用final (word, number)解构要求的是非可空元组类型，两者类型不兼容，因此触发错误。上述方法本质都是通过调整匹配值的类型（解包、兜底）或模式的适用场景（条件匹配）来解决类型不兼容的问题。

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