TypeScript 断言总结：全面剖析 TypeScript 类型断言的用法

2024-01-20 20:29:53

TypeScript 断言的用法

TypeScript 断言有两种主要形式：

类型注释断言 ：这种断言使用类型注释来指定变量或表达式的类型。
类型保护断言 ：这种断言使用类型保护来检查变量或表达式的类型，并根据检查结果来指定类型。

类型注释断言

类型注释断言是最常用的断言形式。它使用类型注释来指定变量或表达式的类型。

let x: any = "Hello, world!";

// 使用类型注释断言将 x 的类型指定为 string
x = <string>x;

console.log(x.toUpperCase()); // "HELLO, WORLD!"

在上面的示例中，我们首先将变量 x 声明为类型为 any。然后，我们使用类型注释断言将 x 的类型指定为 string。这告诉 TypeScript，x 的值实际上是一个字符串，即使它最初被声明为 any。

类型注释断言还可以用于指定数组或对象的类型。

let numbers: number[] = [1, 2, 3];

// 使用类型注释断言将 numbers 的类型指定为 string[]
numbers = <string[]>numbers;

console.log(numbers.join(", ")); // "1, 2, 3"

在上面的示例中，我们首先将变量 numbers 声明为类型为 number[]。然后，我们使用类型注释断言将 numbers 的类型指定为 string[]。这告诉 TypeScript，numbers 的值实际上是一个字符串数组，即使它最初被声明为 number[]。

类型保护断言

类型保护断言使用类型保护来检查变量或表达式的类型，并根据检查结果来指定类型。

let x: any = "Hello, world!";

// 使用类型保护断言检查 x 是否为 string 类型
if (typeof x === "string") {
  // 如果 x 为 string 类型，则将它的类型指定为 string
  x = <string>x;

  console.log(x.toUpperCase()); // "HELLO, WORLD!"
}

在上面的示例中，我们首先将变量 x 声明为类型为 any。然后，我们使用 typeof 操作符来检查 x 是否为 string 类型。如果 x 为 string 类型，则我们使用类型保护断言将 x 的类型指定为 string。这告诉 TypeScript，x 的值实际上是一个字符串，即使它最初被声明为 any。

类型保护断言还可以用于检查数组或对象的类型。

let numbers: any = [1, 2, 3];

// 使用类型保护断言检查 numbers 是否为 string[] 类型
if (Array.isArray(numbers) && numbers.every((x) => typeof x === "string")) {
  // 如果 numbers 为 string[] 类型，则将它的类型指定为 string[]
  numbers = <string[]>numbers;

  console.log(numbers.join(", ")); // "1, 2, 3"
}

在上面的示例中，我们首先将变量 numbers 声明为类型为 any。然后，我们使用 Array.isArray() 方法和 every() 方法来检查 numbers 是否为 string[] 类型。如果 numbers 为 string[] 类型，则我们使用类型保护断言将 numbers 的类型指定为 string[]。这告诉 TypeScript，numbers 的值实际上是一个字符串数组，即使它最初被声明为 any。