TypeScript联合类型与字面量类型实战指南

1. TypeScript类型系统设计哲学

TypeScript作为JavaScript的超集，其核心价值在于为动态类型语言添加静态类型检查能力。这种设计选择背后蕴含着三个关键考量：

第一，类型系统需要保持与JavaScript生态的高度兼容。这意味着TypeScript必须能够优雅地处理JS中常见的动态模式，比如一个变量可能具有多种类型的情况。联合类型(Union Types)正是为此而生，它允许我们将多个类型组合成一个新类型，完美映射了JS中变量类型动态变化的场景。

第二，类型系统需要提供足够的表达能力来捕获业务逻辑中的细微差别。字面量类型(Literal Types)就是这种理念的体现，它让我们能够将具体的值作为类型使用，从而在类型层面区分"red"和"blue"这样的具体值，而不仅仅是string这样的宽泛类型。

第三，类型系统需要渐进式可扩展。开发者可以从简单的any类型开始，逐步添加更精确的类型约束。联合类型和字面量类型都支持这种渐进式演进，它们可以与其他类型特性组合使用，形成越来越精确的类型约束。

实际工程中，我建议团队在项目初期就建立明确的类型策略。过早追求完美的类型约束会导致开发效率下降，而过晚引入精确类型则可能积累大量技术债务。

2. 联合类型的本质与应用场景

2.1 联合类型的语法与基础用法

联合类型使用|操作符将多个类型组合在一起，形成一个新的类型。这个新类型表示值可以是其中任何一个类型的实例：

typescript复制type StringOrNumber = string | number;

function printId(id: StringOrNumber) {
  console.log(id);
}

printId(101);    // 合法
printId("ABC");  // 合法
printId(true);   // 类型错误

这种语法看似简单，但背后蕴含着强大的类型表达能力。在实际项目中，我发现联合类型最常见的应用场景包括：

1. 处理来自外部系统的数据（如API响应），其中某个字段可能有多种类型
2. 表示组件的props或函数的参数，这些值可能有有限的几种类型变体
3. 对已有类型进行扩展，而不破坏现有代码的类型安全

2.2 类型收窄与