在TypeScript柯里化函数中如何正确使用keyof获得类型自动补全？

可行实现方案 #

你当前的调用顺序是prop(key)(obj)，在输入key的阶段TS还未获取到后续obj的类型，默认无法推导key的合法取值，有两种可行方式实现自动补全：

1. 显式指定对象泛型：调用时提前传入要操作的对象类型，此时TS就能正确给出key的补全提示：

   type Prop = <O, K extends keyof O>(key: K) => (obj: O) => O[K]
   const prop: Prop = (key) => (obj) => obj[key]
   
   const user = { name: "Andreas", age: 30 }
   // 提前指定O的类型为typeof user，输入引号时会自动补全name/age
   const a = prop<typeof user>("")(user)
   

2. 调整函数调用顺序：如果不想每次显式传泛型，可以把函数的参数顺序反过来，改成先传对象再传key，这时候TS可以先拿到O的类型，自动推导K的取值范围，补全体验最好：

   // 调整后的类型定义
   type Prop = <O>(obj: O) => <K extends keyof O>(key: K) => O[K]
   const prop: Prop = (obj) => (key) => obj[key]
   
   const user = { name: "Andreas", age: 30 }
   // 输入引号时会自动补全user的所有键
   const a = prop(user)("")
   

反向泛型定义不可行的原因 #

你给出的反向定义type Prop = <K extends keyof O>(key: K) => <O>(obj: O) => O[K]本身存在作用域错误：
泛型参数的作用域是从声明位置开始，到当前函数的结束位置。你在第一个函数的泛型约束K extends keyof O中引用了O，但O是第二个函数才声明的泛型参数，此时O还未进入作用域，TS无法识别这个引用，所以这个类型定义本身就不合法。

TypeScript不能全局反向推断的原因 #

TS的类型推断设计遵循从左到右、从外层到内层的增量推导规则，主要有两个核心原因：

• 性能考量：如果每次类型推断都要先全局扫描所有上下文再反向推导，对于大型项目来说类型计算的复杂度会呈指数级上升，编译性能无法接受。
• 稳定性考量：全局反向推导很容易出现多义性，不同的上下文可能推导出不同的类型结果，导致类型判断不稳定，反而增加开发负担。
  所以TS的类型系统不会做全量的全局反向扫描，只会基于当前已经解析到的代码信息做推导。

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