TypeScript：传递对象变量与字面量给函数的报错差异原因

这个问题其实涉及到TypeScript里一个很实用的类型检查机制——多余属性检查（Excess Property Checks），咱们一步步拆解背后的原因：

1. 直接传对象字面量：触发严格的多余属性检查 #

当你直接把{a: "lol", b: "hi"}作为参数传给myFunction时，TypeScript会对这个「新鲜出炉」的对象字面量触发额外的严格校验。它会检查字面量的所有属性是否完全匹配目标接口MyInterface的定义——只要存在接口里没声明的属性（比如这里的b），就会抛出错误。

这种设计的目的是帮你快速排查拼写错误、误加不必要属性这类问题，毕竟直接写字面量往往是一次性使用，严格校验能减少低级bug。

2. 传递对象变量：采用常规的结构类型检查 #

当你先把对象赋值给变量myObject，再把变量传给函数时，TypeScript会切换到常规的结构类型检查。TypeScript是结构类型系统，它只关心变量的结构是否满足目标类型的要求：只要myObject包含MyInterface所需的所有属性（这里a是可选的，所以有没有都符合），就认为两者兼容，不会在意额外的b属性。

毕竟变量可能在代码的其他地方被复用，额外属性可能是业务逻辑需要的，这种兼容设计保证了代码的灵活性。

代码对比示例 #

interface MyInterface { a ?: string; }
function myFunction(parameter: MyInterface) { console.log("hello!") }

// 直接传字面量：报错
myFunction({a: "lol", b: "hi"}); // ❌ 错误：类型"{ a: string; b: string; }"的参数不能赋给类型"MyInterface"的参数

// 先赋值给变量：正常通过
let myObject = { a: "lol", b: "hi" };
myFunction(myObject); // ✅ 无错误

总结一下：TypeScript通过两种不同的检查策略，在保证代码正确性的同时兼顾了灵活性——直接写字面量时严格把关，用变量时允许更宽松的结构兼容。

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