给出一个打字文本元组，例如:
const arr = [1, 2] as const;
我们在索引时进行静态类型判断:
console.log(arr[1]);
很好，但是
console.log(arr[2]);
以下方面的错误:
长度为"%2"的元组类型"Readonly[1，2]"在索引"%2"处没有元素.ts(2493)
这太棒了.
我想将一个常量声明为该元组的索引类型，以便可以分配给该常量的内容遵循相同的约束(0 | 1).
我试过这个:
const index: keyof typeof arr = 2 as const;
console.log(arr[index]);
但Typescript 没有显示任何错误.我怀疑index是number，这太宽了.
是的，不管出于什么原因，元组索引都是数字字符串literal types，如"0"和"1"，而不是对应的numeric文字类型，如0和1.还有number和index signature，所以keyof ["a", "b"]等于number | "0" | "1" | ....这意味着只要使用keyof，你就可以分配任何数字.
如果要计算数字文字，可以使用template literal types来计算，至少在TypeScrip 4.8和更高版本中是这样:
type TupleIndices<T extends readonly any[]> =
Extract<keyof T, `${number}`> extends `${infer N extends number}` ? N : never;
首先，通过对可被解析为数字的所有字符串的集合`${number}`进行过滤，来从完整密钥集合中I Extract数字字符串文字类型.这就消除了number本身(它不是字符串)以及"length"和"slice"以及其他数组成员.所以我们有"0" | "1" | "2" | ...个.然后，我使用TypeScrip 4.8中引入的the improved infer types将这些字符串文字转换为数字文字.
这就给了你这个:
const arr = [1, 2] as const;
type ArrIndices = TupleIndices<typeof arr>;
// type ArrIndices = 0 | 1
type Also = TupleIndices<[9, 9, 9, 9, 9, 9, 9, 9, 9, 9]>;
// type Also = 0 | 1 | 2 | 9 | 3 | 4 | 5 | 6 | 7 | 8