为何TypeScript中用number索引数组类型签名会丢失类型特异性？

先看你遇到的第一种写法代码：

type API = {
    method1: Array<(num: number) => void>,
    method2: Array<(str: string) => void>
}

const methods: API = {
    method1: [],
    method2: []
}

function add<K extends keyof API>(key: K, method: API[K][number]) {
    methods[key].push(method);
}

这段代码触发类型错误的核心原因，是TypeScript对嵌套泛型索引访问的推导逻辑限制：

当你在泛型函数里使用API[K][number]时，K是keyof API（即"method1" | "method2"）的子类型。TypeScript处理这种嵌套索引时，不会先针对每个具体的K单独推导API[K]对应的数组元素类型，而是先把API[K]解析成所有可能的数组类型的联合（Array<(num: number) => void> | Array<(str: string) => void>），再取[number]得到元素类型的联合（((num: number) => void) | ((str: string) => void)）。

而methods[key].push的参数类型，在K为泛型时，TypeScript会要求它满足所有可能的数组元素类型的交集（因为methods[key]的类型是联合数组，push方法的参数必须能被所有数组类型接受）。这就导致联合类型的method无法赋值给交集类型的参数，从而触发报错。

再看你用映射类型修复后的写法：

type API = {
    method1: (num: number) => void,
    method2: (str: string) => void
}

const methods: { [K in keyof API]: API[K][] } = {
    method1: [],
    method2: []
}

function add<K extends keyof API>(key: K, method: API[K]) {
    methods[key].push(method);
}

这种写法能正常工作的原因是：

• 映射类型{ [K in keyof API]: API[K][] }明确为每个K生成了对应的数组类型，methods[K]的类型被精准绑定到API[K][]
• 函数参数method直接使用API[K]，和methods[key].push接受的参数类型完全匹配，TypeScript可以针对每个K正确推导类型，不会出现联合/交集类型的冲突。

总结来说，TypeScript在处理T[K][X]这种嵌套泛型索引访问时，不会对K做分布式的逐一推导，而是先计算T[K]的联合类型再处理后续索引，这就导致了类型信息的丢失。而通过映射类型拆分层级，把数组结构和基础类型分开定义，就能避免这个问题。

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