TypeScript无法推断嵌套Record的值类型？求可行解决方案

问题场景 #

想要创建一个可基于集合名称操作嵌套Record值的函数，但示例代码中无法正确获取值类型，导致value.x++报错：

type Player = { name:string }
type Point = { x:number, y:number }

const collections = {
    players: {} as Record<string, Player>,
    positions: {} as Record<string, Point>,
}

type Collections = typeof collections;

function handleEntity<
    Key extends keyof Collections,
    Col extends Collections[Key],
    Val extends Col[keyof Col],
>(name:Key, value:Val){
    switch(name){
        case 'positions': value.x++ // <-- 类型报错，无法识别value为Point类型
    }
}

类型推断失败的原因 #

原泛型定义中，Val与Key之间没有建立直接的类型关联：

• Val被定义为Col[keyof Col]，而Col是Collections[Key]，但这种泛型参数的拆分方式，让TypeScript无法把name:Key的具体值和value:Val的具体类型绑定在一起。
• 当进入case 'positions'分支时，TypeScript只能知道value是Player | Point的联合类型，而联合类型不允许直接访问仅某一子类型拥有的属性（比如x只属于Point），因此报错。

解决办法 #

方法一：通过Key直接关联值类型（自动适配集合扩展） #

修改泛型定义，直接通过Key推导对应集合的值类型，无需额外拆分Col和Val：

type Player = { name:string }
type Point = { x:number, y:number }

const collections = {
    players: {} as Record<string, Player>,
    positions: {} as Record<string, Point>,
}

type Collections = typeof collections;

function handleEntity<Key extends keyof Collections>(
    name: Key,
    // 从Record<string, T>中提取出值类型T
    value: Collections[Key] extends Record<string, infer T> ? T : never
) {
    switch(name){
        case 'positions': 
            value.x++; // 正确推断为Point类型，无报错
            break;
        case 'players':
            value.name = "updated name"; // 正确推断为Player类型
            break;
    }
}

这种方式的优势是：当collections新增集合类型时，函数无需修改就能自动适配。

方法二：使用函数重载（类型提示更明确） #

如果集合类型相对固定，可以用函数重载手动建立name和value的类型映射：

type Player = { name:string }
type Point = { x:number, y:number }

const collections = {
    players: {} as Record<string, Player>,
    positions: {} as Record<string, Point>,
}

type Collections = typeof collections;

// 定义重载签名
function handleEntity(name: 'players', value: Player): void;
function handleEntity(name: 'positions', value: Point): void;
// 实现签名
function handleEntity(name: keyof Collections, value: Player | Point) {
    switch(name){
        case 'positions': 
            value.x++; 
            break;
        case 'players':
            value.name = "updated name"; 
            break;
    }
}

这种方式的优势是类型提示更清晰，但需要在新增集合时手动添加对应的重载签名。

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