主页 / 问题 / 1375991
Accepted
doox911
Asked:2022-06-28 16:15:11 +0800 CST2022-06-28 16:15:11 +0800 CST

Pop 类型的工作原理

  • 772
type Pop<T extends any[]> = T extends [...infer I, infer _] ? I : never

这是type-challenge中类型的推荐解决方案。Pop

同样有效的解决方案：

type Pop<T extends any[]> = T extends [...infer U, ...[unknown]] 
  ? U 
  : never

type Pop<T extends any[]> = T extends [...infer U, unknown] 
  ? U 
  : never

如果我们需要删除更多类型，我们只需添加：

type Pop<T extends any[]> = T extends [...infer U, ...[unknown, unknown]] 
  ? U 
  : never

Pop<[1,2,3,4,5]> // [1,2,3]

如果你在没有条件类型的情况下编写相同的东西，你会得到一个常规的合并：

type Merge<T extends any[], K extends any[]>  = [...T, ...K]

type m = Merge<[1,2,3], [1,unknown,unknown]>
//   ^? [1,2,3,1,unknown,unknown]

这个怎么运作？

typescript

1 个回答

  1. Best Answer

    类型Pop

    type Pop<T extends any[]> = T extends [...infer I, infer _] ? I : never

    工作原理

    • 类型I是根据类型自动从上下文中推断出来的T；
    • 类型_是根据类型自动从上下文中推断出来的T；
    • T extends [...infer I, infer _]- 在方括号中 - 解构。
    • 如果左侧可以与右侧匹配，则返回截断的类型元组，否则返回never。

    例子：

    Pop<[1,2,3]> // [1,2]

    解析：

    • 作为解构的结果，类型I将具有[1,2]，而类型_将具有3;
    • 我们得到条件类型: [1,2,3] extends [1,2,3] ? [1,2] : never, where 1,2-> ...[1,2]-> ...infer I;
    • 由于我们[1,2,3]可以匹配[1,2,3]，我们返回 的类型I，即 [1,2].

    非常感谢@Grundy的详细解释。

    • 1

相关问题