Typescript 的类型断言

类型断言（Type Assertion）是 TypeScript 中的一种机制，允许开发者手动指定某个值的类型，而不是让 TypeScript 自动推断类型。类型断言通常用于在编译时告诉 TypeScript 编译器某个值的具体类型，以便在后续代码中进行类型检查和操作。

类型断言的语法

类型断言有两种语法形式：

1. 尖括号语法：<类型>值
2. as 语法：值 as 类型

示例代码

以下是一些示例代码，详细解释了类型断言的使用场景和方法。

示例 1：将 any 类型断言为 string 类型

let anyVar: any = "Hello, TypeScript!";

// 使用尖括号语法进行类型断言
let str1: string = <string>anyVar;

// 使用 as 语法进行类型断言
let str2: string = anyVar as string;

console.log(str1.toUpperCase()); // 输出: HELLO, TYPESCRIPT!
console.log(str2.toUpperCase()); // 输出: HELLO, TYPESCRIPT!

在这个例子中，anyVar 被声明为 any 类型，并赋值为字符串 "Hello, TypeScript!"。通过类型断言，我们将 anyVar 断言为 string 类型，以便可以调用字符串的方法（如 toUpperCase）。

示例 2：将 unknown 类型断言为 number 类型

let unknownVar: unknown = 42;

// 使用尖括号语法进行类型断言
let num1: number = <number>unknownVar;

// 使用 as 语法进行类型断言
let num2: number = unknownVar as number;

console.log(num1.toFixed(2)); // 输出: 42.00
console.log(num2.toFixed(2)); // 输出: 42.00

在这个例子中，unknownVar 被声明为 unknown 类型，并赋值为数字 42。通过类型断言，我们将 unknownVar 断言为 number 类型，以便可以调用数字的方法（如 toFixed）。

示例 3：类型断言与类型缩小

function printLength(value: string | number) {
    if (typeof value === "string") {
        // 类型缩小：value 在这里是 string 类型
        console.log(value.length);
    } else {
        // 类型缩小：value 在这里是 number 类型
        console.log(value.toFixed(2));
    }
}

let mixedVar: string | number = "Hello";

// 使用类型断言将 mixedVar 断言为 string 类型
let str: string = mixedVar as string;
console.log(str.length); // 输出: 5

mixedVar = 42;

// 使用类型断言将 mixedVar 断言为 number 类型
let num: number = mixedVar as number;
console.log(num.toFixed(2)); // 输出: 42.00

在这个例子中，mixedVar 被声明为 string | number 联合类型。通过类型断言，我们可以将 mixedVar 断言为 string 或 number 类型，以便在不同的上下文中使用相应的方法。

总结

• 类型断言允许开发者手动指定某个值的类型，而不是让 TypeScript 自动推断类型。
• 类型断言有两种语法形式：尖括号语法（<类型>值）和 as 语法（值 as 类型）。
• 类型断言通常用于将 any、unknown 或其他联合类型的值断言为更具体的类型，以便在后续代码中进行类型检查和操作。

通过类型断言，开发者可以在需要时更精确地控制类型，从而提高代码的类型安全性和可维护性。

为什么需要类型断言？

虽然 ​any​ 类型允许你绕过类型检查，但在实际开发中，过度使用 ​any​ 类型会导致代码的可读性和可维护性下降，增加潜在的运行时错误风险。类型断言提供了一种更安全的方式来指定类型，从而在编译时捕获潜在的错误。