为何TypeScript中`typeof 数组[number]`写法是合法的？

问题背景 #

在TypeScript中，针对接口我们可以通过特定键类型访问属性，例如：

interface AB {
  a: number;
  b: boolean;
}

type PropertiesByString = AB[keyof AB & string];

这里keyof AB & string等价于"a" | "b"，都是接口的合法键，写法符合预期。但同样的逻辑套用到数组上时，却出现了看似“不合理”的情况：

const MyArray = [
  { name: "Alice", age: 15 },
  { name: "Bob", age: 23 },
  { name: "Eve", age: 38 },
];
 
type Person = typeof MyArray[number];

这段代码完全合法，但number类型包含了4及更大的、超出数组实际有效下标的数值，为什么TypeScript允许这种写法？

核心原因解析 #

1. 数组类型的索引签名设计 #

在TypeScript的类型系统中，数组类型（包括字面量推导的数组类型）默认带有number类型的索引签名，本质上可以被看作是{ [index: number]: T }的结构（T为数组元素类型）。当你用number去索引数组类型时，TypeScript直接返回签名对应的元素类型T，不会在类型层面校验这个数字是否是数组的实际有效下标——这是类型层面的抽象，而非运行时的具体值检查。

2. 接口与数组的索引逻辑差异 #

接口的keyof操作返回的是具体键名的联合类型，和string交叉是为了过滤非字符串类型的键（比如symbol）；但数组的类型设计是把所有合法索引统一抽象为number类型，TypeScript不会去枚举数组的实际下标（比如例子中的0 | 1 | 2），而是直接用number代表所有可能的数组索引，以此简化元素类型的获取方式。

3. 类型系统的设计意图 #

TypeScript这么做是为了提升开发效率：开发者不需要手动枚举数组的所有下标来获取元素类型，直接用typeof MyArray[number]就能快速得到数组元素的统一类型。虽然运行时超出范围的数组索引会返回undefined，但类型系统只关注合法索引对应的元素类型，不会处理运行时的边界情况。

内容的提问来源于stack exchange，提问作者NeoZoom.lua