类型体操之 DeepPick 工具类型

Challenge

在本次挑战中，你需要实现一个 DeepPick 工具类型，它扩展了 TypeScript 内置工具类型 Pick 的能力。

type Obj = {
  a: number
  b: string
  c: boolean
  obj: {
    d: number
    e: string
    f: boolean
    obj2: {
      g: number
      h: string
      i: boolean
    }
  }
  obj3: {
    j: number
    k: string
    l: boolean
  }
}

type DeepPick = {}

type cases = [
  Expect,
  Expect,
  Expect,
  Expect,
  Expect,
]

在以上代码中，我们用到了 Expect 和 Equal 这两个工具类型，它们的实现代码如下：

type Expect = T
type Equal =
  (() => T extends X ? 1 : 2) extends
  (() => T extends Y ? 1 : 2) ? true : false

Solution

在开始实现 DeepPick 工具类型前，我们先来简单回顾一下 TypeScript 内置的 Pick 工具类型。

type Pick = { 
  [P in K]: T[P];
}

由上图可知，"" 和 "email" 字符串字面量类型不满足 keyof User 约束，所以 TypeScript 编译器会提示相应的错误信息。此外，Pick 工具类型还支持传入字符串字面量类型组合成的联合类型，比如 "name" | "age"。

下面我们先来分析 DeepPick 工具类型的前三个测试用例：

type Obj = {
  a: number
  b: string
  c: boolean
  // ...
}

type DeepPick = {}

type cases = [
  Expect,
  Expect,
  Expect
]

由以上测试用例可知，DeepPick 工具类型，不需要约束泛型变量 K 的类型。当传入 '' 字符串字面量类型时，只需返回 unknown 类型。而当传入的字符串字面量类型是 keyof T 类型的子类型时，则跟 Pick 工具类型的效果一样。所以，我们可以先实现一个简单的 DeepPick 来满足前面两个测试用例：

type DeepPick = K extends keyof T ? Pick : unknown

然而，第三个测试用例，需要生成 { a: number } & { b: string } 交叉类型。但我们目前返回的是 { a: number } | { b: string } 联合类型。

Pick | Pick
// { a: number } | { b: string }

那么如何把联合类型转换成交叉类型呢？这时我们需要用到 UnionToIntersection 工具类型。

type UnionToIntersection =
  (U extends any ? (k: U) => void : never) extends (
    k: infer R,
  ) => void
  ? R
  : never

type DeepPick = UnionToIntersection

使用了 UnionToIntersection 工具类型之后，DeepPick 表达式就会输出以下结果：

Pick & Pick

目前，我们实现的 DeepPick 工具类型已经可以满足前面三个测试用例。接下来，我们来分析剩下的两个测试用例。

type Obj = {
  a: number
  obj: {
    d: number
    e: string
    f: boolean
    obj2: {
      g: number
      h: string
      i: boolean
    }
  }
  // ...
}

type cases = [
  Expect,
  Expect,
]

由以上的测试用例可知，我们的 DeepPick 工具类型需要支持 "obj.e" 或 "obj.obj2.i" 属性路径的形式。对于属性路径来说，我们需要提取每一层级的属性，然后判断该属性是否是当前层级对象的属性。要提取每一层的属性，我们就需要利用到 TypeScript 条件类型、模板字面量类型和 infer 类型推断。

type GetLastProperty = S extends `${infer U}.${infer R}` ? R : S

type P0 = GetLastProperty // "e"
type P1= GetLastProperty // "obj2.i"

在以上代码中，GetLastProperty 工具类型用于获取属性路径的最后一级的属性名。但它还不能正确处理 "obj.obj2.i" 路径。要解决这个问题，我们需要用到 TypeScript 的递归类型。

type GetLastProperty = S extends `${infer U}.${infer R}` ? GetLastProperty : S

type P0 = GetLastProperty // "e"
type P1= GetLastProperty // "i"

现在我们已经知道如何处理 "obj.e" 或 "obj.obj2.i" 属性路径，接下来我们来更新 DeepPick 工具类型。

type DeepPick = UnionToIntersection

type PickByPath =
    Path extends keyof Obj
    ? Pick :
    Path extends `${infer Head}.${infer Tail}`
    ? Head extends keyof Obj ? { [P in Head]: PickByPath } : unknown
    : never

type UnionToIntersection =
    (U extends any ? (k: U) => void : never) extends (
        k: infer R,
    ) => void
    ? R
    : never

为了让代码更清晰一些，我们定义了一个新的 PickByPath 工具类型。在该工具类型中，我们用到了前面介绍过的 TypeScript 条件类型、模板字面量类型、infer 类型推断和递归类型。