泛型函数中键与回调参数的类型推断异常问题

你遇到的问题是TypeScript无法自动关联泛型参数T对应的键和回调类型，导致push操作时出现类型不兼容错误。以下是两种实用的解决方法：

方法一：使用类型断言明确类型 #

直接通过类型断言告诉TypeScript当前cb的类型与map[k]的元素类型完全匹配，绕过类型检查的歧义：

type MyMap = {
   type1: (() => void)[] 
   type2: ((data: string) => void)[]
}

const map: MyMap = { type1: [], type2: [] };

function addToMap<T extends keyof MyMap>(k: T, cb: MyMap[T][number]): void {
    // 断言map[k]为对应键的数组类型
    (map[k] as MyMap[T]).push(cb);
}

方法二：使用函数重载精准匹配 #

通过函数重载明确每个键对应的回调签名，让TypeScript在调用时能精准推导类型，避免歧义：

type MyMap = {
   type1: (() => void)[] 
   type2: ((data: string) => void)[]
}

const map: MyMap = { type1: [], type2: [] };

// 定义重载签名
function addToMap(k: 'type1', cb: () => void): void;
function addToMap(k: 'type2', cb: (data: string) => void): void;
// 实现函数
function addToMap(k: keyof MyMap, cb: MyMap[keyof MyMap][number]): void {
    map[k].push(cb as any);
}

这种方式的优势在于，调用addToMap时会获得更精准的类型提示，比如传入'type1'时，编辑器会自动提示需要无参数的回调函数。

问题原因 #

TypeScript在处理泛型索引访问时，无法自动将泛型参数T的具体值与map[k]的类型做精确绑定，导致它会将map[k]推断为所有可能数组类型的联合，进而无法确认cb是否匹配。上述两种方法都是通过手动辅助类型系统，消除这种歧义。

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