14. TypeScript类型保护(类型缩小、类型守卫)

类型保护是一种TypeScript技术，用于获取变量类型信息，通常使用在条件块语句中。 类型守卫是返回布尔值的常规函数，接受一个类型并告诉TypeScript是否可以缩小到更具体的类型。

TypeScript类型保护的方式

类型断言

类型断言是一种告诉编译器“相信我，我知道我在做什么”的方式。它不进行特殊的数据检查和解构。它没有运行时的影响，只是在编译阶段起作用。TypeScript假设你，程序员，已经进行了必要的检查。

let someValue: any = "this is a string";
// 使用类型断言来告诉编译器someValue是一个字符串
let strLength: number = (<string>someValue).length;

类型谓词

类型谓词是一种特殊的返回值为 arg is T 的函数，其中 arg 是当前函数的一个参数，T 是任意类型。这种类型谓词的使用可以帮助TypeScript更好地理解代码的逻辑。

function isFish(pet: Fish | Bird): pet is Fish {
    // 如果pet有swim属性，那么它就是Fish类型
    return (pet as Fish).swim !== undefined;
}

instanceof关键字

instanceof关键字是JavaScript的一个标准操作符，TypeScript在类型保护中也支持它。

if (pet instanceof Fish) {
    // 如果pet是Fish类型，那么我们可以调用swim方法
    pet.swim();
}

in关键字

in操作符可以用来检查一个对象是否具有某个属性。在类型保护中，我们可以使用in操作符来区分一个联合类型的不同类型。

function move(pet: Fish | Bird) {
    if ("swim" in pet) {
        // 如果pet有swim属性，那么它就是Fish类型
        return pet.swim();
    }
    return pet.fly();
}

用户自定义的类型保护

用户可以通过创建自己的类型保护函数来创建自定义的类型保护。

function isNumber(x: any): x is number {
    // 如果x的类型是number，那么返回true
    return typeof x === "number";
}

typeof关键字

typeof关键字在JavaScript中用于获取一个变量或表达式的类型。在TypeScript中，当我们需要区分函数、字符串、数字或布尔值等基本类型时，可以使用typeof关键字。

if (typeof pet === "string") {
    // 如果pet是字符串类型，那么我们可以调用trim方法
    console.log(pet.trim());
}

null和undefined检查

在TypeScript中，我们可以使用null和undefined来进行类型保护。这在处理可能为null或undefined的值时非常有用。

function printLength(str: string | null | undefined) {
    if (str !== null && str !== undefined) {
        // 如果str不是null或undefined，那么我们可以获取它的长度
        console.log(str.length);
    }
}

类型保护可以帮助我们在编译阶段发现可能的错误，提高代码的健壮性和可读性。然而，它也有一些局限性，例如，过度的类型保护可能会使代码变得复杂和难以理解。