为什么TypeScript传对象引用正常，直接传带额外属性的对象字面量报错

这是TypeScript特意设计的「超额属性检查」规则和结构类型兼容规则共同作用的结果。

• 首先解释提前声明变量传参无报错的逻辑：
  TypeScript本身采用结构类型（鸭子类型）的兼容规则，只要一个值包含目标类型要求的全部属性，就算符合目标类型要求，额外的属性不会影响类型兼容性。
  你提前声明的user变量会先被TypeScript推导为类型{firstName: string; lastName: string; age: number}，这个类型完全覆盖了User接口要求的firstName和lastName属性，所以传入sayMyName时完全符合类型要求，不会触发报错。

• 再解释直接传对象字面量报错的逻辑：
  当你直接把对象字面量作为参数传入函数时，这个对象属于「新鲜对象字面量」，TypeScript会对新鲜对象字面量触发额外的超额属性检查，这层校验是独立于结构兼容规则的，目的是避免开发者手误写错属性名、或者多传了根本不会被使用的无效属性。此时只要对象字面量里出现了目标类型没有声明的属性，就会直接抛出你看到的报错。

如果确实需要直接传带额外属性的对象字面量，可以用类型断言绕开检查：

sayMyName({firstName: "john", lastName:"snow", age:22} as User);

也可以提前给User接口加索引签名，允许额外属性存在：

interface User{
  firstName:string;
  lastName:string;
  [key: string]: any;
}

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