模式匹配：让你在 TypeScript 里做灵活的代码操纵

模式匹配的类型机制

TypeScript 中的模式匹配基于类型系统，这意味着您可以根据变量的类型来决定执行哪些代码。这与传统语言中根据值来进行分支判断不同，模式匹配更加关注类型。

类型别名与接口

模式匹配最基本的用法是使用类型别名和接口。例如，您可以定义一个类型别名来表示用户类型：

type User = {
  name: string;
  age: number;
};

然后，您可以使用模式匹配来检查变量的类型是否与 User 类型匹配：

function greetUser(user: User | null) {
  if (user === null) {
    console.log("User is not logged in.");
  } else if (typeof user === "object" && user.name && user.age) {
    console.log(`Hello, ${user.name}!`);
  } else {
    console.log("Invalid user object.");
  }
}

上面的代码中，我们使用 if 语句来检查 user 变量的类型。如果 user 为 null，则说明用户未登录。如果 user 是一个对象并且具有 name 和 age 属性，则说明这是一个合法的用户对象，我们可以向其打招呼。否则，我们认为这是一个无效的用户对象。

枚举类型

枚举类型也是模式匹配的有力工具。例如，您可以定义一个枚举类型来表示用户的状态：

enum UserStatus {
  LoggedIn,
  LoggedOut,
  Suspended,
}

然后，您可以使用模式匹配来检查变量的类型是否与 UserStatus 枚举类型匹配：

function checkUserStatus(status: UserStatus) {
  switch (status) {
    case UserStatus.LoggedIn:
      console.log("User is logged in.");
      break;
    case UserStatus.LoggedOut:
      console.log("User is logged out.");
      break;
    case UserStatus.Suspended:
      console.log("User is suspended.");
      break;
    default:
      console.log("Invalid user status.");
  }
}

上面的代码中，我们使用 switch 语句来检查 status 变量的类型。根据不同的类型，我们执行不同的代码逻辑。

模式匹配的语法糖

TypeScript 中的模式匹配还有一些语法糖，可以使代码更加简洁。例如，您可以使用 in 运算符来检查变量的类型是否在某个类型联合中：

function checkUserType(user: User | null) {
  if (user in { name: string; age: number }) {
    console.log("User is a valid object.");
  } else {
    console.log("User is not a valid object.");
  }
}

上面的代码中，我们使用 in 运算符来检查 user 变量的类型是否在 { name: string; age: number } 类型联合中。如果 user 是一个对象并且具有 name 和 age 属性，则说明这是一个合法的用户对象。否则，我们认为这是一个无效的用户对象。

解构赋值

您还可以使用解构赋值来从对象或数组中提取数据。例如，您可以使用以下代码从 user 对象中提取 name 和 age 属性：

const { name, age } = user;

然后，您可以使用这些变量来执行其他操作，例如向用户打招呼：

console.log(`Hello, ${name}!`);

类型保护

模式匹配还可用于进行类型保护。例如，您可以使用以下代码来检查变量 user 是否为 User 类型：

if (user instanceof User) {
  // user is a User object
}

上面的代码中，我们使用 instanceof 运算符来检查 user 变量是否为 User 类型的实例。如果 user 是一个 User 对象，则代码块内的代码将被执行。

结语

模式匹配是 TypeScript 中强大的功能，它允许您对代码进行灵活的操纵，实现更为简洁、清晰的代码。通过本文的介绍，您已经掌握了模式匹配的基本用法。在实际开发中，您可以根据需要灵活运用模式匹配，以提高代码质量和可读性。