TypeScript向自定义类型数组推送带额外字段的预定义对象未报错疑问

你之前的预期偏差是因为没有区分 TypeScript 的结构子类型基础规则和对象字面量超额属性检查规则的适用边界，核心知识点如下：

• TypeScript 类型系统默认采用结构子类型（鸭子类型）设计：只要一个对象包含目标类型要求的全部字段且字段类型完全匹配，就会被判定为和目标类型兼容，额外存在的字段不会影响类型兼容性判定。
• 你前面遇到的 2322 错误，是 TypeScript 针对对象字面量直接赋值场景额外新增的超额属性校验规则，这个规则仅当你直接将对象字面量赋值给有明确类型标注的变量、或者直接作为参数传递给有明确类型要求的函数/方法时才会触发，设计目的是避免开发者手滑写错字段名、多写冗余字段这类低级错误。

你最后一段代码不报错的原因很明确：
你定义的data变量没有加显式的类型标注，TypeScript 会自动推断它的类型为{ fieldOne: string; fieldTwo: number; fieldThree: string }，这个类型完全兼容MyType，且你调用push时传的是变量而不是直接传对象字面量，所以不会触发超额属性检查，TypeScript 自然就不会报错。

如果你希望这类场景也触发校验，只需要给提前定义的变量加上显式的类型标注即可：

const newArray: MyType[] = [];
// 此处添加MyType类型标注后，定义阶段就会触发超额属性检查抛出2322错误
const data: MyType = {fieldOne: 'bar', fieldTwo: 2, fieldThree: 'whee'};
newArray.push(data);

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