TS 将类型定义为等于类型化数组的值之一

Question

假设我可以访问这样定义的类型 Keys：

type Keys = ('AA' | 'BB' | 'CC')[]

1. 如何创建一个新类型Key，使用类型Keys，使这个新类型等于：

type Key = 'AA' | 'BB' | 'CC'

请注意，我不能从字面上指定允许的值（AA、BB 等），我只有 Keys 类型可供使用。

Answer 1

您可以使用indexed type query：

type Keys = ('AA' | 'BB' | 'CC')[]
type Key = Keys[number]

Playground Link