将 jsdoc/typescript 类型限制为数组成员

Question

我在 jsdoc 中使用 typescript，并试图将一个变量限制为我在数组中拥有的一组已知值中的一个。

我知道我可以这样做：

/** @type {'one'|'two'|'three'} */
let v = 'four';
// ==> Error, type 'four' is not assignable to type 'one'|'two'|'three'

就我而言，我在数组附近有所需的值。为了避免重新输入，我想以某种方式引用它们，但我不知道这是否可能。我想要这样的东西：

const OPTIONS = ['one', 'two', 'three'];

/** @type {string<Options>} */
let v = 'four';
// ==> Desired -- Error, type 'four' is not assignable to type 'one'|'two'|'three'
// ==> but that doesn't actually work...

有没有办法做到这一点？

Answer 1

我认为你不能用数组来实现这一点，因为它们在运行时是可变的：

const OPTIONS = ['one', 'two', 'three'];
OPTIONS[0] = 'BOOM';

但是，您可以将数组更改为元组（元组是不可变的）：

const OPTIONS = ['one', 'two', 'three'];                
const OPTIONS_TUPLE = ['one', 'two', 'three'] as const;

比较推断类型：

// const OPTIONS: string[]
// const OPTIONS_TUPLE: readonly ["one", "two", "three"]

现在，你可以检索你想要的类型了：

const OPTIONS_TUPLE = ['one', 'two', 'three'] as const;
type OptionsValue = typeof OPTIONS_TUPLE[number];
const x: OptionsValue = 'four'; 
//TS2322: Type '"four"' is not assignable to type '"one" | "two" | "three"'.