如何基于数组内容为对象设置严格的JSDoc键类型？

要实现基于数组元素约束对象键的类型，核心是让IDE识别数组元素的字面量联合类型，而非宽泛的string类型，具体实现步骤如下：

1. 给数组添加as const断言，锁定元素为字面量类型
   普通数组会被默认推断为string[]，添加as const后，keys的类型会变为只读的readonly ['x', 'y', 'z']，元素被识别为具体的字符串字面量，而非通用string。

2. 通过JSDoc定义KeyType为数组元素的联合类型
   使用typeof keys[number]可以提取数组所有元素的类型，生成'x' | 'y' | 'z'的联合类型。

3. 用KeyType约束对象的键类型

完整代码示例：

const keys = ['x', 'y', 'z'] as const;
/** @typedef {typeof keys[number]} KeyType */
/** @type {{[key in KeyType]?: number}} */
const obj = {};

for(const k of keys){
  obj[k] = Math.random(); // 合法操作，无警告
}
obj['foo'] = 3; // IDE会触发类型错误警告

原写法无效的原因 #

你之前用/** @enum {string} */标注数组是错误用法——@enum仅适用于对象，而非数组。普通数组默认被推断为string[]，导致keys的类型是通用string，自然无法约束对象键的范围。

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