类型守卫

类型守卫是TypeScript中一种特殊的表达式，允许我们在运行时检查变量的类型。如果变量的类型满足类型守卫的条件，那么TypeScript就会对该变量进行窄化，也就是将变量的类型限定在符合类型守卫的特定类型上。

类型守卫常常使用typeof和instanceof操作符，以及用户自定义的类型守卫函数。

typeof操作符

typeof操作符可以返回变量的类型。例如：

function printLabel(x: any) {
    if (typeof x === 'string') {
        console.log('A string: ' + x);
    } else if (typeof x === 'number') {
        console.log('A number: ' + x);
    } else {
        console.log('An object: ' + x);
    }
}

instanceof操作符

instanceof操作符可以检查一个构造函数的prototype属性是否出现在对象的原型链中的任何位置。例如：

function isArray(x: any): boolean {
    return x instanceof Array;
}

自定义类型守卫函数

用户也可以定义自定义的类型守卫函数，例如：

function isNonNullish(x: any): x is non-nullish {
    return x != null;
}

类型断言

类型断言是另一种在TypeScript中处理类型的方法，允许我们在编译时明确变量的类型。类型断言有两种形式：

尖括号语法

尖括号语法允许我们明确一个表达式的类型。例如：

let x: any = 42;
let y: number = <number>x;

as语法

as语法也允许我们明确一个表达式的类型。例如：

let x: any = 42;
let y: number = x as number;

类型断言与类型守卫不同，类型断言是编译时操作，而类型守卫是运行时操作。类型断言不会改变变量的实际类型，而只是让TypeScript编译器在编译时相信我们的类型声明。

类型断言和类型守卫在TypeScript中都有重要的用途，它们帮助我们更好地控制类型，提高代码的可读性和可维护性。

注意，类型断言的使用需要谨慎，因为如果类型断言错误，那么在运行时可能会引发错误。