如何在TypeScript中约束数组值为指定字符串子集？

当然可以在TypeScript中约束数组元素为特定的字符串子集！咱们来梳理下你的问题，再给出几种靠谱的解决方案。

首先得指出你之前尝试里的小问题：你写的枚举enum allowedValues {'x','y'}其实是数字枚举，默认情况下枚举成员的值会是0、1这类数字，而非你想要的字符串'x'/'y'，所以直接用allowedValues[]会得到数字数组，这肯定不是你要的。另外keyof allowedValues得到的是枚举的键名（也就是"x" | "y"），但这是单个值的类型，不是数组类型，所以也不对。

方案1：修正枚举类型，使用枚举成员数组 #

先把枚举改成字符串枚举，让每个成员的值对应你需要的字符串：

// 修正后的字符串枚举
enum allowedValues {
  x = 'x',
  y = 'y'
}

export interface X {
  evaluation: allowedValues[]; // 现在数组元素只能是 allowedValues.x 或 allowedValues.y
}

这种方式的好处是，你既可以通过枚举名引用这些值（比如allowedValues.x），又能让TypeScript严格检查数组元素的合法性——如果尝试加入'z'这类不在枚举里的值，TS会直接报错。

方案2：直接使用字符串字面量联合类型数组 #

如果不需要枚举的其他功能（比如在代码中通过枚举名引用值），直接用字面量联合类型更简洁：

export interface X {
  evaluation: ('x' | 'y')[];
}

这种方式直接明了，不需要额外定义枚举，同样能约束数组只能包含'x'或'y'。

方案3：使用类型别名复用约束 #

如果这个字符串子集需要在多个地方复用，可以定义一个类型别名，方便后续维护：

// 定义可复用的类型别名
type AllowedValue = 'x' | 'y';

export interface X {
  evaluation: AllowedValue[];
}

后续如果需要修改允许的值，只需要调整AllowedValue这一处即可，不用在多个地方逐一修改。

你可以验证一下：比如尝试写const obj: X = { evaluation: ['x', 'z'] }，TypeScript会立刻提示'z'不符合类型要求，说明约束已经生效啦。

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