TypeScript元组类型解构时如何保留标签定义组合元组

以下代码会触发类型校验错误：

type labels = [a: number, b: string]
type spread = [...labels] // 正常，完整保留a、b成员标签
type combined = [c: boolean, ...labels]
// 抛出错误：元组类型的所有成员必须全部命名或全部不命名

报错时combined会被TS识别为[c: boolean, number, string]，原labels中定义的a、b标签会被擦除。

这是TypeScript具名元组的固有设计限制：

• 单独展开元组不会丢失标签，因此[...labels]可正常保留原有标签
• 在待展开元组的前方新增带标签的成员时，TS不会自动透传被展开元组的原有标签，会判定展开位置的成员为未命名状态，和前方已命名成员冲突，触发校验错误
• 仅在展开元组前方插入成员会触发该问题，在尾部追加成员时直接展开无异常，比如type tailAppend = [...labels, c: boolean]可正常保留全部标签。

根据使用场景选择对应写法即可：

• 元组结构固定、不需要复用labels类型定义时，直接手动对齐所有位置的标签，写法最简洁：

  type combined = [c: boolean, a: number, b: string]
  

• 需要复用labels类型定义、自动跟随原标签变动时，通过映射类型实现通用的前置拼接辅助类型，自动透传所有标签：

  // 元组前置拼接辅助类型，自动保留入参元组的所有具名标签
  type PrependTuple<Prefix extends readonly any[], T extends readonly any[]> = {
    [K in keyof (Prefix & T)]: K extends keyof Prefix
      ? Prefix[K]
      : K extends keyof T
        ? T[K]
        : never
  } extends infer Res ? { [K in keyof Res]: Res[K] } : never
  
  // 调用示例
  type labels = [a: number, b: string]
  type combined = PrependTuple<[c: boolean], labels>
  // 类型推导结果为 [c: boolean, a: number, b: string]，无校验错误，所有标签完整保留
  

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