TypeScript函数重载类型推断问题：为何部分示例编译失败？

以下代码中，部分调用mapObjectValues后传入checker的代码编译失败，我们来分析原因并确认这是否属于TypeScript的类型推断限制。

function mapObjectValues<I, O, K extends keyof any>(obj: Record<K, I>, map: (value: I, key: K) => O): Record<K, O>
function mapObjectValues<K extends keyof any, I extends Record<K, any>, O extends Record<K, any>>(obj: I, map: (value: I[K], key: K) => O[K]): O
function mapObjectValues<I, O>(obj: Record<keyof any, I>, map: (value: I, key: keyof any) => O): Record<keyof any, O>
function mapObjectValues<I, O>(_obj: Record<keyof any, I>, _map: (value: I, key: keyof any) => O): Record<keyof any, O> {
    throw "not relevant"
}

function checker(_input: Record<string, string>) { }

// 编译通过
checker(mapObjectValues({
    foo: "bar"
}, (_, k) => k))

// 编译通过
checker(mapObjectValues({
    ["foo"]: "bar"
}, (_, k) => k))

// 编译失败，错误信息：
// Argument of type 'Record<string | number, string | number>' is not assignable to parameter of type 'Record<string, string>'.
//   'string' index signatures are incompatible.
//     Type 'string | number' is not assignable to type 'string'.
//       Type 'number' is not assignable to type 'string'.
checker(mapObjectValues({
    [{
        foo: "foo"
    }.foo]: "bar"
}, (_, k) => k))

// 编译通过
checker(mapObjectValues({
    [({ 
        foo: "foo"
    } as const).foo]: "bar"
}, (_, k) => k))

案例分析 #

• 编译通过的案例1：直接使用字面量属性foo，TypeScript会将键推断为字面量类型"foo"，map函数返回的k类型也是"foo"，最终返回Record<"foo", "foo">，可兼容Record<string, string>。
• 编译通过的案例2：使用字符串字面量"foo"作为计算属性键，同样会被推断为字面量类型"foo"，后续类型推导逻辑与案例1一致。
• 编译失败的案例3：使用{foo:"foo"}.foo作为计算属性键时，TypeScript默认会将该表达式的类型拓宽为string（而非字面量"foo"）。结合mapObjectValues的泛型推断规则，此时K的类型被推导为string | number，map函数返回的k类型也变为string | number，最终返回的Record<string | number, string | number>无法匹配checker要求的Record<string, string>。
• 编译通过的案例4：通过as const断言将对象转为只读字面量类型，此时({foo:"foo"} as const).foo的类型被锁定为字面量"foo"，后续推导逻辑与前两个案例一致，返回类型符合checker的要求。

结论 #

这确实属于TypeScript当前的类型推断限制。TypeScript在处理计算属性键时，仅当键表达式是字面量、被const断言修饰，或是被推断为字面量类型的变量时，才会保留具体的字面量类型；否则会自动拓宽为更宽泛的类型（如string），进而影响后续泛型参数的推断结果。

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