Typescript:类型保护之类型断言、类型谓词，从此告别类型告警！

类型断言

类型断言 (Type Assertion) 是最直接的一种类型保护方式。它允许您显式地告诉 TypeScript 某个表达式的类型，即使 TypeScript 无法自动推断出来。类型断言的语法是使用 as ，后跟要断言的类型。

let str: string = "Hello, world!";
// 使用类型断言将 str 断言为 number 类型
let num: number = str as number;

在上面的代码中，我们首先定义了一个 string 类型的变量 str，并为其赋值为 "Hello, world!"。然后，我们使用 as 关键字将 str 断言为 number 类型，并将其赋值给 num 变量。这样，TypeScript 就会把 num 视为一个 number 类型的值，即使它实际上是一个 string 类型的值。

类型断言通常用于以下场景：

• 当您需要将一个值赋给一个具有不同类型但兼容的变量时。
• 当您需要在两个具有不同类型但兼容的变量之间进行比较时。
• 当您需要将一个值传递给一个期望不同类型但兼容的参数时。

类型谓词

类型谓词 (Type Predicate) 是另一种类型保护的方式。它允许您定义一个函数来检查一个表达式的类型。类型谓词的语法是使用 is 关键字，后跟要检查的类型。

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

let str: string = "Hello, world!";
// 使用类型谓词检查 str 是否是 string 类型
if (isString(str)) {
  console.log("str is a string.");
}

在上面的代码中，我们首先定义了一个函数 isString 来检查一个值是否是 string 类型。然后，我们使用 isString 函数来检查 str 是否是 string 类型。如果 str 是 string 类型，则会打印 "str is a string." 到控制台。

类型谓词通常用于以下场景：

• 当您需要检查一个值是否属于某个类型时。
• 当您需要将一个值与另一个具有不同类型但兼容的值进行比较时。
• 当您需要将一个值传递给一个期望不同类型但兼容的参数时。

使用 es 本身的关键字

除了类型断言和类型谓词之外，您还可以使用 es 本身的关键字来进行类型保护。这些关键字包括 in、typeof 等。

in

in 关键字用于检查一个属性是否属于某个对象。

let obj = {
  name: "John Doe",
  age: 30
};

// 使用 in 关键字检查 obj 是否具有 name 属性
if ("name" in obj) {
  console.log("obj has a name property.");
}

在上面的代码中，我们首先定义了一个对象 obj，并为其添加了 name 和 age 属性。然后，我们使用 in 关键字来检查 obj 是否具有 name 属性。如果 obj 具有 name 属性，则会打印 "obj has a name property." 到控制台。

typeof

typeof 关键字用于获取一个值的类型。

let str = "Hello, world!";

// 使用 typeof 关键字获取 str 的类型
let type = typeof str;

console.log(`The type of str is ${type}.`);

在上面的代码中，我们首先定义了一个 string 类型的变量 str，并为其赋值为 "Hello, world!"。然后，我们使用 typeof 关键字来获取 str 的类型。最后，我们使用 console.log() 函数将 str 的类型打印到控制台。

结语

类型保护是 TypeScript 中一项重要的技巧，用于确保在运行时不会出现类型错误。本文介绍了三种常见的类型保护方法：类型断言、类型谓词和使用 es 本身的关键字，如 in 和 typeof。通过这些方法，您可以有效地消除 TypeScript 中的类型告警，从而编写出更加健壮和可靠的代码。