TypeScript中的类型化数组到文字类型

Question

typed 字符串数组如何根据实际值用作 literal 类型的联合？在高层次上，我有一个像 ['hello', 'world'] 这样的类型化数组，我想从中推断出一种新类型的 'hello' | 'world'。

const someArray: Readonly<Array<string>> = ['hello', 'world'] as const;
type SomeType = typeof someArray[number]; // string

SomeType 现在将被推断为string 而不是联合。如何推断文字类型的联合？

这个问题与TypeScript array to string literal type 非常相似，不同之处在于数组是typed。我无法删除它。下面的代码可以工作，但someArray 实际上输入为Array<string>。

const someArray = ['hello', 'world'] as const;
type SomeType = typeof someArray[number]; // 'hello' | 'world'

有没有办法相应地缩小推断类型？

edit：这个例子显然被简化了。我使用需要一组对象的第三方库。这些是由第三方键入的，如果不失去类型支持，我无法更改它。我意识到它可以在没有类型的情况下工作，但我无法真正删除它。

Answer 1

您无法让 TypeScript 推断出与明确告知的内容直接矛盾的内容 (Readonly<Array<string>>)。那种类型注解赢得了胜利。

正如您所指出的，修复方法是删除类型注释。但你说过你不能那样做。

由于您无法删除类型注释 - 例如，数组是由您无法控制的代码定义的 - 那么您别无选择，只能复制类型中的可能值列表，当原始更改并且您不更新副本时，这会使您面临维护问题。为了缓解这种情况，您可以添加运行时检查来处理原始更改导致它们不再匹配的情况：

const duplicatedArray = ['hello', 'world'] as const;
type SomeType = typeof duplicatedArray[number]; // 'hello' | 'world'
if ( someArray.length !== duplicatedArray.length ||
     someArray.some((e, i) => e !== duplicatedArray[i])) {
    throw new Error(`'someArray' and 'duplicatedArray' no longer match`);
}

（其中的运行时部分可能在自动化测试中，而不是在主代码中。）

非常可以说是第二或第三的解决方案，但如果你别无选择，至少也可以。