TypeScript中如何将联合类型转换为元组类型？

可以实现，但存在使用限制：TypeScript 类型系统中的联合类型属于无序集合，不会保留定义时的书写顺序，因此不存在官方支持的、100%稳定可靠的通用转换泛型，仅针对固定的、由字符串/数字字面量组成的小规模联合，可以实现需求。

方案1：手动定义+类型校验（生产环境推荐） #

最稳妥的实现方式，完全可控元组顺序，还可以通过泛型校验元组和联合的匹配性，避免漏写/多写元素：

// 原联合类型
type Union = 'a' | 'b' | 'c'

// 元组校验泛型：只有元组元素和联合类型完全匹配时才返回元组类型，否则返回never
type ValidateTuple<T extends any[], U> = 
  T[number] extends U 
    ? U extends T[number] 
      ? T 
      : never 
    : never

// 生成目标元组
type TargetTuple = ValidateTuple<['a', 'b', 'c'], Union>
// 校验通过返回：['a', 'b', 'c']
// 如果写错如：ValidateTuple<['a', 'b'], Union> 会返回never提示错误

方案2：自动转换泛型（仅用于测试/非生产场景） #

可以通过类型体操实现联合自动转元组，该方案依赖TypeScript内部的联合类型处理规则，不同TS版本返回的元组顺序可能和联合定义顺序不一致，生产环境不推荐使用：

// 工具泛型实现
type UnionToIntersection<U> = 
  (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) 
    ? I 
    : never
type LastOfUnion<U> = 
  UnionToIntersection<U extends any ? () => U : never> extends () => infer R 
    ? R 
    : never
type Push<T extends any[], V> = [...T, V]
type UnionToTuple<U, Res extends any[] = [], Last = LastOfUnion<U>> = 
  [U] extends [never] 
    ? Res 
    : UnionToTuple<Exclude<U, Last>, Push<Res, Last>>

// 测试
type Union = 'a' | 'b' | 'c'
type TargetTuple = UnionToTuple<Union>
// 输出：['a', 'b', 'c']（顺序由TS内部规则决定，不保证完全匹配定义顺序）

最佳实践建议 #

如果需要元组和联合类型严格对应，推荐先定义元组，再从元组推导联合类型，完全规避顺序不一致的问题：

// 先定义固定顺序的元组
const targetTuple = ['a', 'b', 'c'] as const
// 自动推导联合类型
type Union = typeof targetTuple[number]
// 输出：'a' | 'b' | 'c'

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