## 2.6 字面量类型与联合/交叉类型

文档摘要

## 2.6 字面量类型与联合/交叉类型第二章：类型系统核心原理 2.6 字面量类型与联合/交叉类型当我们谈论TypeScript类型系统的精妙之处时，字面量类型与联合/交叉类型的组合堪称这门语言最具革命性的设计之一。它们不仅是静态类型检查的工具，更是构建领域特定语言、实现编译期编程的基石。本章将深入探讨这些类型构造器的内在机理，揭示其背后的数学原理，并剖析现代TypeScript开发中那些令人叹为观止的类型体操技巧。字面量类型：从值到类型的升华字面量类型（Literal Types）的本质，是将JavaScript运行时的具体值提升到编译时的类型层面。这种提升并非简单的映射，而是类型系统对值空间进行精确建模的过程。