在TypeScript中如何正确地使用类型断言和类型检查？

在TypeScript中，类型断言和类型检查是用于处理类型安全的重要工具。类型断言允许开发者告诉编译器“相信我，我知道我在做什么”，而类型检查则用于在编译时验证变量的类型。

类型断言：
类型断言在TypeScript中用于明确指定某个值的类型，当你确定某个变量的类型不是TypeScript编译器所推断出的类型时，可以使用类型断言来告诉编译器正确的类型。TypeScript支持两种类型断言的语法：

1. 尖括号语法：

let someValue: any = "this is a string";
let strLength: number = (<string>someValue).length;

2. `as`语法（推荐在JSX中使用）：

let someValue: any = "this is a string";
let strLength: number = (someValue as string).length;

注意：在TypeScript中，当你使用JSX时，必须使用`as`语法来避免与JSX的尖括号产生冲突。

类型检查：
类型检查在TypeScript中主要是通过类型守卫（Type Guards）来实现的。类型守卫是对某个变量类型进行检查，并在之后的代码块中缩小类型的范围。TypeScript中的类型守卫包括但不限于以下几种方式：

1. typeof操作符：

function doSomething(value: number | string) {
    if (typeof value === "string") {
        // 在这里，value的类型被缩小为string
        console.log(value.toUpperCase());
    } else {
        // value的类型在这里是number
        console.log(value.toFixed(2));
    }
}

2. instanceof操作符：

class Bird {
    fly() {}
}

class Airplane {
    fly() {}
}

function getFlyingObject(obj: Bird | Airplane) {
    if (obj instanceof Bird) {
        // obj的类型在这里被缩小为Bird
        obj.fly();
    } else if (obj instanceof Airplane) {
        // obj的类型在这里被缩小为Airplane
        obj.fly();
    }
}

3. 自定义类型守卫函数：

function isFish(pet: Fish | Bird): pet is Fish {
    return (pet as Fish).swim !== undefined;
}

// 使用自定义的类型守卫函数
if (isFish(pet)) {
    pet.swim();
} else {
    pet.fly();
}