如何从不同长度的元组联合类型中提取末尾元素及其类型？

首先明确问题根源：当你使用arg.length-n这种动态索引访问联合元组时，TypeScript会把索引当成所有元组length-n的联合值，然后取每个元组对应该索引位置的类型做联合，而不会智能关联到每个元组自身的末尾位置。比如arg[arg.length-2]对应的索引是1|2|3，TS会把T1[1]、T2[2]、T3[3]之外的其他索引类型也混进来，导致类型推断混乱。

下面提供两种实用的解决方法：

方法一：类型工具提取末尾元素类型+类型断言 #

先定义一个类型工具，专门提取元组的最后两个元素类型：

type LastTwo<T extends unknown[]> = T extends [...infer _, infer SecondLast, infer Last] ? [SecondLast, Last] : never;

这个工具会匹配任意元组，忽略前面的所有元素，只保留最后两个的类型。

然后在函数里用类型断言明确指定每个元素的类型——因为你已经确定所有元组的末尾两个元素都是string和number[]，这种断言是安全的：

type T1 = [number, string, number[]];
type T2 = [number, number, string, number[]];
type T3 = [number, number, number, string, number[]];

function getLastTwo(arg: T1 | T2 | T3): [string, number[]] {
  return [
    arg[arg.length - 2] as string,
    arg[arg.length - 1] as number[]
  ];
}

方法二：泛型约束+类型安全提取 #

如果想避免手动断言，可以用泛型约束让TypeScript提前知道输入元组一定以[string, number[]]结尾：

// 定义约束：元组必须以string和number[]结尾
type EndsWithTarget<T extends unknown[]> = T extends [...infer _, string, number[]] ? T : never;

function getLastTwo<T extends EndsWithTarget<T>>(arg: T): [string, number[]] {
  // 用slice提取后两个元素，再断言为目标类型（约束已保证类型正确）
  return arg.slice(-2) as [string, number[]];
}

这种方式更安全，编译期会自动校验输入的元组是否符合结尾要求，同时TS能正确识别返回值类型。

额外说明：为什么slice/pop也不行？ #

slice(-n)返回的是unknown[]（或联合元组的元素类型数组），因为TS无法推断切片后的数组是固定长度的元组；pop()只能提取最后一个元素，但同样会因为联合元组的特性，返回类型是所有元组最后一个元素的联合（即便这里都是number[]，TS也不会自动收缩类型）。上面的方法通过类型工具或泛型约束，明确告诉TS我们要提取的是固定结构的末尾元素，从而解决推断问题。

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