在 TypeScript 中，联合类型（Union Types）是一种用于表示变量或参数可以具有多种类型的概念。它允许我们将多个类型中的一个或多个类型作为一个整体来使用。本文将详细介绍 TypeScript 联合类型的定义、使用场景和注意事项，并提供一些示例来帮助理解。
定义联合类型
在 TypeScript 中，可以使用 | 符号将多个类型组合成一个联合类型。例如：
let variable: string | number;上述代码定义了一个名为 variable 的变量，它可以是字符串类型或者数字类型。
使用联合类型
类型断言
当我们使用联合类型的变量时，有时候需要告诉 TypeScript 具体的类型，以便进行相应的操作。可以使用类型断言（Type Assertion）来实现。例如：
代码语言：typescript复制let variable: string | number;
(variable as string).length; // 当 variable 是字符串类型时，可以访问 length 属性
(variable as number).toFixed(2); // 当 variable 是数字类型时，可以调用 toFixed 方法上述代码演示了如何使用类型断言来访问联合类型变量的特定属性或方法。
类型保护
TypeScript 提供了一些机制来帮助我们在使用联合类型时进行类型保护，以减少可能出现的错误。以下是几种常见的类型保护方法：
类型判断
使用 typeof 操作符可以判断一个变量的类型。例如：
function process(variable: string | number) {
if (typeof variable === 'string') {
console.log(variable.length); // 可以访问 length 属性
} else {
console.log(variable.toFixed(2)); // 可以调用 toFixed 方法
}
}上述代码展示了如何利用 typeof 进行类型判断，从而在使用联合类型时实现类型保护。
类型区分
使用类型区分（Type Guard）可以根据条件判断不同的类型。以下是常见的类型区分方法：
instanceof 操作符
使用 instanceof 操作符可以判断一个对象是否为指定类的实例。例如：
class A {}
class B {}
function process(obj: A | B) {
if (obj instanceof A) {
console.log('This is an instance of A');
} else {
console.log('This is an instance of B');
}
}上述代码演示了如何使用 instanceof 进行类型区分。
自定义类型谓词
我们还可以使用自定义类型谓词（Type Predicate）来进行类型区分。例如：
代码语言：typescript复制interface Animal {
name: string;
}
interface Dog extends Animal {
breed: string;
}
interface Cat extends Animal {
color: string;
}
function isDog(animal: Animal): animal is Dog {
return (animal as Dog).breed !== undefined;
}
function process(animal: Dog | Cat) {
if (isDog(animal)) {
console.log('This is a dog');
} else {
console.log('This is a cat');
}
}上述代码中，isDog 函数是一个自定义的类型谓词，它返回一个布尔值，用于区分 Dog 类型和 Cat 类型。
交叉类型与联合类型的结合
在 TypeScript 中，还可以使用交叉类型（Intersection Types）和联合类型结合使用，从而实现更复杂的类型定义。例如：
代码语言：typescript复制interface A {
propA: number;
}
interface B {
propB: string;
}
type C = A & B;
type D = A | B;
let variable1: C;
let variable2: D;上述代码展示了如何使用交叉类型和联合类型结合来定义变量。
联合类型的限制和注意事项
在使用联合类型时，需要注意以下几点：
- 联合类型只能使用联合类型的公共属性或方法，即类型中共有的属性和方法；
- 联合类型不会进行类型缩小，即不能在运行时判断具体的类型；
- 无法对联合类型的变量进行修改，因为无法确定具体的类型。
总结
本文详细介绍了 TypeScript 联合类型的定义、使用场景和注意事项，并提供了一些示例帮助理解。我们学习了如何使用类型断言和类型保护来处理联合类型的变量，以及如何结合交叉类型使用联合类型。
通过灵活使用联合类型，我们可以处理多种类型的变量，提高代码的可读性和可维护性。在实际开发中，根据具体的需求选择合适的联合类型，有助于编写出更健壮和可靠的 TypeScript 代码。
