TypeScript泛型函数lab为何无法自动提示合法参数？

1. 泛型手动指定导致推导失效：调用lab时手动传入<Something, 'fn'>泛型参数，相当于硬编码类型，TypeScript无需做任何推导，编辑器自然没法基于类型结构给出提示。
2. 条件类型延迟解析：参数k的类型是T[K] extends (...args: any[]) => any ? K : never，这种条件类型属于延迟解析类型——只有当泛型T和K被明确确定后，TypeScript才会计算出具体的合法键集合。在调用前，编辑器无法提前预判结果，也就没法给出提示。
3. 泛型约束冗余且限制推导：T extends Something的约束看似合理，但没有让TypeScript自动推导T的类型，反而把类型范围锁死，进一步压缩了编辑器的提示空间。

第一步：定义工具类型提取函数键 #

先写一个通用工具类型，专门提取对象类型中值为函数的键：

// 遍历对象的所有键，筛选出值为函数类型的键
type FunctionKeys<T> = {
  [K in keyof T]: T[K] extends (...args: any[]) => any ? K : never
}[keyof T]

第二步：重构lab函数 #

根据需求，有两种重构方向：

方向1：仅支持Something类型（简化版）

如果lab只需要处理Something类型，直接固定类型，无需泛型：

const lab = (k: FunctionKeys<Something>) => {
  return ({} as Something)[k];
}

// 调用时，编辑器会自动提示合法键'fn'，传入其他键直接报错
const test = lab('fn')

方向2：支持任意对象类型（通用版）

如果需要lab处理任意对象类型，保留泛型但让TypeScript自动推导：

const lab = <T>(k: FunctionKeys<T>) => {
  return ({} as T)[k];
}

// 调用时手动指定泛型，编辑器会自动提示该类型下的所有函数键
const test = lab<Something>('fn')

优化后的效果 #

• 调用lab时，编辑器会直接列出所有合法的函数键（比如这里的'fn'），输入过程中自动补全。
• 传入非函数类型的键（如'str'、'num'）会立即触发TypeScript错误，和原逻辑保持一致。
• 不需要手动指定多余的泛型参数，减少代码冗余。

内容的提问来源于stack exchange，提问作者nik-kita