Typescript 条件类型——深刻剖析和实战应用

前言

Typescript 类型体操(一)—— condition type

在学习Typescript的过程中，我们难免会遇到各种类型问题，比如：

• 如何定义一个类型，使它只能接受某些特定类型的参数？
• 如何创建一个函数，它的返回值类型取决于传入参数的类型？
• 如何在不同情况下使用不同的类型注解？

这些问题都可以通过使用Typescript的条件类型来解决。条件类型是一种强大的类型系统特性，它允许我们根据类型来定义新的类型。这使得我们能够创建更加灵活和可重用的类型。

什么是条件类型？

条件类型是一种根据类型来定义新类型的机制。它允许我们根据一个类型的条件来创建一个新的类型。条件类型的语法如下：

type NewType<T> = T extends OldType ? TrueType : FalseType;

• T 是要检查的类型。
• OldType 是要检查的类型是否属于的类型。
• TrueType 是如果 T 属于 OldType 则返回的类型。
• FalseType 是如果 T 不属于 OldType 则返回的类型。

如何使用条件类型？

我们可以使用条件类型来实现各种各样的功能。以下是一些常见的用法：

• 创建类型别名：我们可以使用条件类型来创建新的类型别名。例如，我们可以创建一个名为 NullableString 的类型别名，它表示一个可以为 null 或 string 的类型。

type NullableString = string | null;

• 实现类型守卫：我们可以使用条件类型来实现类型守卫。类型守卫是一种检查类型是否属于特定类型的机制。例如，我们可以创建一个名为 isString 的类型守卫，它检查一个值是否为 string 类型。

function isString(value: unknown): value is string {
  return typeof value === "string";
}

• 实现泛型约束：我们可以使用条件类型来实现泛型约束。泛型约束是一种限制泛型类型只能接受某些特定类型的参数的机制。例如，我们可以创建一个名为 MyArray 的泛型类，它只能接受 string 类型或 number 类型的参数。

class MyArray<T extends string | number> {
  private data: T[];

  constructor(data: T[]) {
    this.data = data;
  }

  // ...
}

结语

条件类型是 Typescript 中一个强大的特性，它允许我们根据类型来定义新的类型。这使得我们能够创建更加灵活和可重用的类型。在本文中，我们介绍了条件类型的基本语法和常见用法。希望您能通过本文对条件类型有一个更深入的了解。