如何从TypeScript字符串联合类型提取所有成员生成可遍历数组？

核心前提 #

首先明确本质：TypeScript 的所有类型定义都是纯编译期存在的，编译完成后会被完全擦除，无法在运行时直接通过类型引用拿到对应的字面量值，必须做「编译期类型」和「运行时数据」的双向绑定，否则会出现类型和运行时值脱节的问题。

推荐实现：运行时数据反向推导联合类型 #

这是TS社区通用的最佳实践，从根源避免两边不同步的问题：

1. 先定义运行时需要的常量数组，通过as const锁定所有元素的字面量类型，避免被拓宽为通用的string类型
2. 直接从这个数组推导得到你需要的联合类型，替代手动写死的联合类型定义
3. 推导出来的数组本身就是运行时可直接遍历的对象

示例代码：

// 1. 定义运行时可用的常量数组
const stringUnionValues = ["Value1", "Value2"] as const;

// 2. 从数组反向推导联合类型，和你手动写的 "Value1"|"Value2" 完全等价
type stringUnion = typeof stringUnionValues[number];

// 3. 直接按照你需要的方式遍历即可
stringUnionValues.map((current, index) => {
  // 这里的current会被自动推断为 "Value1" | "Value2" 字面量类型
})

这种方案的优势是后续不管你给数组新增、删除元素，对应的联合类型会自动同步更新，不会出现“改了类型忘了改运行时数组”的低级bug。

已有独立联合类型的适配方案 #

如果你已经提前手动定义好了type stringUnion = "Value1" | "Value2"，不想调整为反向推导的写法，可以通过类型校验逻辑强制运行时数组和联合类型完全对齐，从编译期拦截不匹配的错误：

// 已提前定义的联合类型
type stringUnion = "Value1" | "Value2";

// 工具类型：校验传入的数组是否和目标联合类型完全匹配（不多、不少、值全对）
type MatchUnionArray<T extends ReadonlyArray<unknown>, U> = 
  T extends ReadonlyArray<infer Item>
    ? Item extends U
      ? U extends Item
        ? T
        : never
      : never
    : never;

// 定义运行时数组，通过工具类型做匹配校验
const stringUnionValues: MatchUnionArray<readonly ["Value1", "Value2"], stringUnion> = ["Value1", "Value2"] as const;

// 正常遍历即可
stringUnionValues.map((current, index) => {
  // current 会被严格约束为 stringUnion 的字面量类型
})

如果数组漏了联合类型中的某个值、多了联合类型不存在的值，TS 会在编译阶段直接抛出类型错误，不会留到运行时才暴露问题。

避坑提醒 #

• 纯 TypeScript 没有原生的运行时类型反射能力，不要尝试找那种“不写运行时数据、直接从类型拿值”的方案，这类方案本质都是通过代码生成、装饰器做的隐式绑定，逻辑和上面的方案没有区别，反而会引入不必要的依赖。
• 不要定义没有类型约束的可变数组直接用，比如直接写const theArray = ["Value1", "Value2"]，这种数组的类型会被拓宽为string[]，和你需要的字面量联合类型没有任何绑定关系，后续修改值不会触发类型告警。

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