为何TypeScript泛型约束<K extends keyof Obj>会被识别为string类型？

先看这段会报错的代码：

interface Obj {
    key_a: string;
}

function set<K extends keyof Obj>(key: K, value: Obj[K]) {
    // 报错：类型 '{ [x: string]: Obj[K]; }' 中缺少属性 'key_a'
    const obj: Obj = { [key]: value }
    return obj
}

明明泛型K已经被约束为keyof Obj（也就是只能传'key_a'），但用[key]创建对象时，TypeScript却把这个对象当成了带string索引签名的类型，没法赋值给Obj类型变量。

但换成以下两种写法就完全正常：

const k1: keyof Obj = 'key_a'
let obj: Obj = { [k1]: value } // 编译通过

const k2: 'key_a' = 'key_a'
obj = { [k2]: value } // 编译通过

更奇怪的是，只要把泛型参数key转成keyof Obj类型的变量，再用来创建对象就没问题：

function set<K extends keyof Obj>(key: K, value: Obj[K]) {
    const _key: keyof Obj = key
    const obj: Obj = { [_key]: value } // 编译通过
    return obj
}

原因解析 #

核心差异在于TypeScript对泛型参数和具体类型的处理逻辑：

• 泛型参数K extends keyof Obj是个开放的类型，它代表keyof Obj的所有可能子类型集合，而非某个固定的具体值。TypeScript为了保证泛型在所有子类型场景下都安全，会把计算属性[key]的类型推断为string（因为对象键最终都会被转为string类型），导致生成的对象被标记为{ [x: string]: Obj[K]; }，和要求固定属性key_a的Obj类型不兼容。
• 当使用keyof Obj类型的常量或'key_a'字面量类型时，TypeScript明确知道键的具体值，会直接把对象推断为{ key_a: string }，完美匹配Obj类型。
• 把key赋值给keyof Obj类型的_key时，相当于做了一次类型收窄：TypeScript确认_key的类型是固定的keyof Obj（即'key_a'），而非开放的泛型参数，因此计算属性的类型会被正确推断为具体键名，生成的对象自然符合Obj类型要求。

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