在 TypeScript 中，类型守卫、联合类型和交叉类型是三个常用的类型相关概念。
-
类型守卫（Type Guards）是一种在运行时检查类型的机制，用于确定一个值属于哪种类型。通过类型守卫，可以在代码中进行条件判断，并在相应的分支中使用具体的类型。常见的类型守卫有 typeof、instanceof、in 和自定义用户谓词函数（User-Defined Type Guards）等。例如，通过使用 typeof 和 instanceof 可以判断值是字符串还是数组，从而可以在代码中使用不同的类型。
-
联合类型（Union Types）是指在类型声明中使用竖线（|）将多个类型组合成一个类型。联合类型表示一个变量可以具有多种可能的类型。可以使用类型守卫来区分联合类型中的具体类型，以便在代码中处理不同的情况。
例如，可以定义一个变量的类型为 string | number，表示该变量可以是一个字符串或一个数字。通过类型守卫可以在代码中判断该变量的具体类型，并进行相应的操作。
- 交叉类型（Intersection Types）是指使用与号（&）将多个类型合并成一个类型。交叉类型表示一个变量具有多个类型的所有特性。可以通过使用交叉类型，将多个接口或类型进行合并，从而创建新的类型。
例如，可以定义一个类型 A 和类型 B，然后使用 A & B 创建一个新的类型，表示该类型具有 A 和 B 的所有特性。
总结起来，类型守卫可以帮助我们在运行时判断一个值的类型，联合类型可以表示一个变量具有多种可能的类型，而交叉类型可以将多个类型合并成一个类型。这些概念在 TypeScript 中非常有用，可以帮助更精确地定义和操作变量的类型。