TypeScript 高级类型：掌握类型保护

前言

在上一节中，我们了解了 TypeScript 中的基本类型和类型注解。在本文中，我们将深入探索 TypeScript 中高级类型和类型保护的概念。我们将学习如何使用联合类型、枚举类型、交叉类型、泛型、类型推断、类型别名、条件类型和可选链来构建更强大、更灵活的类型系统。无论您是 TypeScript 初学者还是经验丰富的开发人员，本文都将为您提供宝贵的知识和技巧。

类型保护

类型保护是一种确保变量或表达式的值属于特定类型的方法。这对于确保代码的类型安全性和可靠性非常重要。TypeScript 提供了多种类型保护机制，包括：

• 类型断言 ：使用 as 运算符将变量或表达式的类型显式转换为所需类型。
• 类型守卫 ：使用 typeof 运算符或 instanceof 运算符检查变量或表达式的类型。
• 模式匹配 ：使用 switch 语句或 if/else 语句检查变量或表达式的值是否属于预期的模式。

联合类型

联合类型允许一个变量或表达式具有多个可能的类型。这在当您需要处理不同类型的数据时非常有用。例如，您可能有一个函数接受一个可以是字符串或数字的变量。在这种情况下，您可以使用联合类型来定义函数的参数类型。

联合类型使用 | 符号来分隔不同的类型。例如，以下代码定义了一个函数，该函数接受一个可以是字符串或数字的变量：

function add(x: string | number): number {
  if (typeof x === "string") {
    return parseInt(x);
  } else {
    return x;
  }
}

枚举类型

枚举类型是一种特殊的类型，它允许您定义一组具有固定值的常量。这对于当您需要处理一组有限的可能值时非常有用。例如，您可能有一个函数接受一个表示颜色的变量。在这种情况下，您可以使用枚举类型来定义函数的参数类型。

枚举类型使用 enum 来定义。例如，以下代码定义了一个表示颜色的枚举类型：

enum Color {
  Red,
  Green,
  Blue,
}

交叉类型

交叉类型允许您组合两个或多个类型来创建一个新的类型。这在当您需要创建一个具有多个类型的属性的对象时非常有用。例如，您可能有一个接口定义了一个用户，该用户具有姓名和年龄属性。在这种情况下，您可以使用交叉类型来创建一个具有姓名、年龄和电子邮件地址属性的新接口。

交叉类型使用 & 符号来组合不同的类型。例如，以下代码定义了一个具有姓名、年龄和电子邮件地址属性的新接口：

interface UserWithEmailAddress extends User {
  emailAddress: string;
}

泛型

泛型允许您创建可重用的组件，这些组件可以处理不同类型的数据。这对于当您需要创建可用于多种不同数据类型的函数或类时非常有用。例如，您可能有一个函数可以对数组中的元素进行排序。在这种情况下，您可以使用泛型来创建可用于对任何类型数组进行排序的函数。

泛型使用尖括号 <> 来定义。例如，以下代码定义了一个可用于对任何类型数组进行排序的函数：

function sort<T>(array: T[]): T[] {
  // ...
}

类型推断

类型推断是一种 TypeScript 自动推断变量或表达式的类型