TypeScript中对象键作函数参数时值类型推导错误问题

报错的核心是泛型参数与入参key未建立类型绑定：TypeScript无法根据传入的key缩窄data[key]的对应类型，会默认将item.id判定为string | Name联合类型，未加约束的泛型T和该联合类型无法做兼容校验，因此抛出"类型无重叠"的错误。
双重类型断言虽然可以绕过编译检查，但会完全丢失类型安全，传入不符合字段要求的id时TS不会给出任何提示，存在类型隐患。

将泛型约束为DataType的键类型，通过索引访问类型自动关联对应字段的id类型，让TS完成完整的类型推导：

enum Name {
    house = 'house',
    building = 'building'
}

interface DataType {
    a: {id: string; name: string}[];
    b: {id: Name; name: string}[];
}

const data: DataType = {
    a: [{id: '1', name: 'abc'}],
    b: [{id: Name.house, name: Name.house}, {id: Name.building, name: 'def'}],
}

// 泛型K约束为DataType的合法键，id类型自动匹配对应键下数组项的id类型
const getName = <K extends keyof DataType>(key: K, id: DataType[K][number]['id']) => {
    const value = data[key];
    return value.find(item => item.id === id)?.name || '';
}

// 正确调用，res自动推导为string类型
const res = getName('b', Name.house);
// 错误调用会直接触发TS校验报错：a字段id为string类型，不支持传入Name枚举值
// const errRes = getName('a', Name.house);

console.log(res);

方案优势 #

• 无需任何类型断言，全程保留TypeScript的类型检查能力
• 入参类型自动联动：传入key='a'时，TS会自动要求id为string类型；传入key='b'时，自动要求id为Name枚举类型，参数不匹配时编译阶段直接报错
• 返回值自动推导为string类型，无需额外标注

如果需要适配非固定数据源的通用场景，可以将数据源本身也纳入泛型约束，逻辑保持一致：

// 通用版getName，可适配任意符合结构的数据源
const getName = <T extends Record<string, Array<{id: any, name: string}>>, K extends keyof T>(
    data: T,
    key: K,
    id: T[K][number]['id']
) => {
    return data[key].find(item => item.id === id)?.name || '';
}

非必要不使用as unknown as XXX双重断言：该写法会强制跳过TS的类型检查，后续代码逻辑变更、参数传递错误时无法得到编译提示，极易引发线上问题。

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