TypeScript泛型中Partial类型异常：含有效属性时额外属性不报错？

核心原因在于TypeScript的对象字面量新鲜度检查和泛型类型推断的交互逻辑，以及显式类型注解与隐式泛型推断的区别：

1. 第一个save调用无报错的原因 #

当你调用save({ firstname: 'John', a: 1 })时，TypeScript会自动推断泛型参数T的类型为：

{ firstname: string; a: number }

这个类型满足T extends Partial<User>的约束——因为Partial<User>的定义是{ firstname?: string }，而推断出的T包含firstname属性（类型匹配），剩余的额外属性a不影响约束判断。此时TypeScript不会触发对象字面量的额外属性检查，因为泛型推断允许类型扩展。

2. 第二个save调用报错的原因 #

调用save({ a: 1 })时，推断出的T是{ a: number }，这个类型不满足T extends Partial<User>：Partial<User>要求类型至少可以包含firstname（可选），但{ a: number }完全没有与Partial<User>重叠的属性，因此违反泛型约束，触发报错。

3. 第三个赋值语句报错的原因 #

当你直接声明let user: Partial<User> = { ... }时，变量的类型被显式指定为Partial<User>，此时TypeScript会启用严格的对象字面量新鲜度检查：不允许字面量包含目标类型中未定义的属性（a不在Partial<User>的属性列表里），因此直接报错。

泛型定义是否有错误？ #

你的泛型定义本身没有语法错误，但如果你的目标是禁止传入额外属性，这个写法就不符合预期。如果需要严格约束只能传入Partial<User>的属性，应该去掉泛型，直接用Partial<User>作为参数类型：

function save(entity: Partial<User>) {
  // ...
}

这样第一个save调用也会触发额外属性报错，符合严格类型检查的预期。

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