彻底修复TypeScript中交叉元组的问题

针对数组与元组交叉后无法展开元组的问题，我们可以通过递归条件类型实现无需Hint参数的通用工具类型，自动提取交叉类型中的元组部分和数组部分：

// 提取交叉类型中的元组结构部分
type ExtractTuplePart<T> = 
  T extends readonly [...infer Head, ...infer Rest[]] 
    ? Rest extends never[] 
      ? T 
      : [...ExtractTuplePart<Head>, ...Rest[]] 
    : T extends readonly [infer First, ...infer Rest] 
      ? [First, ...ExtractTuplePart<Rest>] 
      : T;

// 提取交叉类型中的数组部分
type ExtractArrayPart<T> = 
  T extends readonly [...infer _, ...infer U[]] 
    ? U[] 
    : T extends readonly any[] 
      ? T 
      : never;

// 组合工具类型：拆分交叉类型为元组和数组
type SplitArrayTuple<Arr extends readonly unknown[]> = {
  arr: ExtractArrayPart<Arr>,
  tuple: ExtractTuplePart<Arr>
};

测试验证 #

用你的示例场景验证：

// 基础元组与数组交叉
type A = number[] & [1, 2];
type SplitA = SplitArrayTuple<A>;
// 结果：{ arr: number[], tuple: [1, 2] }

// 带可选元素的开放式元组与数组交叉
type Tup = ['foo'?, ...('bar'|'quux')[]];
type Foo = SplitArrayTuple<string[] & Tup>;
// 结果：{ arr: string[], tuple: ['foo'?, ...('bar'|'quux')[]] }

type Bar = SplitArrayTuple<'quux'[] & Tup>;
// 结果：{ arr: 'quux'[], tuple: ['foo'?, ...('bar'|'quux')[]] }

原理说明 #

1. ExtractTuplePart：通过递归匹配元组的结构模式，优先识别带剩余元素的开放式元组（[...Head, ...Rest[]]），逐步保留元组的固定元素、可选元素和剩余元素声明，最终还原原始元组结构。
2. ExtractArrayPart：专门提取交叉类型中的数组部分，优先匹配元组剩余元素对应的数组类型，若没有剩余元素则直接返回原数组类型。
3. SplitArrayTuple：整合两个提取工具，返回包含元组和数组部分的对象类型，完全替代原实现的功能且无需手动传入Hint参数。

这个方案可以处理你提到的所有边缘场景：确定长度元组、可选元素、开放式元组，以及不同类型的数组交叉。

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