泛型键扩展模板字面量时，Record交叉类型索引推断异常如何解决？

原则上，(T & Record<K, U>)[K] 应被推断为 U，但当泛型 K 扩展模板字面量类型（比如a${string}这类）时，TypeScript无法完成正确推断，导致后续调用类型方法时报错。

示例代码：

function foo3<
    K extends `a${string}`,
>(k: K) {
    const a = {} as {b: 1} & Record<K, string>

    const r = a[k]
    r.toLowerCase() // 错误：类型 '({ b: 1; } & Record<K, string>)[K]' 上不存在属性 'toLowerCase'。(2339)
}

当K扩展string或具体字符串字面量这类“简单”类型时，代码可正常运行。

类型安全的解决方案 #

方案一：调整交叉类型顺序

将Record<K, string>放在交叉类型的最前面，利用TypeScript对交叉类型的处理优先级，让模板字面量泛型对应的属性类型被优先识别：

function foo3<
    K extends `a${string}`,
>(k: K) {
    // 交换交叉类型顺序，让Record<K, string>优先级更高
    const a = {} as Record<K, string> & {b: 1}

    const r = a[k]
    r.toLowerCase() // 类型推断正常，无报错
}

方案二：使用类型断言（结合泛型约束保证安全）

基于已知的类型约束，直接断言a[k]的类型为string——因为a明确包含Record<K, string>，所以该断言完全安全：

function foo3<
    K extends `a${string}`,
>(k: K) {
    const a = {} as {b: 1} & Record<K, string>

    const r = a[k] as string
    r.toLowerCase() // 正常工作
}

方案三：自定义类型提取工具

通过条件类型强制提取属性类型，帮助TypeScript绕过推断障碍：

// 自定义类型工具，明确提取T中K对应的属性类型
type ExtractValue<T, K extends keyof T> = T[K] extends infer U ? U : never;

function foo3<
    K extends `a${string}`,
>(k: K) {
    const a = {} as {b: 1} & Record<K, string>

    const r = a[k] as ExtractValue<typeof a, K>
    r.toLowerCase() // 类型推断正常
}

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