为何含value:number的对象无法赋值给泛型接口的Partial类型？

核心问题出在泛型T的不确定性——它不是固定的ValueNumberMaybeUndefined类型，而是该类型的任意子类型，TypeScript需要确保代码对所有合法的T都成立，但你的赋值无法满足这个要求。

1. 先明确基础类型的含义 #

ValueNumberMaybeUndefined是Partial<ValueNumber>的别名，展开后是：

{ value?: number }

它表示value字段可以是number、undefined，或者完全不存在。

2. 泛型T的范围比你想的更广 #

T extends ValueNumberMaybeUndefined意味着T可以是上述类型的任意子类型，举几个合法的T例子：

• T = {}：空对象，符合子类型规则
• T = { value?: undefined }：明确value只能是undefined或不存在
• T = { value: 2 }：字面量类型，2是number的子类型，所以也符合约束

3. Partial<T>的类型会随T变化 #

当T取不同子类型时，Partial<T>的类型也会不一样：

• 如果T = { value?: undefined }，那么Partial<T>还是{ value?: undefined }
• 这时候你给Partial<T>类型的变量赋值{ value: 1 }，1是number类型，和undefined类型完全不兼容，必然报错

TypeScript的泛型检查是前置约束，它必须保证无论用户传入什么合法的T，代码都能正常运行。但你的赋值只对部分T成立，无法覆盖所有情况，所以编译器直接抛出错误。

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