【TS】1121- 你不知道的 TypeScript 泛型

旧城等待， 2022-09-17 03:23 211阅读 0赞

去年阿宝哥在掘金上写了一篇 **一文读懂 TypeScript 泛型及应用（ 7.8K字）** 的文章，目前收到了 **1012** 个赞，很感谢掘友们的鼓励与支持。时间过得好快，现在 TypeScript 4.5 Beta 版本都已经发布了，期间新增了很多新的特性，是时候重新更新一下 《重学 TS 1.0》系列的文章了。

《重学 TS 2.0》系列除了同步更新 1.0 系列文章之外，还增加了 TypeScript 练习题和面试题两个新的专题：

*  TS 练习题（48 题）：https://github.com/semlinker/awesome-typescript/issues
 *  [又更新了 20 道 TS 练习题，你能答对几道？][20 _ TS]  
    
 *  TS 面试题（10 题）：https://github.com/semlinker/awesome-typescript/discussions

以上两个专题会持续更新，欢迎小伙伴一起来答题哟。好的，下面我们回到正题，本文将从十个方面介绍 TypeScript 泛型的相关知识，希望阅读完本文之后，你对 TypeScript 泛型将不再陌生，在工作中也能轻松地使用泛型。

### 一、泛型是什么 ###

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

**泛型表示泛指某一种类型，开发者可以指定一个表示类型的变量，用它来作为实际类型的占位符，用尖括号来包裹类型变量 `<T>`**。泛型的主要作用是创建可重用的组件，从而让一个组件可以支持多种数据类型，它可以作用在接口、类、函数或类型别名上。

下面我们来举个例子，帮助大家更好地理解上述的内容。在这个例子中，我们将一步步揭示泛型的作用。

#### 1.1 identity 函数示例 ####

首先我们来定义一个通用的 `identity` 函数，该函数接收一个参数并直接返回它：

function identity (value) {
      return value;
    }
    
    console.log(identity(1)) // 1

现在，我们将 `identity` 函数做适当的调整，以支持 TypeScript 的 `number` 类型的参数：

function identity (value: number) : number {
      return value;
    }
    
    console.log(identity(1)) // 1

这里 `identity` 的问题是我们将 `number` 类型分配给参数和返回类型，使该函数仅可用于该原始类型。但该函数并不是通用的，很明显这并不是我们所希望的。虽然我们可以把 `number` 换成 `any`，但这样的话，我们失去了定义应该返回哪种类型的能力，并且在这个过程中使编译器失去了类型保护的作用。

我们的目标是让 `identity` 函数可以适用于任意的类型，为了实现这个目标，我们可以使用泛型，具体实现方式如下：

function identity <T>(value: T) : T {
      return value;
    }
    
    console.log(identity<number>(1)) // 1

对于刚接触 TypeScript 泛型的读者来说，首次看到 `<T>` 语法会感到陌生。但这没什么可担心的，就像传递参数一样，我们传递了我们想要用于特定函数调用的类型。

![a325a53d099c0f9f5147a053ba61188a.png][]

参考上面的图片，当我们调用 `identity<number>(1)` ，`number` 类型就像参数 `1` 一样，它将在出现 `T` 的任何位置填充该类型。图中 `<T>` 内部的 `T` 被称为类型变量，它是我们希望传递给 `identity` 函数的类型占位符，同时它被分配给 `value` 参数用来代替它的类型：此时 `T` 充当的是类型，而不是特定的 `number` 类型。

其中 `T` 代表 **Type**，在定义泛型时通常用作第一个类型变量名称。但实际上 `T` 可以用任何有效名称代替。除了 `T` 之外，以下是常见泛型变量代表的意思：

*  K（Key）：表示对象中的键类型；
 *  V（Value）：表示对象中的值类型；
 *  E（Element）：表示元素类型。

其实并不是只能定义一个类型变量，我们可以引入希望定义的任何数量的类型变量。比如我们引入一个新的类型变量 `U`，用于扩展我们定义的 `identity` 函数：

function identity <T, U>(value: T, message: U) : T {
      console.log(message);
      return value;
    }
    
    console.log(identity<Number, string>(68, "Semlinker"));

![018b2a7e9982e08a748b0eaf8a201178.png][]

除了为类型变量显式设定值之外，另一种方式是让编译器自动选择这些类型，从而使代码更简洁。我们可以完全省略尖括号，比如：

function identity <T, U>(value: T, message: U) : T {
      console.log(message);
      return value;
    }
    
    console.log(identity(68, "Semlinker"));

对于上述代码，编译器足够聪明，能够知道我们的参数类型，并将它们赋值给 T 和 U，而不需要开发人员显式指定它们。下面我们来看张动图，直观地感受一下类型传递的过程：

![dddaa3e5709b808d32846491d0ddae33.gif][]

如你所见，该函数接收你传递给它的任何类型，使得我们可以为不同类型创建可重用的组件。现在我们再来看一下 `identity` 函数：

function identity <T, U>(value: T, message: U) : T {
      console.log(message);
      return value;
    }

相比之前定义的 `identity` 函数，新的 `identity` 函数增加了一个类型变量 `U`，但该函数的返回类型我们仍然使用 `T`。如果我们想要返回两种类型的对象该怎么办呢？针对这个问题，我们有多种方案，其中一种就是使用 TypeScript 中的元组：

function identity <T, U>(value: T, message: U) : [T, U] {
      return [value, message];
    }

### 二、泛型接口 ###

要解决函数中返回多种类型对象的问题，我们可以创建一个用于的 `identity` 函数通用 `Identities` 接口：

interface Identities<V, M> {
      value: V,
      message: M
    }

在上述的 `Identities` 接口中，我们引入了类型变量 `V` 和 `M`，来进一步说明有效的字母都可以用于表示类型变量，之后我们就可以将 `Identities` 接口作为 `identity` 函数的返回类型：

function identity<T, U> (value: T, message: U): Identities<T, U> {
      console.log(value + ": " + typeof (value));
      console.log(message + ": " + typeof (message));
      let identities: Identities<T, U> = {
        value,
        message
      };
      return identities;
    }
    
    console.log(identity(68, "Semlinker"));

以上代码成功运行后，在控制台会输出以下结果：

68: number
    Semlinker: string
    {value: 68, message: "Semlinker"}

泛型除了可以应用在函数和接口之外，它也可以应用在类中，下面我们就来看一下在类中如何使用泛型。

### 三、泛型类 ###

在类中使用泛型也很简单，我们只需要在类名后面，使用 `<T, ...>` 的语法定义任意多个类型变量，具体示例如下：

interface GenericInterface<U> {
      value: U
      getIdentity: () => U
    }
    
    class IdentityClass<T> implements GenericInterface<T> {
      value: T
    
      constructor(value: T) {
        this.value = value
      }
    
      getIdentity(): T {
        return this.value
      }
    }
    
    const myNumberClass = new IdentityClass<number>(68);
    console.log(myNumberClass.getIdentity()); // 68
    
    const myStringClass = new IdentityClass<string>("Semlinker!");
    console.log(myStringClass.getIdentity()); // Semlinker!

接下来我们以实例化 `myNumberClass` 为例，来分析一下其调用过程：

*  在实例化 `IdentityClass` 对象时，我们传入 `number` 类型和构造函数参数值 `68`；
 *  之后在 `IdentityClass` 类中，类型变量 `T` 的值变成 `number` 类型；
 *  `IdentityClass` 类实现了 `GenericInterface<T>`，而此时 `T` 表示 `number` 类型，因此等价于该类实现了 `GenericInterface<number>` 接口；
 *  而对于 `GenericInterface<U>` 接口来说，类型变量 `U` 也变成了 `number`。这里我有意使用不同的变量名，以表明类型值沿链向上传播，且与变量名无关。

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

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

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

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

### 四、泛型约束 ###

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

#### 4.1 确保属性存在 ####

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

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

function identity<T>(arg: T): T {
      // Property 'length' does not exist on type 'T'.(2339)
      console.log(arg.length); // Error
      return arg;
    }

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

interface Length {
      length: number;
    }
    
    function identity<T extends Length>(arg: T): T {
      console.log(arg.length); // 可以获取length属性
      return arg;
    }

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

identity(68); // Error
    // Argument of type '68' is not assignable to parameter of type 'Length'.(2345)

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

function identity<T>(arg: T[]): T[] {
      console.log(arg.length);  
      return arg; 
    }

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

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

interface Person {
      name: string;
      age: number;
      location: string;
    }
    
    type K1 = keyof Person; // "name" | "age" | "location"
    type K2 = keyof Person[];  // number | "length" | "push" | "concat" | ...
    type K3 = keyof { [x: string]: Person };  // string | number

> 提示：TypeScript Playground v4.2.3 版本以上的编译器不会显示 keyof 操作符的结果

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

function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
      return obj[key];
    }

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

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

enum Difficulty {
      Easy,
      Intermediate,
      Hard
    }
    
    function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
      return obj[key];
    }
    
    let tsInfo = {
       name: "Typescript",
       supersetOf: "Javascript",
       difficulty: Difficulty.Intermediate
    }
     
    let difficulty: Difficulty = 
      getProperty(tsInfo, 'difficulty'); // OK
    
    let supersetOf: string = 
      getProperty(tsInfo, 'superset_of'); // Error

在以上示例中，对于 `getProperty(tsInfo, 'superset_of')` 这个表达式，TypeScript 编译器会提示以下错误信息：

Argument of type '"superset_of"' is not assignable to parameter of type '"difficulty" | "name" | "supersetOf"'.

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

### 五、泛型参数默认类型 ###

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

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

interface Person<T=string> {
      id: T;
    }
    
    const p0: Person = { id: "lolo" };
    const p1: Person<number> = { id: 28 };

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

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

### 六、泛型条件类型 ###

在 TypeScript 2.8 中引入了条件类型，使得我们可以根据某些条件得到不同的类型，这里所说的条件是类型兼容性约束。条件类型会以一个条件表达式进行类型关系检测，从而在两种类型中选择其一：

T extends U ? X : Y

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

interface Dictionary<T = any> {
      [key: string]: T;
    }
     
    type StrDict = Dictionary<string>
    
    type DictMember<T> = T extends Dictionary<infer V> ? V : never
    type StrDictMember = DictMember<StrDict> // string

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

> 在 TypeScript 中，`never` 类型表示的是那些永不存在的值的类型。例如， `never` 类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型。
> 
> 另外，需要注意的是，没有类型是 `never` 的子类型或可以赋值给 `never` 类型（除了 `never` 本身之外）。即使 `any` 也不可以赋值给 `never`。

条件类型还有一个特性：**分布式条件类型**。当检测的类型是由 ”裸类型“（指该类型未被包装过） 组成的联合类型时，条件类型会被自动分发成联合类型。以 `T extends U ? X : Y` 条件类型为例，当类型参数的为 `A | B | C` 时，该条件类型将会被解析为 `(A extends U ? X : Y) | (B extends U ? X : Y) | (C extends U ? X : Y)`。

分布式条件类型的使用示例如下：

type TypeName<T> = T extends string
      ? "string"
      : T extends number
      ? "number"
      : T extends boolean
      ? "boolean"
      : T extends undefined
      ? "undefined"
      : T extends Function
      ? "function"
      : "object";
    
    type T10 = TypeName<string | (() => void)>; // "string" | "function"
    type T12 = TypeName<string | string[] | undefined>; // "string" | "object" | "undefined"
    type T11 = TypeName<string[] | number[]>; // "object"

### 七、泛型工具类型 ###

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

#### 7.1 Partial ####

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

**定义：**

type Partial<T> = {
      [P in keyof T]?: T[P];
    };

以上 `Partial` 类型被称为映射类型，用于把已有的类型转换成新的类型。在以上代码中，我们首先通过 `keyof T` 拿到 `T` 的所有属性名，然后使用 `in` 进行遍历，将值赋给类型变量 `P`，最后通过 `T[P]` 取得属性 P 对应的类型。中间的 `?` 号，表示将属性变为可选。

**示例：**

interface Todo {
      title: string;
      description: string;
    }
    
    function updateTodo(todo: Todo, fieldsToUpdate: Partial<Todo>) {
      return { ...todo, ...fieldsToUpdate };
    }
    
    const todo1 = {
      title: "Learn TS",
      description: "Learn TypeScript"
    };
    
    const todo2 = updateTodo(todo1, {
      description: "Learn TypeScript Handbook"
    });

在上面的 `updateTodo` 方法中，我们利用 `Partial<T>` 工具类型，定义 `fieldsToUpdate` 的类型为 `Partial<Todo>`，即：

{
       title?: string | undefined;
       description?: string | undefined;
    }

是不是觉得 `Partial` 使用起来挺简单的，那么如何定义一个 `SetOptional` 工具类型，支持把给定的 keys 对应的属性变成可选的。对应的使用示例如下所示：

type Foo = {
     a: number;
     b?: string;
     c: boolean;
    }
    
    // 测试用例
    type SomeOptional = SetOptional<Foo, 'a' | 'b'>;
    
    // type SomeOptional = {
    //  a?: number; // 该属性已变成可选的
    //  b?: string; // 保持不变
    //  c: boolean; 
    // }

#### 7.2 Record ####

`Record<K extends keyof any, T>` 的作用是将 `K` 中所有的属性的值转化为 `T` 类型。

**定义：**

type Record<K extends keyof any, T> = {
      [P in K]: T;
    };

**示例：**

interface PageInfo {
      title: string;
    }
    
    type Page = "home" | "about" | "contact";
    
    const x: Record<Page, PageInfo> = {
      about: { title: "about" },
      contact: { title: "contact" },
      home: { title: "home" }
    };

#### 7.3 Pick ####

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

**定义：**

type Pick<T, K extends keyof T> = {
      [P in K]: T[P];
    };

**示例：**

interface Todo {
      title: string;
      description: string;
      completed: boolean;
    }
    
    type TodoPreview = Pick<Todo, "title" | "completed">;
    
    const todo: TodoPreview = {
      title: "Learn TS",
      completed: false
    };

在掌握 `Pick` 的用法之后，你可以想一下，如何定义一个 `ConditionalPick` 工具类型，支持根据指定的 `Condition` 条件来生成新的类型，对应的使用示例如下：

interface Example {
     a: string;
     b: string | number;
     c: () => void;
     d: {};
    }
    
    // 测试用例：
    type StringKeysOnly = ConditionalPick<Example, string>;
    //=> { a: string }

#### 7.4 Exclude ####

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

**定义：**

type Exclude<T, U> = T extends U ? never : T;

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

**示例：**

由以上结果可知，`Exclude` 工具类型利用了前面介绍的分布式条件类型的特性。

#### 7.5 ReturnType ####

`ReturnType<T>` 的作用是用于获取函数 `T` 的返回类型。

**定义：**

type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;

**示例：**

type T0 = ReturnType<() => string>; // string
    type T1 = ReturnType<(s: string) => void>; // void
    type T2 = ReturnType<<T>() => T>; // {}
    type T3 = ReturnType<<T extends U, U extends number[]>() => T>; // number[]
    type T4 = ReturnType<any>; // any
    type T5 = ReturnType<never>; // any
    type T6 = ReturnType<string>; // Error
    type T7 = ReturnType<Function>; // Error

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

### 八、使用泛型创建对象 ###

#### 8.1 构造签名 ####

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

class FirstClass {
      id: number | undefined;
    }
    
    class SecondClass {
      name: string | undefined;
    }
    
    class GenericCreator<T> {
      create(): T {
        return new T();
      }
    }
    
    const creator1 = new GenericCreator<FirstClass>();
    const firstClass: FirstClass = creator1.create();
    
    const creator2 = new GenericCreator<SecondClass>();
    const secondClass: SecondClass = creator2.create();

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

'T' only refers to a type, but is being used as a value here.

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

在 TypeScript 接口中，你可以使用 `new` 关键字来描述一个构造函数：

interface Point {
      new (x: number, y: number): Point;
    }

以上接口中的 `new (x: number, y: number)` 我们称之为构造签名，其语法如下：

> *ConstructSignature:*`new` *TypeParametersopt* `(` *ParameterListopt* `)` *TypeAnnotationopt*

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

new C  
    new C ( ... )  
    new C < ... > ( ... )

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

#### 8.2 构造函数类型 ####

在 TypeScript 语言规范中这样定义构造函数类型：

> An object type containing one or more construct signatures is said to be a ***constructor type***. Constructor types may be written using constructor type literals or by including construct signatures in object type literals.

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

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

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

new < T1, T2, ... > ( p1, p2, ... ) => R

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

{ new < T1, T2, ... > ( p1, p2, ... ) : R }

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

// 构造函数类型字面量
    new (x: number, y: number) => Point

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

{
       new (x: number, y: number): Point;
    }

#### 8.3 构造函数类型的应用 ####

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

interface Point {
      new (x: number, y: number): Point;
      x: number;
      y: number;
    }
    
    class Point2D implements Point {
      readonly x: number;
      readonly y: number;
    
      constructor(x: number, y: number) {
        this.x = x;
        this.y = y;
      }
    }
    
    const point: Point = new Point2D(1, 2);

对于以上的代码，TypeScript 编译器会提示以下错误信息：

Class 'Point2D' incorrectly implements interface 'Point'.
    Type 'Point2D' provides no match for the signature 'new (x: number, y: number): Point'.

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

interface Point {
      x: number;
      y: number;
    }
    
    interface PointConstructor {
      new (x: number, y: number): Point;
    }

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

class Point2D implements Point {
      readonly x: number;
      readonly y: number;
    
      constructor(x: number, y: number) {
        this.x = x;
        this.y = y;
      }
    }
    
    function newPoint(
      pointConstructor: PointConstructor,
      x: number,
      y: number
    ): Point {
      return new pointConstructor(x, y);
    }
    
    const point: Point = newPoint(Point2D, 1, 2);

#### 8.4 使用泛型创建对象 ####

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

class GenericCreator<T> {
      create<T>(c: { new (): T }): T {
        return new c();
      }
    }

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

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

create<T>(c: { new(a: number): T; }, num: number): T {
      return new c(num);
    }

更新完 `GenericCreator` 泛型类，我们就可以使用下面的方式来创建 `FirstClass` 和 `SecondClass` 类的实例：

const creator1 = new GenericCreator<FirstClass>();
    const firstClass: FirstClass = creator1.create(FirstClass);
    
    const creator2 = new GenericCreator<SecondClass>();
    const secondClass: SecondClass = creator2.create(SecondClass);

#### 8.5 抽象构造签名 ####

在 TypeScript 4.2 版本中引入了抽象构造签名，用于解决以下的问题：

type ConstructorFunction = new (...args: any[]) => any;
    
    abstract class Utilities {}
    
    // Type 'typeof Utilities' is not assignable to type 'ConstructorFunction'.
    // Cannot assign an abstract constructor type to a non-abstract constructor type.
    let UtilityClass: ConstructorFunction = Utilities; // Error.

由以上的错误信息可知，我们不能把抽象构造器类型分配给非抽象的构造器类型。针对这个问题，我们需要使用 `abstract` 修饰符：

declare type ConstructorFunction = abstract new (...args: any[]) => any;

需要注意的是，对于抽象构造器类型，我们也可以传入具体的实现类：

declare type ConstructorFunction = abstract new (...args: any[]) => any;
    
    abstract class Utilities {}
    class UtilitiesConcrete extends Utilities {}
    
    let UtilityClass: ConstructorFunction = Utilities; // Ok
    let UtilityClass1: ConstructorFunction = UtilitiesConcrete; // Ok

而对于 TypeScript 4.2 以下的版本，我们可以通过以下方式来解决上面的问题：

type Constructor<T> = Function & { prototype: T }
    
    abstract class Utilities {}
    
    class UtilitiesConcrete extends Utilities {}
    
    let UtilityClass: Constructor<Utilities> = Utilities;
    let UtilityClass1: Constructor<UtilitiesConcrete> = UtilitiesConcrete;

### 九、可变元组类型 ###

在 TypeScript 4.0 版本支持可变元组类型，其中有两个新的变化。第一个变化是元组类型的展开运算可以支持泛型了：

function tail<T extends any[]>(arr: readonly [any, ...T]) {
      const [_ignored, ...rest] = arr;
      return rest;
    }
    
    const myTuple = [1, 2, 3, 4] as const;
    const myArray = ["hello", "world"];
     
    const r1 = tail(myTuple); // r1: [2, 3, 4]
    const r2 = tail([...myTuple, ...myArray] as const); // r2: [2, 3, 4, ...string[]]

第二个变化是 rest 元素可以出现在元组中的任何位置，而不仅仅是在结尾！

type Strings = [string, string];
    type Numbers = [number, number];
    
    type StrStrNumNumBool = [...Strings, ...Numbers, boolean];

对于 TypeScript 4.0 以下的版本，以上代码将会出现以下的错误信息：

A rest element must be last in a tuple type.(1256)

利用这两个特性，我们就可以实现一个类型良好的 `concat` 函数：

type Arr = readonly any[];
     
    function concat<T extends Arr, U extends Arr>(arr1: T, arr2: U): [...T, ...U] {
      return [...arr1, ...arr2];
    }
    
    const arr3 = concat([1, 2, 3], ["a", "b", "c"])

关于可变元组类型的相关内容，就不展开介绍了，感兴趣的小伙伴可以自行阅读 TypeScript 4.0 的相关文档。

### 十、泛型是如何工作的 ###

最后，阿宝哥将使用 ts-ast-viewer 在线工具，带大家换个角度来学习 TypeScript 的泛型。对应的示例代码如下：

type Head<T extends Array<any>> = T extends [any, ...any] ? T[0] : never
    
    type H0 = Head<[1, 2, 3]> // 1

#### 10.1 类型变量 AST ####

![e7a73a8bc9ca607ac735f2a13cc29cc2.png][]

#### 10.2 条件类型 AST ####

![afd2bfd53d8060c93ae6c15b65e89be7.png][]

#### 10.3 类型引用 AST ####

![78429ca91650c6e3af4a30f47de04c96.png][]

> 所使用在线工具的地址为：https://ts-ast-viewer.com/

建议大家实际使用一下 **ts-ast-viewer** 这个在线工具，详细看一下生成的节点，这样的话，可以让你更好地理解 TypeScript 的泛型。

### 十一、参考资源 ###

*  typescript-generics
 *  typescript-generics-explained
 *  understanding-typescript-generics
 *  6-typescript-typing-system-tricks-you-should-know
 *  really-advanced-typescript-types
 *  abstract-constructor-type-in-typescript

[20 _ TS]: https://blog.csdn.net/Yeslab_Alan/article/details/86677852
[a325a53d099c0f9f5147a053ba61188a.png]: /images/20220828/2d1cf354feb14c6f8564a4ebfd6f61f8.png
[018b2a7e9982e08a748b0eaf8a201178.png]: /images/20220828/7c04435204274c958d248c834ea6f63e.png
[dddaa3e5709b808d32846491d0ddae33.gif]: /images/20220828/05afb53f3d6b48acac53f91421fea1cd.png
[e7a73a8bc9ca607ac735f2a13cc29cc2.png]: /images/20220828/fedfefada47543699d261fd8212129c8.png
[afd2bfd53d8060c93ae6c15b65e89be7.png]: /images/20220828/c9b19d2be2d0460da54769d6c68f89ad.png
[78429ca91650c6e3af4a30f47de04c96.png]: /images/20220828/6d89d699bea7426e82a1d2380ddb25b0.png