TypeScript类数组与对应联合类型同步定义方案及索引机制解析

要彻底消除重复录入，不需要手动拆分类型元组和常量数组，仅保留一处手动维护的源定义即可同步生成运行时类数组与编译期联合类型，全程只需两步：

• 定义带const断言的类引用常量数组，这是唯一需要手动调整的内容（新增/删除类仅需修改数组元素）：

// 唯一需要手动维护的源
const unionTypes = [GQLDualTaskState, GQLNumericTaskState] as const;

• 基于常量数组的类型自动推导生成目标联合类型，不需要手动重复录入类名：

// 自动同步生成联合类型，无需手动维护
type UnionType = (typeof unionTypes)[number];

这个实现完全替代了之前需要单独手写类型元组type UnionTypeDef = [xxx, yyy]、单独手写联合类型的重复工作，每次调整数组内容，联合类型会自动同步更新，从根源上避免双处修改的错漏。

• 不加const断言的普通数组定义，TS会将其推导为宽松的可变数组类型：(typeof GQLDualTaskState | typeof GQLNumericTaskState)[]。这种类型下数组是允许动态增删元素的，类型和实际运行时内容没有强绑定，后续如果代码逻辑中给数组push了新的类，类型层面不会感知到变化，极易出现类型和实际运行值不一致的问题。
• 加上as const常量断言后，TS会对数组类型做三层收紧：
  • 把可变数组自动推导为只读、固定长度的精确元组，每个索引位置的元素类型和实际写入的类引用完全匹配，没有类型放宽
  • 从类型层面禁止对数组做增、删、修改元素的操作，保证运行时的数组内容和类型定义完全一致
  • 这个精确的元组类型是TS从常量数组定义中自动推导的，完全不需要手动单独书写类型定义

这种写法本质是TS索引访问类型的常规用法，和你已经了解的Class['property']语法没有本质区别，逻辑和JS的属性取值规则完全一致，没有特殊魔法：

• 对于任意类型，只要写出Type[IndexType]语法，TS就会返回该类型在对应索引位置的取值类型。比如对象类型User { name: string; age: number }，写User['name']就会得到string类型，和JS中user.name的取值逻辑完全对应。
• 元组类型在TS的类型系统里，本质是一组带固定数字键的特殊对象。比如长度为2的元组[string, number]，在类型层面的结构等价于：

  {
    0: string;
    1: number;
    length: 2;
    // 元组内置的迭代、截取等方法对应的类型
  }
  

• 当你用number作为索引类型去访问元组时，相当于告诉TS：“收集这个类型下所有数字键对应的取值类型”。因为元组的键是从0开始的连续数字字面量，所以所有数字键对应的取值，就是元组每一个位置的元素类型，把这些类型收集起来取并集，自然就生成了对应的元素联合类型。

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