TypeScript 索引类型

下面是一个常见的 JavaScript 函数，实现从一个对象中选取指定属性，得到它们的属性值：

function pluck(o, names) {
  return names.map(n => o[n])
}

实现这样一个函数的类型定义要满足：

• 数组参数 names 中的元素，只能是对象 o 身上有的属性。
• 返回类型取决于参数 o 身上属性值的类型。

我们可以通过索引类型实现这样的类型定义。

1. 慕课解释

索引类型可以让 TypeScript 编译器覆盖检测到使用了动态属性名的代码。

要理解抽象的索引类型，需要先理解索引类型查询操作符（keyof）和索引访问操作符（T[K]）。

2. 索引类型查询操作符 - keyof

keyof 可以获取对象的可访问索引字符串字面量类型。

interface User {
  id: number,
  phone: string,
  nickname: string,
  readonly department: string,
}

class Token{
  private secret: string | undefined
  public accessExp: number = 60 * 60
  public refreshExp: number = 60 * 60 * 24 * 30 * 3
}

let user: keyof User // let user: "id" | "phone" | "nickname" | "department"
type token = keyof Token // type token = "accessExp" | "refreshExp"

代码解释：

倒数第二行，通过 let user: keyof User 得到了等价的 let user: "id" | "phone" | "nickname" | "department"。

最后一行，通过 type token = keyof Token 得到了等价的 type token = "accessExp" | "refreshExp"，注意这里没有 secret。

可以看到对于任何类型 T， keyof T 的结果为 T 上已知的公共属性名的联合。

3. 索引访问操作符 - T[K]

通过 keyof 拿到了属性名，接下来还要拿到属性名对应属性值的类型。

还是以上面的 Token 类为例：

class Token{
  public secret: string = 'ixeFoe3x.2doa'
  public accessExp: number = 60 * 60
  public refreshExp: number = 60 * 60 * 24 * 30 * 3
}

type token = keyof Token
type valueType = Token[token] // type valueType = string | number
type secret = Token['secret'] // type secret = string

代码解释：

通过 Token['secret'] 拿到了属性 secret 的类型为 string。

那么这时，我们知道了一个对象的类型为泛型 T，这个对象的属性类型 K 只需要满足 K extends keyof T，即可得到这个属性值的类型为 T[K]。

理解了上面这段话，即可定义下面这个函数：

function getProperty<T, K extends keyof T>(o: T, name: K): T[K] {
  return o[name]; // o[name] is of type T[K]
}

代码解释： 已知参数 o 的类型为 T，参数 name 的类型 K 满足 K extends keyof T，那么返回值的类型即为 T[K]。

4. 函数 pluck() 的类型定义

掌握了 keyof 和 T[K]，下面来完整的书写前言中的函数 pluck() :