TypeScript泛型函数内类型操作行为差异问题求解

问题根本原因 #

这是TypeScript在泛型上下文和具体类型上下文下，类型推导规则不一致导致的：

1. 可选属性的类型本质 #

TypeScript 中interface A { a?: number }这类可选属性，实际包含两层定义：

• 属性标记为「可选」，允许该字段不存在
• 属性值类型默认联合undefined，即number | undefined

你最初的MakeKeyRequired实现只用-?修饰符，仅去掉了「可选」的属性标记，没有显式处理值类型中的undefined。

2. 两种上下文的推导差异 #

• 非泛型（外部调用）场景：当你传入具体类型时，TS 会自动做类型合并推导，它会识别到「去掉可选标记」等价于值类型不再包含undefined，所以你可以正常访问深层属性。
• 泛型函数内部场景：TS 为了保证泛型的通用性，会延迟类型计算，不会主动做上述的隐含推导。它只会把你的交叉类型拆成独立的两部分看待：Omit<Obj, K>和你重写的K字段。在泛型参数未实例化的状态下，TS 无法确定你去掉可选标记后，值类型中的undefined已经被排除，所以会判定字段仍然可能是undefined，不允许直接索引深层属性。

3. 显式加Exclude生效的原因 #

你新增的Exclude<Obj[K], undefined>是显式告诉 TS：不管泛型参数原本的属性值有没有undefined，我都要把它从类型里过滤掉。哪怕在泛型上下文里，TS 也能通过这个显式声明确定该属性不可能为undefined，所以允许你做深层索引。

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