为何Dart不允许部分Record类型赋值？技术原理问询

首先看你遇到问题的代码：

typedef Stuff = ({String name, int age});

var instance = (name: 'Foo', age: 42, bubble: true);

sayStuff(Stuff stuff) {
  print("name: ${stuff.name}, age: ${stuff.age}");
}

main() {
  sayStuff(instance);
  // 编译错误：
  // 参数类型 '({int age, bool bubble, String name})'
  // 无法分配给参数类型 '({int age, String name})'
}

你疑惑的是明明函数只用到name和age，为什么不能忽略多余的bubble字段直接传递？这背后是Dart对Record类型的核心设计原则：

• Record是严格的结构匹配类型
  Dart的具名Record类型是基于完整结构来判定兼容性的——两个Record类型必须字段完全一致（字段名、类型都要匹配，不能多也不能少），才能互相赋值。这和动态语言的“鸭子类型”逻辑不同，作为静态类型语言，Dart需要明确的类型契约，确保传递的值完全符合参数的类型定义。

• 防止类型契约被破坏
  如果允许这种“截断式”的类型转换，会埋下潜在的维护隐患。比如后续如果Stuff类型新增了字段，或者sayStuff函数内部修改为需要用到某个隐含的字段（当前没用到但未来可能加），这种隐式兼容会让编译期无法提前发现错误，等到运行时才暴露问题。严格的类型匹配能确保类型契约的一致性，避免这类意外。

• Record的不可变性与值完整性
  Record设计为不可变的值类型，其类型必须精确反映它包含的所有数据。允许忽略多余字段的赋值，相当于在类型层面创建了一个“不完整”的视图，这违背了Record作为精确数据载体的设计目标——每个Record实例的类型就是它全部数据的描述。

• 与Dart类型系统的一致性
  这种规则和Dart中其他值类型的行为一致，比如位置式Record同样要求长度、类型完全匹配才能兼容。和类的子类型多态不同，类允许子类扩展并赋值给父类，但Record的定位是轻量级、无继承的纯数据载体，因此采用更严格的结构匹配规则，避免类型模糊性。

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