TypeScript对象赋值行为异常：两段等价JS代码为何TS校验结果不同？

这可不是TypeScript的bug哦，核心原因是它的**多余属性检查（Excess Property Checks）**机制在起作用——这是TS特意设计的行为，用来帮你避免手误写出多余属性的！

我们拆解来看两段代码的差异：

第二段代码（直接赋值字面量报错） #

type A = { name: string }
const aa: A = { name: '', x: 12 } // 报错 TS2322

当你直接把新鲜的对象字面量赋值给标注了类型A的变量时，TS会触发严格的多余属性检查。它会默认认为：你明明只需要name属性，却写出了x，大概率是手误写错了，所以直接抛出错误提示你修正。这种检查是针对对象字面量的特殊校验，目的是提前拦截潜在的低级错误。

第一段代码（先赋值变量再赋值无报错） #

type A = { name: string }
const a = { name: '', x: 12 }
const aa: A = a // 无报错

这里第一步，TS会自动推断a的类型为{ name: string; x: number }——因为你用const定义了它，TS会完整保留所有属性的类型信息。接下来把a赋值给aa:A时，TS切换到结构类型兼容性规则：只要a包含A要求的所有属性（这里就是name），就允许赋值，不会检查多余的x属性。

这是因为当你把对象赋值给变量a时，TS默认你是故意定义这些额外属性的，之后把它赋值给更窄的类型（比如A）是合理的场景——比如你可能需要复用这个带额外属性的对象，或者用它来实现多态逻辑。

简单总结 #

• 直接给标注类型的变量赋值对象字面量：触发多余属性检查，不允许额外属性
• 先把对象字面量赋值给变量（让TS推断其完整类型），再赋值给标注类型的变量：用结构兼容性校验，允许兼容的多余属性

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