在 typescript 中，type first = typeof arr['length'] 的 first 为什么类型是 2 而不是 number ？

Question

typescript
在 typescript 中，type first = typeof arr['length'] 的 first 为什么类型是 2 而不是 number ？

const arr: readonly [number, string] = [1, 'jack']

type first = typeof arr['length']

Answer 1

【以下回答由 GPT 生成】

这个问题是一个经典的 TypeScript 类型推断问题，其中涉及到 TypeScript 类型系统中的索引类型。

在类型声明 const arr: readonly [number, string] 中，我们定义了一个只读元组 arr，它的类型是 [number, string]。这意味着 arr 只能包含两个类型分别为 number 和 string 的元素，并且是一个只读数组。

接下来，我们定义了类型 first，它是通过索引类型操作符 [] 来获取 arr 的 length 属性的类型。在这个例子中，arr 的 length 属性是一个常数，它的值是数组的长度，也就是 2。因此，类型 first 推断为 2。

为什么不是 number 呢？这是因为 TypeScript 在这种情况下会对数字字面量进行字面量类型推断。在 TypeScript 中，数字字面量具有自己的特定类型，例如 1 的类型是 1，2 的类型是 2。所以当我们使用索引类型操作符来获取 arr 的 length 属性时，TypeScript 推断出这个属性是一个数字字面量类型，具体的值就是 2。

如果你想要将类型 first 更改为 number，可以通过使用 keyof 关键字来替代索引类型操作符，示例如下：

const arr: readonly [number, string] = [1, 'jack'];
type First = keyof typeof arr;  // "0" | "1"

在这个示例中，keyof typeof arr 是取 arr 的索引类型，它的值是 "0" | "1"，表示数组的索引位置。这样一来，类型 First 将被推断为 "0" | "1"，代表了数组的索引位置，而不是字面量类型 2。

希望这样解答能够帮助你理解为什么类型 first 是 2 而不是 number。如果有任何疑问，请随时提问。

如果你已经解决了该问题, 非常希望你能够分享一下解决方案, 写成博客, 将相关链接放在评论区, 以帮助更多的人 ^-^