索引访问类型

我们可以使用索引访问类型在另一个类型上查找特定的属性：

ts
type Person = { age: number; name: string; alive: boolean };
type Age = Person["age"];
//   ^?

索引类型本身就是一种类型，因此我们可以使用联合类型、keyof 或其他完全不同的类型：

ts
type Person = { age: number; name: string; alive: boolean };
// ---cut---
type I1 = Person["age" | "name"];
//   ^?
type I2 = Person[keyof Person];
//   ^?
type AliveOrName = "alive" | "name";
type I3 = Person[AliveOrName];
//   ^?

如果你尝试索引不存在的属性，会看到一个错误：

ts
// @errors: 2339
type Person = { age: number; name: string; alive: boolean };
// ---cut---
type I1 = Person["alve"];

使用任意类型进行索引的另一个示例是使用 number 来获取数组元素的类型。我们可以将其与 typeof 结合使用，方便地捕获数组字面量的元素类型：

ts
const MyArray = [
  { name: "Alice", age: 15 },
  { name: "Bob", age: 23 },
  { name: "Eve", age: 38 },
];
type Person = typeof MyArray[number];
//   ^?
type Age = typeof MyArray[number]["age"];
//   ^?
// 或者
type Age2 = Person["age"];
//   ^?

在进行索引时，你只能使用类型，这意味着不能使用 const 来进行变量引用：

ts
// @errors: 2538 2749
type Person = { age: number; name: string; alive: boolean };
// ---cut---
const key = "age";
type Age = Person[key];

但是，你可以使用类型别名来进行类似的重构：

ts
type Person = { age: number; name: string; alive: boolean };
// ---cut---
type key = "age";
type Age = Person[key];