如何让TypeScript限制对象key只能为指定数组的元素值？

核心实现步骤 #

• 首先需要将原数组标记为常量类型，避免 TypeScript 将数组元素推断为通用的string类型
• 提取数组元素的字面量联合类型作为对象允许的 key 类型
• 给目标对象绑定上述 key 限制的类型

完整代码示例 #

// 加 as const 让 TypeScript 保留数组元素的具体字面量类型
const arr = ['foo', 'bar', 'bax'] as const;

// 提取数组元素的联合类型：'foo' | 'bar' | 'bax'
type AllowedObjKeys = typeof arr[number];

// 用 Record 限定对象的 key 必须是 AllowedObjKeys 中的值，value 为 boolean 类型
const obj: Record<AllowedObjKeys, boolean> = {
  foo: true,
  bar: true,
  bax: false,
  fax: true, // 此处 TypeScript 会直接报错："fax" 不属于允许的 key 范围
};

可选场景适配 #

如果不需要强制把数组所有元素都作为对象的 key，只要求存在的 key 必须在数组范围内，可以用Partial包裹类型定义：

// 允许对象只包含部分数组内的key，不强制全量声明
const obj: Partial<Record<AllowedObjKeys, boolean>> = {
  foo: true,
  bar: true
  // 不需要写 bax 也不会报错
};

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