TypeScript中如何处理多个关联的泛型列表？

算力阿峰

2026-7-6

TypeScript 泛型数组关联映射问题

我有一组类型为GenericType<T>的对象，每个对象的泛型参数T各不相同；同时还有一组与T对应的key列表，两组列表长度一致。我想把这两个列表关联映射，单独处理单个对象和对应key时一切正常，但用数组批量处理时就不行了。想知道这种需求是否可行，如果不行，要了解限制的原因和相关参考方向。为简化问题，可将GenericType<T>视为T。

示例代码

const func = <T,>({obj, key}: {obj: GenericType<T>, key: keyof T}) => {...}

单独调用时的表现：

const arr = [{ obj: object1, key: key1 }, { obj: object2, key: key2 }] as const;
// 正常运行
func(arr[0])
// 正常运行
func(arr[1])
// 类型错误
func(arr[Math.round(Math.random())])

问题原因

TypeScript 的泛型推断在处理数组元素时，会把数组类型推断成联合类型的数组，而非每个元素对应独立泛型参数的元组。当用动态索引（比如随机数）访问数组时，TypeScript 无法确定具体访问的是哪个元素，只能推断出obj是GenericType<T1> | GenericType<T2>，key是keyof T1 | keyof T2，但没法保证key一定属于对应obj的T类型的键，所以会触发类型错误。

可行处理方案

如果要实现数组级别的类型安全处理，可以通过元组遍历+泛型约束的方式，让 TypeScript 逐个绑定每个元素的obj和key类型：

type ValidPair<T> = { obj: GenericType<T>, key: keyof T };

function processPairs<T extends any[]>(pairs: [...{ [K in keyof T]: ValidPair<T[K]> }]) {
  pairs.forEach(pair => func(pair));
}

// 调用示例
const arr = [{ obj: object1, key: key1 }, { obj: object2, key: key2 }] as const;
processPairs(arr); // 类型安全，无错误

这种写法利用了 TypeScript 的可变元组类型和映射类型，让数组中每个元素的obj和key类型严格一一对应，确保遍历处理时类型始终匹配。