为何TypeScript仅对Partial+Record组合类型报错，映射类型却正常？

核心差异在于两种类型的构建逻辑和TypeScript的泛型类型推断规则 #

1. 自定义映射类型 { [K in keyof User]?: number } 的行为

这个类型是直接遍历User的每一个键，为每个键生成一个可选的number类型。在泛型函数内部，TypeScript会把它解析为：「一个包含User所有键、每个键都是可选number的对象」。

当你赋值{ firstName: 1 }时，TypeScript判断这个字面量是该类型的子集——所有存在的属性都符合类型要求，缺失的属性本来就是可选的，因此允许赋值。

2. Partial<Record<keyof User, number>> 的行为

这个类型是分两步构建的：

• 首先Record<keyof User, number>生成一个所有键都是必填number的对象类型；
• 然后Partial把所有键转为可选。

但在泛型上下文里，TypeScript只知道User是Person的子类型，它可能包含firstName之外的其他键（哪怕当前调用时没传）。此时Partial<Record<keyof User, number>>被推断为「一个可能包含firstName和其他未知可选键的对象类型」，而{ firstName: 2 }没有覆盖这些潜在的未知键（虽然它们是可选的，但TypeScript在泛型约束下的类型检查更严格），因此触发赋值错误。

直观实例验证 #

假设User被实例化为{ firstName: string, lastName: string }：

• 自定义映射类型会变成{ firstName?: number; lastName?: number }，{ firstName: 1 }是它的合法子集，赋值没问题；
• Partial<Record<keyof User, number>>同样是{ firstName?: number; lastName?: number }，但在泛型函数内部，TypeScript不知道User的具体结构，只会假设它可能有更多键，因此不会认可{ firstName: 2 }能匹配这个“不确定键集合的可选类型”。

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