如何基于字符串数组生成的联合类型创建同步的可辨识联合类型并限制类型字段取值？

当然可行！而且TypeScript的类型系统正好提供了完美的工具来实现这种强同步的可辨识联合类型——既不用手动重复定义每个分支，还能保证和你的types数组严格对齐，完全满足你不使用接口/类的需求。

具体实现步骤 #

首先，保留你已经定义好的常量数组和基础联合类型：

const types = ['AAA', 'BBB'] as const;
type myType = typeof types[number]; // 类型为 'AAA' | 'BBB'

接下来，我们用映射类型来自动生成每个可辨识联合分支，同时强制关联myType的取值：

1. 先定义每个类型对应的专属属性结构：

// 这里的key必须严格对应myType的成员，否则会编译报错
type TypeSpecificProps = {
  AAA: {
    aaaExclusiveProp: string;
    anotherAAAProp: boolean;
  };
  BBB: {
    bbbExclusiveProp: number;
  };
};

2. 通过映射类型生成完整的可辨识联合类型：

type typeAorB = {
  // 遍历myType的每个成员K
  [K in myType]: {
    // 自动添加type字段，值为当前的字面量类型K
    type: K;
    // 合并对应K的专属属性
  } & TypeSpecificProps[K];
}[myType]; // 把映射结果转为联合类型

此时typeAorB的最终类型就是：

type typeAorB = 
  | { type: 'AAA'; aaaExclusiveProp: string; anotherAAAProp: boolean; }
  | { type: 'BBB'; bbbExclusiveProp: number; };

核心优势：自动同步与强约束 #

• 强制同步：如果后续你修改了types数组（比如新增'CCC'），myType会自动更新为'AAA' | 'BBB' | 'CCC'，此时TypeScript会直接报错，要求你在TypeSpecificProps中补充CCC对应的属性定义——从根源上避免了type字段和数组取值不一致的问题。
• 减少重复代码：不用手动编写typeAAA、typeBBB这类重复的类型别名，所有分支由映射类型自动生成。
• 完美适配数据校验：因为typeAorB的type字段严格限定为myType的成员，你可以直接基于types数组做校验逻辑（比如你提到的伪代码oneOf<myType>），比如用校验库时可以直接传入types作为枚举选项，保证校验规则和类型定义完全一致。

简化场景说明 #

如果你不需要每个分支有专属属性，只是想生成仅包含type字段的可辨识联合，也可以简化成：

type typeAorB = { type: myType };

不过这种场景下直接使用{ type: myType }就足够，前面的映射方案更适合需要扩展专属属性的复杂场景。

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