为何TypeScript对命名类型与字面量类型区别对待？多余属性检查作用？

问题重现 #

先看这段TypeScript代码：

type A = { name: string, age: number };
type B = { name: string, age: number, hobby: 'cleanup' | 'pingpong' }

function test(t: A) {
    console.log(t);
}

const a: A = { name: 'yoon', age: 28 };
const b: B = { name: 'taetae', age: 25, hobby: 'cleanup' };

test(a); // OK
test(b); // OK
test({ name: 'yoon', age: 28 }); // OK
test({ name: 'yoon', age: 28, hobby: 'pingpong' }); // ERROR. Why?

为什么两种传参结果不同？ #

这要从TypeScript的结构类型系统和多余属性检查两个机制说起：

1. 结构类型的兼容性：TypeScript是结构类型语言，判断类型兼容只看属性结构。类型B包含了A的所有必填属性，属于A的子类型。变量b的类型被明确标注为B，它的结构完全满足A的要求，所以可以传给参数类型为A的test函数，这是合法的类型兼容。
2. 多余属性检查的触发逻辑：当你直接传入对象字面量作为函数参数时，TypeScript会触发额外的多余属性检查。这个检查是为了防止你不小心传入类型定义中不存在的属性——对象字面量是临时创建的“新鲜”值，TS默认认为你应该严格匹配目标类型的属性，因此会报错。而变量b已经经过类型标注，属于“非新鲜”的引用，不会触发这个额外检查。

多余属性检查的实用场景 #

• 避免拼写错误：比如想传name却写成naem，多余属性检查会立刻报错，帮你快速发现低级错误。
• 防止传入无关属性：当函数只需要处理特定属性时，多余属性检查能避免你不小心传入不需要的属性，减少因无关属性引发的潜在bug（比如后续逻辑误用到这些多余属性）。
• 校验类型定义准确性：如果类型定义遗漏了属性，或者传参时误加了属性，多余属性检查会及时提醒你，帮助修正类型定义或传参逻辑。

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