如何使用 Typescript 创建常量数组的联合类型索引？

Question

我有一个常量字符串数组，例如

const emojis = ['????', '????', '????', '????', '????'] as const

我想要一个包含该数组索引联合的类型，例如

type emojiIndexes = IndexesOfArray<typeof emojis> // => 0 | 1 | 2 | 3 | 4

所以我不允许使用 number 并且只使用数组中索引的确切数量

如果数组大小例如

// changed from this
// const emojis = ['????', '????', '????', '????', '????'] as const
// to this 
const emojis = ['????', '????', '????'] as const // removed 2 emojis

比，IndexesOfArray<typeof emojis> 将是 0 | 1 | 2

我如何创建IndexesOfArray 来创建具有常量数组索引的联合类型？

Answer 1

您可以通过从参数类型中排除所有空数组键来做到这一点，因此您最终得到的只是索引的联合：

type IndexesOfArray<A> = Exclude<keyof A, keyof []>

const emojis = ['?', '?', '?', '?', '?'] as const

type emojiIndexes = IndexesOfArray<typeof emojis> // => '0' | '1' | '2' | '3' | '4'

索引是字符串而不是数字，但这不会导致任何问题。如果确实需要数字，可以使用递归条件类型来生成它们，但这会导致 TypeScript 的递归深度出现问题。或者，您可以使用稍微有点 hacky 的硬编码数组和索引来获取数字：

type ToNum = [0,1,2,3,4,5,6,7] // add as many as necessary

type emojiNumIndexes = ToNum[IndexesOfArray<typeof emojis>] // => 0 | 1 | 2 | 3 | 4

TypeScript playground

Answer 2

这是一个解决方案：

type TupleIndices<A extends any[]>
    = A extends [any, ...infer T]
    ? TupleIndices<T> | T['length']
    : never

例子：

type Foo = ['foo', 'bar', 'baz', 'qux', 'quz']

// 0 | 4 | 3 | 2 | 1
type FooIndices = TupleIndices<Foo>

Playground Link