TypeScript 高级类型：联合类型与交叉类型

TypeScript 是一种强类型的编程语言，它在 JavaScript 的基础上增加了类型系统。高级类型是 TypeScript 的一大特色，其中联合类型和交叉类型是两个非常重要的概念。本文将详细探讨这两种类型的定义、用法、优缺点以及注意事项，并通过丰富的示例代码来帮助理解。

1. 联合类型（Union Types）

1.1 定义

联合类型允许一个变量可以是多种类型中的一种。使用 | 符号来定义联合类型。例如，string | number 表示一个变量可以是字符串或数字。

1.2 示例代码

function printId(id: string | number) {
    console.log(`Your ID is: ${id}`);
}

printId(101); // 输出: Your ID is: 101
printId("202"); // 输出: Your ID is: 202

1.3 优点

灵活性：联合类型使得函数和变量可以接受多种类型的输入，增加了代码的灵活性。
类型安全：TypeScript 会在编译时检查类型，确保传入的参数符合定义的联合类型。

1.4 缺点

类型缩小：在使用联合类型时，TypeScript 可能无法自动推断出具体的类型，导致需要手动进行类型检查。

function printId(id: string | number) {
    if (typeof id === "string") {
        console.log(`Your ID is: ${id.toUpperCase()}`); // 需要手动检查类型
    } else {
        console.log(`Your ID is: ${id.toFixed(2)}`); // 需要手动检查类型
    }
}

1.5 注意事项

类型保护：在使用联合类型时，建议使用类型保护（如 typeof 或 instanceof）来确保在使用变量之前确定其具体类型。
复杂联合类型：当联合类型变得复杂时，可能会导致代码可读性下降，因此应适度使用。

2. 交叉类型（Intersection Types）

2.1 定义

交叉类型允许将多个类型合并为一个类型。使用 & 符号来定义交叉类型。例如，A & B 表示一个类型同时具有 A 和 B 的所有属性。

2.2 示例代码

interface Person {
    name: string;
    age: number;
}

interface Employee {
    employeeId: number;
}

type EmployeePerson = Person & Employee;

const employee: EmployeePerson = {
    name: "Alice",
    age: 30,
    employeeId: 12345
};

console.log(employee);

2.3 优点

组合能力：交叉类型允许将多个类型的特性组合在一起，创建出更复杂的类型。
类型安全：TypeScript 会确保交叉类型的对象同时满足所有类型的要求。

2.4 缺点

复杂性：交叉类型可能导致类型变得复杂，尤其是在合并多个接口时，可能会引入不必要的复杂性。

interface A {
    x: number;
}

interface B {
    y: number;
}

interface C {
    z: number;
}

type D = A & B & C; // 复杂的交叉类型

const obj: D = {
    x: 1,
    y: 2,
    z: 3
};

2.5 注意事项

属性冲突：在使用交叉类型时，如果不同类型中有相同的属性名但类型不同，TypeScript 会报错。

interface A {
    name: string;
}

interface B {
    name: number; // 属性冲突
}

type C = A & B; // 会导致错误

可读性：交叉类型的可读性可能会受到影响，尤其是在合并多个复杂类型时，建议适度使用。

3. 联合类型与交叉类型的比较

| 特性 | 联合类型 | 交叉类型 | |--------------|------------------------------|------------------------------| | 定义方式 | A | B | A & B | | 用途 | 表示一个值可以是多种类型之一 | 表示一个值同时具有多种类型的特性 | | 类型安全性 | 需要手动检查类型 | 自动合并类型 | | 复杂性 | 相对简单 | 可能变得复杂 |

4. 结论

联合类型和交叉类型是 TypeScript 中非常强大的工具，它们为开发者提供了灵活性和类型安全。通过合理使用这两种类型，可以编写出更健壮和可维护的代码。然而，开发者在使用时也需要注意类型的复杂性和可读性，确保代码的清晰和易于理解。

希望本文能帮助你更深入地理解 TypeScript 的联合类型和交叉类型，并在实际开发中灵活运用。