TypeScript数组推入带额外字段对象的报错差异问题咨询

这是TypeScript两种不同类型检查逻辑导致的差异：

1. 对象字面量的新鲜度检查 #

当你直接将对象字面量作为参数传入arr2.push()时，TypeScript会触发新鲜度检查（Strict Literal Type Checking）。这种检查是针对「刚创建的对象字面量」的额外校验规则：它会严格要求字面量的属性完全匹配目标类型（这里是Person），不允许存在任何未定义的额外属性。所以{ id: 1, name: "Carl", age: 30 }因为多了id字段，会直接触发类型错误。

2. 变量赋值后的结构子类型兼容 #

当你把对象先赋值给const data时，TypeScript会自动推断data的类型为{ id: number; name: string; age: number; }。此时再将data传入arr2.push()，触发的是常规的结构子类型兼容性检查：只要源类型（data的类型）包含目标类型（Person）的所有必填属性且类型匹配，就允许赋值。额外的id字段不会被视为错误——因为TypeScript的结构类型系统允许「超类型赋值给子类型」，只要核心属性满足要求。

如何让变量赋值场景也触发错误？ #

如果希望在变量赋值阶段就阻止额外字段，可以显式给变量指定Person类型：

const data: Person = { id: 1, name: "Carl", age: 30 }; // 这里会直接报错：'id'不存在于类型'Person'中

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