TypeScript类型守卫全攻略：深层次理解类型系统

2022-12-02 19:12:43

TypeScript 类型守卫：掌控代码类型

在代码的世界里，类型系统是坚固的桥梁，连接代码各个部分，确保它们安全顺畅地运行。TypeScript 作为一门静态类型语言，将类型系统发挥到了极致。其中，类型守卫就是 TypeScript 中的一项重要机制，让你可以检查未知类型的变量是否属于特定的类型。通过类型守卫，你可以对代码进行更细致的控制，从而提高代码的健壮性和可读性。

类型守卫的类型

TypeScript 类型守卫主要包括四种方式：

1. in：枚举类型的守卫

枚举类型是 TypeScript 中的一组常量。
in 运算符检查变量是否属于某个枚举类型。

示例：

enum Color {
  Red,
  Green,
  Blue,
}

let color: Color = Color.Red;

if (color in Color) {
  // color 是 Color 类型的变量
}

2. typeof：类型的守卫

typeof 运算符检查变量的类型是否与某个类型相同。

示例：

let x: any = 123;

if (typeof x === "number") {
  // x 是 number 类型的变量
}

3. instanceof：类的守卫

instanceof 运算符检查变量是否属于某个类或接口的实例。

示例：

class Person {
  name: string;

  constructor(name: string) {
    this.name = name;
  }
}

let person: Person = new Person("John");

if (person instanceof Person) {
  // person 是 Person 类的实例
}

4. 自定义类型守卫：灵活的类型检查

自定义类型守卫允许你定义自己的函数来检查变量是否属于特定的类型。

示例：

function isStringArray(value: any): value is string[] {
  return Array.isArray(value) && value.every((item) => typeof item === "string");
}

let values: any[] = ["a", "b", "c"];

if (isStringArray(values)) {
  // values 是 string[] 类型的变量
}