TypeScript 中的类型保护机制

在 TypeScript 中，我们经常需要对变量进行类型检查和类型变换，这时候就需要使用到类型保护机制。类型保护机制可以确保我们的代码在运行时能够正确地处理各种数据类型，从而提高程序的健壮性和可靠性。

TypeScript 中的基本数据类型

在 TypeScript 中，基本数据类型分为 number、string、boolean 和 object 四种。其中 object 是一种比较特殊的类型，它包括了所有的非基本数据类型，如数组、函数、类等等。

使用 typeof 进行类型保护

在 TypeScript 中，我们可以使用 typeof 关键字来进行数据类型判断和类型保护。例如：

function printMessage(message: number|string): void {
  if (typeof message === "number") {
    console.log(`输入的是数字：${message}`);
  } else if (typeof message === "string") {
    console.log(`输入的是字符串：${message}`);
  }
}

在这个示例代码中，我们通过 typeof 来判断 message 的数据类型是否为 number 或 string 类型，并作出相应的处理。

使用 instanceof 进行类型保护

在 TypeScript 中，我们也可以使用 instanceof 关键字来进行数据类型判断和类型保护。例如：

// www.javascriptcn.com code example
class Animal {
  eat(): void {}
}

class Cat extends Animal {
  meow(): void {}
}

function isCat(animal: Animal): animal is Cat {
  return (animal as Cat).meow !== undefined;
}

function processAnimal(animal: Animal): void {
  if (animal instanceof Cat) {
    animal.meow();
  } else {
    animal.eat();
  }
}

const cat = new Cat();
const animal = new Animal();

processAnimal(cat); // 输出 meow
processAnimal(animal); // 输出 eat

在这个示例代码中，我们创建了一个 Animal 类和一个继承自 Animal 的 Cat 类，并定义了一个 isCat 函数，用来判断 Animal 对象是否是 Cat 对象。同时，我们也定义了一个 processAnimal 函数，用来处理接收到的 Animal 对象。

在调用 processAnimal 函数时，如果传入的是 Cat 对象，则会输出 meow；如果传入的是 Animal 对象，则会输出 eat。

使用 in 进行类型保护

在 TypeScript 中，我们还可以使用 in 关键字来进行数据类型判断和类型保护。例如：

// www.javascriptcn.com code example
interface Square {
  kind: "square";
  size: number;
}

interface Rectangle {
  kind: "rectangle";
  width: number;
  height: number;
}

type Shape = Square | Rectangle;

function area(shape: Shape): number {
  switch (shape.kind) {
    case "square":
      return shape.size * shape.size;
    case "rectangle":
      return shape.width * shape.height;
  }
}

const square: Square = { kind: "square", size: 10 };
const rectangle: Rectangle = { kind: "rectangle", width: 5, height: 10 };

console.log(area(square)); // 输出 100
console.log(area(rectangle)); // 输出 50

在这个示例代码中，我们创建了两个接口 Square 和 Rectangle，分别表示正方形和矩形，然后将它们合并成一个联合类型 Shape。接着，我们定义了一个 area 函数，用来计算不同形状的面积。

在 area 函数中，我们使用 switch 和 in 关键字来进行数据类型判断和类型保护，从而计算出不同形状的面积。

小结

通过以上示例代码的讲解，我们了解了 TypeScript 中的类型保护机制以及如何使用 typeof、instanceof 和 in 关键字来进行数据类型判断和类型保护。在实际开发中，我们需要根据具体场景来选择合适的类型保护方法，从而提高代码的可读性、可维护性和可靠性。

来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/67d7e15ca941bf7134e18aee