TypeScript中如何定义混合类型元组数组的泛型，替代逐长度重载枚举

完全可以跳过逐一声明所有长度重载的繁琐写法，利用 TypeScript 4.0+ 提供的元组泛型推导能力，用极简的类型定义覆盖任意长度的元组匹配场景。

核心实现逻辑 #

核心思路是跳过固定长度元组的逐一声明，靠三层逻辑覆盖所有场景：

• 让泛型自动捕获传入的完整元组类型，不限制元组长度
• 通过映射类型遍历元组的每一项，提取对应的值类型，生成结构完全匹配的返回值元组
• 补充一个非固定长度数组的兜底重载，兼容松散的普通数组传参场景

具体代码实现 #

export type Type<T> = [T, boolean];

// 元组映射工具：遍历元组每一项，提取Type<T>里的T值，组成新的元组类型
type UnwrapTypeTuple<TList extends readonly Type<any>[]> = {
  [K in keyof TList]: TList[K] extends Type<infer TValue> ? TValue : never
};

// 重载1：精准元组匹配，自动适配任意长度的固定结构元组
function fn<TList extends readonly Type<any>[]>(
  list: TList
): UnwrapTypeTuple<TList>;

// 重载2：兜底适配非固定长度的普通数组场景
function fn<T>(list: Type<T>[]): T[];

// 实际实现签名，外部不可见
function fn(list: Type<unknown>[]): unknown[] {
  // 原有运行时逻辑完全不需要修改
  return list.map(([value]) => value);
}

实际效果 #

• 传入2元素元组时，返回值自动推导为[string, number]，和示例中的预期完全一致
• 传入3元素、5元素、任意长度的固定结构元组时，返回值都会精准匹配每一项的类型，不需要为每个长度单独写重载
• 传入非固定长度的普通数组时，会自动走兜底逻辑，返回对应类型的数组，兼容原有松散使用场景

目前 TypeScript 内置的Promise.all官方类型定义已经完全切换为这套实现逻辑，不再依赖枚举2元素、3元素、4元素等固定长度的重载写法，本质和上面的映射推导逻辑完全一致。

补充说明：因为数组原生map方法的内置类型定义仅支持返回通用数组，不保留元组的精准长度，所以上述实现中不需要额外加类型断言，通过函数重载的分层声明就能让外部调用时拿到精准的类型推导结果，运行时逻辑也不需要做任何调整。

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