受其他泛型约束时，TypeScript泛型参数类型无法收窄

问题原因 #

你当前的代码中，K extends keyof T 是泛型约束，TypeScript 会推断出能同时满足 key1 和 key2 的最宽泛类型。当传入 'a' 和 'b' 时，K 被推断为 'a' | 'b'——这个联合类型同时覆盖两个参数的类型，因此不会触发错误。

解决方案 #

1. 强制后续参数与第一个参数类型严格一致 #

直接让第二个参数的类型等于第一个参数的字面量类型，而非共享同一个泛型 K：

const foo = {
  a: 'hello',
  b: 'world',
} as const

function bar<T extends object, K extends keyof T>(obj: T, key1: K, key2: typeof key1) {};

bar(foo, 'a', 'b') // 报错：类型 '"b"' 不能赋值给类型 '"a"'
bar(foo, 'a', 'a') // 正常通过

2. 柯里化实现链式推导 #

如果需要更清晰的链式约束（先推导 T，再推导 K，最后约束后续参数），用柯里化拆分函数调用：

const foo = {
  a: 'hello',
  b: 'world',
} as const

const bar = <T extends object>(obj: T) => 
  <K extends keyof T>(key1: K) => 
    (key2: K) => {
      // 函数逻辑
    };

// 链式调用：第一步确定T，第二步确定K，第三步强制key2为K
bar(foo)('a')('b') // 报错：类型 '"b"' 不能赋值给类型 '"a"'
bar(foo)('a')('a') // 正常通过

3. 利用const泛型强化字面量推断 #

如果需要保留参数的字面量类型（避免被拓宽为更宽泛的类型），结合 const 泛型：

function bar<T extends object, const K extends keyof T>(obj: T, key1: K, key2: K) {};

bar(foo, 'a', 'b') // 报错：类型 '"b"' 不能赋值给类型 '"a"'

这里的 const K 强制 TypeScript 将 K 推断为具体的字面量类型，而非联合类型，从而实现类型收窄。

核心逻辑总结 #

• 多个参数共享同一泛型约束时，TypeScript 会取所有参数的类型交集/联合类型来满足约束；
• 实现链式推导，需要让后续参数的类型直接依赖于前面参数的推断结果，而非共享同一个泛型参数；
• 柯里化是实现链式约束推导的常用方式，能分步确定泛型类型，逐步收窄范围。

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