TypeScript用带标签元组实现重载时如何保留元素标签？

1. FilterType 剥离元组标签的原因与修复方案 #

TypeScript 中元组的元素标签是依附于元组整体结构的元数据，不属于单个元素的类型属性。常规的 FilterType 通用过滤工具通常是通过递归遍历元组、逐元素判断类型后重新组装新元组，这个过程中 TypeScript 不会主动传递原元组的标签信息，最终生成的新元组自然会丢失所有标签。
现有方案下没有通用的修复方法，因为通用过滤逻辑本身就是在生成全新的元组结构，只能针对你当前的场景定制过滤逻辑，直接构造固定长度的带标签元组而非使用通用过滤。

2. 更简单的实现方案 #

完全不需要通过过滤never+自定义类型工具的复杂方案，直接枚举三种合法的带标签元组做联合，作为剩余参数的类型即可，天然保留参数标签，且完全符合你的传参要求：

// 定义三种合法的参数形态，参数标签完全保留
type RestParams = 
  | [params: unknown[]]
  | [params: unknown[], flag: boolean]
  | [flag: boolean]

// 函数定义，前两个参数可根据你的实际需求调整
function targetFunc(arg1: number, arg2: string, ...rest: RestParams) {
  // 参数收窄逻辑示例
  if (rest.length === 1) {
    const [p] = rest
    if (typeof p === 'boolean') {
      // 仅传入boolean类型第三参数的逻辑
    } else {
      // 仅传入unknown[]类型第三参数的逻辑
    }
  } else {
    const [params, flag] = rest
    // 同时传入两个参数的逻辑
  }
}

你可以直接验证调用效果：

targetFunc(1, 'test', [1, '2']) // 合法
targetFunc(1, 'test', [1, '2'], false) // 合法
targetFunc(1, 'test', true) // 合法
targetFunc(1, 'test', 123) // 类型报错，不符合任意一种参数形态

该方案和原有函数重载的效果完全一致，代码更简洁，无需维护额外的自定义类型工具，也不会丢失参数标签。

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