请说说在TypeScript中什么是联合类型？

在TypeScript中，联合类型（Union Types）表示一个值可以是几种类型之一。我们使用竖线 | 来分隔每个类型，表示该变量可以是这些类型中的任意一个。

这是一个非常有用的特性，尤其是当你不知道变量会是什么类型，但它会是几个可能的类型之一时。联合类型允许你在编译时进行类型检查，以确保代码的健壮性和安全性。

例如，你可以定义一个变量，其类型可以是string或number：

let myVar: string | number;
myVar = "hello";  // 正确
myVar = 123;     // 正确
myVar = true;    // 错误，因为布尔值不在联合类型中

在处理联合类型的变量时，你可能需要进行类型保护或者类型断言，以确保在运行时能正确地处理不同类型的值。例如，你可以使用typeof进行类型保护：

if (typeof myVar === "string") {
    console.log(myVar.toUpperCase());  // 如果myVar是字符串，转换为大写
} else if (typeof myVar === "number") {
    console.log(myVar.toFixed(2));  // 如果myVar是数字，保留两位小数
}

或者，你也可以使用类型断言来告诉TypeScript编译器你确信某个联合类型的变量当前是什么类型：

let length: number = (myVar as string).length;  // 类型断言，告诉编译器myVar在这里是字符串类型

但请注意，类型断言会绕过TypeScript的类型系统，所以应谨慎使用，以免引入运行时错误。