如何用TypeScript声明仅含特定无重复元素的数组类型？

需求：声明一个数组类型，最多可包含'first'、'second'、'third'这几个字符串各一次，要求如下：

有效示例： #

• []
• [ 'first' ]
• [ 'first', 'second' ]
• [ 'first', 'second', 'third' ]
• [ 'first', 'third' ]
• [ 'second', 'third' ]

无效示例： #

• [ 'other-value' ] // 不接受其他值
• [ 'first', 'first' ] // 不接受重复值

最初编写的代码：

export enum MyOptions {
  first = 'first',
  second = 'second',
  third = 'third'
}

export type MyType = {
  name: string;
  email: string;
  listings: {
   MyOptions;
  }[];
};

出现警告：Member 'MyOptions' implicitly has an 'any' type, but a better type may be inferred from usage

修改后的代码：

export type MyType = {
  name: string;
  email: string;
  listings: {
   options: MyOptions;
  }[];
};

无警告，但多了不必要的options字段，寻求解决办法。

你需要的是直接包含枚举值的无重复数组，不需要嵌套对象。这里提供两种实现方式：

方式一：手动枚举所有有效数组组合（最严格） #

因为可选元素只有3个，所有可能的不重复组合数量有限，直接枚举所有合法数组类型，编译时就能严格校验：

export enum MyOptions {
  first = 'first',
  second = 'second',
  third = 'third'
}

// 定义所有合法的无重复数组类型
type MyOptionsArray = 
  | []
  | [MyOptions.first]
  | [MyOptions.second]
  | [MyOptions.third]
  | [MyOptions.first, MyOptions.second]
  | [MyOptions.first, MyOptions.third]
  | [MyOptions.second, MyOptions.first]
  | [MyOptions.second, MyOptions.third]
  | [MyOptions.third, MyOptions.first]
  | [MyOptions.third, MyOptions.second]
  | [MyOptions.first, MyOptions.second, MyOptions.third]
  | [MyOptions.first, MyOptions.third, MyOptions.second]
  | [MyOptions.second, MyOptions.first, MyOptions.third]
  | [MyOptions.second, MyOptions.third, MyOptions.first]
  | [MyOptions.third, MyOptions.first, MyOptions.second]
  | [MyOptions.third, MyOptions.second, MyOptions.first];

export type MyType = {
  name: string;
  email: string;
  listings: MyOptionsArray;
};

这种方式能完全满足需求：不允许重复元素、只接受指定枚举值、支持任意顺序的合法子集。

方式二：用工具类型约束唯一数组（更灵活） #

如果后续可能扩展枚举元素，手动枚举太繁琐，可以用工具类型实现唯一数组的约束：

export enum MyOptions {
  first = 'first',
  second = 'second',
  third = 'third'
}

// 工具类型：检查数组元素是否唯一
type UniqueArray<T> = T extends readonly [infer First, ...infer Rest]
  ? First extends Rest[number]
    ? never // 存在重复元素时返回never，触发类型错误
    : readonly [First, ...UniqueArray<Rest>]
  : T;

export type MyType = {
  name: string;
  email: string;
  listings: UniqueArray<MyOptions[]>;
};

注意：这种方式在某些场景下可能需要使用类型断言，且对复杂数组的校验精度略低于手动枚举，但胜在扩展性强。

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