Dart Record解构未按预期工作，求正确实现方法

问题原因 #

你当前的写法不符合Dart的Record解构语法规则：

• 位置成员解构错误：String (a) = rec; 并未触发解构操作，而是将整个Record实例赋值给变量a，同时错误地给a指定了String类型（Record本身并非String类型，会引发类型不匹配错误）。
• 命名成员解构错误：String (:b) = rec; 同样没有执行解构，而是把整个Record赋值给了b，也存在类型不匹配问题。

Dart的Record解构要求将解构模式放在变量声明左侧，且类型声明需对应解构后的值类型，而非整个Record的类型。

正确解构写法 #

1. 提取命名成员b #

使用:变量名的模式匹配命名成员，同时正确声明变量类型（或让Dart自动推断）：

// 修正初始化顺序：位置参数必须放在命名参数之前
(int, String, {String b, String c}) rec = (7, "positionaltest", b:"testb", c:"testc");
String (:b) = rec; // 类型对应b的String类型，模式为:b
print(b); // 输出 "testb"

也可以用var让Dart自动推断类型：

var (:b) = rec;
print(b); // 输出 "testb"

2. 提取第一个位置成员（对应你期望的a） #

使用位置模式按顺序匹配Record的位置成员，不需要的成员可以用_忽略：

(int, String, {String b, String c}) rec = (7, "positionaltest", b:"testb", c:"testc");
int (a,) = rec; // 类型对应第一个位置成员的int类型，模式为(a,)
print(a); // 输出 7

或自动推断类型的写法：

var (a, _,) = rec; // _ 忽略第二个位置成员
print(a); // 输出 7

同时解构位置和命名成员 #

如果需要提取多个成员，可合并模式：

var (a, _, :b, :c) = rec;
print(a); // 7
print(b); // testb
print(c); // testc

额外注意事项 #

• Record初始化时，位置参数必须放在命名参数之前，原代码中(7, c:"testc", "positionaltest", b:"testb")的写法不符合语法规范，会导致编译错误，需调整顺序。
• 若需要重命名解构后的变量，可使用:原命名成员名=新变量名的格式：

  var (:b as myB) = rec;
  print(myB); // 输出 "testb"
  

内容的提问来源于stack exchange，提问作者I wrestled a bear once.