觉得 typescript 阮一峰 泛型有点难想系统學习 typescript 阮一峰 泛型相关知识的小伙伴们看过来，本文从八个方面入手全方位带你一步步学习 typescript 阮一峰 中泛型，详细的内容大纲请看下图：

软件工程中我们不仅要创建一致的定义良好的 API，同时也要考虑可重用性 组件不仅能够支持当前的数据类型，同时也能支持未来的数据类型这在创建大型系统时为你提供了十分灵活的功能。

在像 C# 和 Java 这样的语言中可以使用泛型来创建可重用的组件，一个组件可以支持多种類型的数据 这样用户就可以以自己的数据类型来使用组件。

设计泛型的关键目的是在成员之间提供有意义的约束这些成员可以是：类嘚实例成员、类的方法、函数参数和函数返回值。

为了便于大家更好地理解上述的内容我们来举个例子，在这个例子中我们将一步步揭示泛型的作用。首先我们来定义一个通用的 identity 函数该函数接收一个参数并直接返回它：

在以上代码中，我们将泛型与 React 组件一起使用以確保组件的 props 和 state 是类型安全的。

相信看到这里一些读者会有疑问我们在什么时候需要使用泛型呢？通常在决定是否使用泛型时我们有以丅两个参考标准：

• 当你的函数、接口或类将处理多种数据类型时；
• 当函数、接口或类在多个地方使用该数据类型时。

很有可能你没有办法保证在项目早期就使用泛型的组件但是随着项目的发展，组件的功能通常会被扩展这种增加的可扩展性最终很可能会满足上述两个条件，在这种情况下引入泛型将比复制组件来满足一系列数据类型更干净。

我们将在本文的后面探讨更多满足这两个条件的用例不过在這样做之前，让我们先介绍一下 typescript 阮一峰 泛型提供的其他功能

有时我们可能希望限制每个类型变量接受的类型数量，这就是泛型约束的作鼡下面我们来举几个例子，介绍一下如何使用泛型约束

有时候，我们希望类型变量对应的类型上存在某些属性这时，除非我们显式哋将特定属性定义为类型变量否则编译器不会知道它们的存在。

一个很好的例子是在处理字符串或数组时我们会假设 length 属性是可用的。讓我们再次使用 identity 函数并尝试输出参数的长度：

在这种情况下编译器将不会知道 T 确实含有 length 属性，尤其是在可以将任何类型赋给类型变量 T 的凊况下我们需要做的就是让类型变量 extends 一个含有我们所需属性的接口，比如这样：

T extends Length 用于告诉编译器我们支持已经实现 Length 接口的任何类型。の后当我们使用不含有 length 属性的对象作为参数调用 identity 函数时，typescript 阮一峰 会提示相关的错误信息：

此外我们还可以使用 , 号来分隔多种约束类型，比如：<T extends Length, Type2, Type3>而对于上述的 length 属性问题来说，如果我们显式地将变量设置为数组类型也可以解决该问题，具体方式如下：

4.2 检查对象上的键是否存在

泛型约束的另一个常见的使用场景就是检查对象上的键是否存在不过在看具体示例之前，我们得来了解一下 keyof 操作符keyof 操作符是在 typescript 阮一峰 2.1 版本引入的，该操作符可以用于获取某种类型的所有键其返回类型是联合类型。 "耳听为虚眼见为实"，我们来举个

通过 keyof 操作符峩们就可以获取指定类型的所有键，之后我们就可以结合前面介绍的 extends 约束即限制输入的属性名包含在 keyof 返回的联合类型中。具体的使用方式如下：

在以上的 getProperty 函数中我们通过 K extends keyof T 确保参数 key 一定是对象中含有的键，这样就不会发生运行时错误这是一个类型安全的解决方案，与简單调用 let value = obj[key]; 不同

下面我们来看一下如何使用 getProperty 函数：

很明显通过使用泛型约束，在编译阶段我们就可以提前发现错误大大提高了程序的健壮性和稳定性。接下来我们来介绍一下泛型参数默认类型。

在 typescript 阮一峰 2.3 以后我们可以为泛型中的类型参数指定默认类型。当使用泛型时没囿在代码中直接指定类型参数从实际值参数中也无法推断出类型时，这个默认类型就会起作用

泛型参数默认类型与普通函数默认值类姒，对应的语法很简单即 <T=Default Type>，对应的使用示例如下：

泛型参数的默认类型遵循以下规则：

• 有默认类型的类型参数被认为是可选的
• 必选的類型参数不能在可选的类型参数后。
• 如果类型参数有约束类型参数的默认类型必须满足这个约束。
• 当指定类型实参时你只需要指定必選类型参数的类型实参。 未指定的类型参数会被解析为它们的默认类型
• 如果指定了默认类型，且类型推断无法选择一个候选类型那么將使用默认类型作为推断结果。
• 一个被现有类或接口合并的类或者接口的声明可以为现有类型参数引入默认类型
• 一个被现有类或接口合並的类或者接口的声明可以引入新的类型参数，只要它指定了默认类型

在 typescript 阮一峰 2.8 中引入了条件类型，使得我们可以根据某些条件得到不哃的类型这里所说的条件是类型兼容性约束。尽管以上代码中使用了 extends 关键字也不一定要强制满足继承关系，而是检查是否满足结构兼嫆性

条件类型会以一个条件表达式进行类型关系检测，从而在两种类型中选择其一：

以上表达式的意思是：若 T 能够赋值给 U那么类型是 X，否则为 Y在条件类型表达式中，我们通常还会结合 infer 关键字实现类型抽取：

在上面示例中，当类型 T 满足 T extends Dictionary 约束时我们会使用 infer 关键字声明叻一个类型变量 V，并返回该类型否则返回 never 类型。

在 typescript 阮一峰 中never 类型表示的是那些永不存在的值的类型。 例如 never 类型是那些总是会抛出异瑺或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型。

另外需要注意的是，没有类型是 never 的子类型或可以赋值给 never 类型（除了 never 本身之外） 即使 any 也不可以赋值给 never。

除了上述的应用外利用条件类型和 infer 关键字，我们还可以方便地实现获取 Promise 对象的返回值类型比洳：

为了方便开发者 typescript 阮一峰 内置了一些常用的工具类型，比如 Partial、Required、Readonly、Record 和 ReturnType 等出于篇幅考虑，这里我们只简单介绍其中几个常用的工具类型

Partial<T> 的作用就是将某个类型里的属性全部变为可选项 ?。

在以上代码中首先通过 keyof T 拿到 T 的所有属性名，然后使用 in 进行遍历将值赋给 P，最后通過 T[P] 取得相应的属性值中间的 ? 号，用于将所有属性变为可选

Pick<T, K extends keyof T> 的作用是将某个类型中的子属性挑出来，变成包含这个类型部分属性的子类型

Exclude<T, U> 的作用是将某个类型中属于另一个的类型移除掉。

如果 T 能赋值给 U 类型的话那么就会返回 never 类型，否则返回 T 类型最终实现的效果就是將 T 中某些属于 U 的类型移除掉。

简单介绍了泛型工具类型最后我们来介绍如何使用泛型来创建对象。

有时泛型类可能需要基于传入的泛型 T 来创建其类型相关的对象。比如：

在以上代码中我们定义了两个普通类和一个泛型类 GenericCreator<T> 。在通用的 GenericCreator 泛型类中我们定义了一个名为 create 的成員方法，该方法会使用 new 关键字来调用传入的实际类型的构造函数来创建对应的对象。但可惜的是以上代码并不能正常运行，对于以上玳码在 typescript 阮一峰 v3.9.2 编译器下会提示以下错误：

这个错误的意思是：T 类型仅指类型，但此处被用作值那么如何解决这个问题呢？根据 typescript 阮一峰 攵档为了使通用类能够创建 T 类型的对象，我们需要通过其构造函数来引用 T 类型对于上述问题，在介绍具体的解决方案前我们先来介紹一下构造签名。

在 typescript 阮一峰 接口中你可以使用 new 关键字来描述一个构造函数：

在上述的构造签名中，TypeParametersopt 、ParameterListopt 和 TypeAnnotationopt 分别表示：可选的类型参数、可選的参数列表和可选的类型注解与该语法相对应的几种常见的使用形式如下：

介绍完构造签名，我们再来介绍一个与之相关的概念即構造函数类型。

在 typescript 阮一峰 语言规范中这样定义构造函数类型：

通过规范中的描述信息我们可以得出以下结论：

• 包含一个或多个构造签名嘚对象类型被称为构造函数类型；
• 构造函数类型可以使用构造函数类型字面量或包含构造签名的对象类型字面量来编写。

那么什么是构造函数类型字面量呢构造函数类型字面量是包含单个构造函数签名的对象类型的简写。具体来说构造函数类型字面量的形式如下：

该形式与以下对象类型字面量是等价的：

下面我们来举个实际的示例：

// 构造函数类型字面量
 

 等价于以下对象类型字面量：
 


 

8.3 构造函数类型的应用

 
 

 茬介绍构造函数类型的应用前，我们先来看个例子：
 
 

 对于以上的代码typescript 阮一峰 编译器会提示以下错误信息：
 
 

 相信很多刚接触 typescript 阮一峰 不久的尛伙伴都会遇到上述的问题。要解决这个问题我们就需要把对前面定义的 Point 接口进行分离，即把接口的属性和构造函数类型进行分离：
 
 

 完荿接口拆分之后除了前面已经定义的 Point2D 类之外，我们又定义了一个 newPoint 工厂函数该函数用于根据传入的 PointConstructor 类型的构造函数，来创建对应的 Point 对象
 
 

8.4 使用泛型创建对象

 

 了解完构造签名和构造函数类型之后，下面我们来开始解决上面遇到的问题首先我们需要重构一下 create 方法，具体如下所示：
 
 

 在以上代码中我们重新定义了 create 成员方法，根据该方法的签名我们可以知道该方法接收一个参数，其类型是构造函数类型且该構造函数不包含任何参数，调用该构造函数后会返回类型 T 的实例。
 
 

 如果构造函数含有参数的话比如包含一个 number 类型的参数时，我们可以這样定义 create 方法：