你知道如何获取 T0 数组类型中元素的类型和 T1 函数类型中的返回值类型么?给你 3 秒钟的时间思考一下。,要实现上述的功能，我们可以使用 TypeScript 提供的类型模式匹配技术 —— 条件类型 + infer。条件类型允许我们检测两种类型之间的关系，通过条件类型我们就可以判断两种类型是否相兼容。而 infer 用于声明类型变量，以存储在模式匹配过程中所捕获的类型。,下面我们来看一下如何捕获 T0 数组类型中元素的类型：,在以上代码中，T extends (infer U)[] ? U : T 是条件类型的语法，而 extends 子句中的 infer U 引入了一个新的类型变量 U，用于存储被推断的类型。,为了便于大家的理解，我们来演示一下 UnpackedArray 工具类型的执行流程。,需要注意的是，infer 只能在条件类型的 extends 子句中使用，同时 infer 声明的类型变量只在条件类型的 true 分支中可用。,了解完这些知识之后，我们来看一下如何获取 T1 函数类型的返回值类型：,看完 UnpackedFn 工具类型的实现，是不是觉得挺简单的。当遇到函数重载的场景，TypeScript 将使用最后一个调用签名进行类型推断：,如果你对 TypeScript 的条件类型还不了解的话，建议观看 “用了 TS 条件类型，同事直呼 YYDS” 这篇文章。在该篇文章中，我们介绍了条件链，利用条件链我们可以实现功能更加强大的 Unpacked 工具类型。,在以上代码中，Unpacked 工具类型利用了条件类型和条件链，轻松实现了推断出数组类型中元素的类型、函数类型返回值的类型和 Promise 类型中返回值的类型的功能。,其实，利用条件类型和 infer，我们还可以推断出对象类型中键的类型。接下来，我们来举个具体的例子：,在 PropertyType 工具类型中，我们通过 infer 声明了两个类型变量 U 和 R，分别表示对象类型中 id 和 name 属性的类型。若类型匹配，我们就会以元组的形式返回 id 和 name 属性的类型。,那么现在问题来了，在 PropertyType 工具类型中，如果只声明一个类型变量 U，那结果又会是怎样呢?下面我们来验证一下：,由以上代码可知，U4 类型返回的是 string 和 number 类型组合成的联合类型。为什么会返回这样的结果呢?这是因为在协变位置上，若同一个类型变量存在多个候选者，则最终的类型将被推断为联合类型。,然而，在逆变位置上，若同一个类型变量存在多个候选者，则最终的类型将被推断为交叉类型。同样，我们来实际验证一下：,在以上代码中，U5 类型返回的是 string 和 number 类型组合成的交叉类型，即最终的类型是 never 类型。,看完本文之后，相信你已经了解条件类型和 infer 的作用了。那么你能看懂 UnionToIntersection 这个工具类型的具体实现么?,
© 版权声明
文章版权归作者所有，未经允许请勿转载。
">