企业官网建设流程全解析

• 文档
• 教程

本文是《The Concise TypeScript Book》系列的第 17 讲，围绕仓库 literal-types.md（韩文版见 ko-kr/book/literal-types.md）展开。字面量类型是 TypeScript 类型系统的地基之一：它把"值"本身变成"类型"，让编译器能以单个精确值（而非宽泛的string/number/boolean）参与类型检查。读完本文，你将掌握字符串/数字/布尔字面量类型的定义方式、它与const/let推断规则的关系、如何借助联合类型与类型别名组合出业务枚举，以及如何在类型守卫（narrowing）与模板字面量类型中发挥它的实战威力。

一、什么是字面量类型

字面量类型（Literal Type）是"集合类型内部只包含单个元素"的集合：它定义一个非常精确的值，该值必须是某个 JavaScript 原始值。

TypeScript 中的字面量类型有三种：数字字面量、字符串字面量和布尔字面量。

const a = 'a'; // 字符串字面量类型（String literal type） const b = 1; // 数字字面量类型（Numeric literal type） const c = true; // 布尔字面量类型（Boolean literal type）

其核心特征在于：字面量类型的可接受值只有一个。'a'这个字面量类型只接受字符串'a'，不接受'b'；1只接受数字1，不接受2；true只接受true，不接受false。这一点与普通的宽泛类型（string、number、boolean）形成鲜明对比——宽泛类型接受该大类下的任意值。

从本仓库的 built-in-type-primitives.md 可以看到，TypeScript 的内置类型原语中string表示文本数据、number表示整数与浮点数、boolean表示逻辑值。字面量类型正是这些原语类型在"值域"上的精确收缩。

二、三种字面量类型详解

2.1 字符串字面量类型（String Literal Type）

字符串字面量类型把某一个具体字符串当作类型使用，最常见的场景是与联合类型组合：

type O = 'a' | 'b' | 'c';

在上面的例子中，O只由指定的三个值构成，任何其他字符串都不是合法的O：

let v1: O = 'a'; // ✅ 合法 let v2: O = 'b'; // ✅ 合法 let v3: O = 'd'; // ❌ 报错：类型 '"d"' 不能赋值给类型 'O'

字符串字面量通常用于表达有限的"状态集"，例如 HTTP 方法、页面路由名、事件类型等，是构建受控枚举的重要手段。

2.2 数字字面量类型（Numeric Literal Type）

数字字面量类型把某一个具体数字当作类型使用。参考仓库 primitive-types.md 的说明，number类型以 64 位浮点表示，可表达整数与小数，还支持十六进制（0x）、二进制（0b）、八进制（0o）字面量。这些写法同样可以出现在字面量类型的位置：

type SmallNumber = 1 | 2 | 3; type Port = 80 | 443 | 8080; const p: Port = 443; // ✅ 合法 const bad: Port = 3306; // ❌ 报错

数字字面量类型非常适合表达端口号、错误码、常量枚举值等"有限数值集合"。

2.3 布尔字面量类型（Boolean Literal Type）

布尔字面量类型只有两个可能值：true与false。它通常与联合类型配合，用于表达"二选一"的状态：

type Enabled = true | false; // 等价于 boolean，但显式表达了意图 type Flag = true | 'disabled'; // 混合联合也完全合法

需要说明的是，单独的type B = true | false在类型语义上等价于boolean，但布尔字面量真正的价值在于与区分联合（discriminated union）结合，充当可判别字段（discriminant），这一点在仓库的 discriminated-unions.md 章节有专门讲解。

三、字面量类型与const/let的推断规则

理解字面量类型绕不开 TypeScript 的"字面量推断"（Literal Inference）机制。仓库中的 literal-inference.md 专门讲解了这一点：

const x = 'x'; // 类型为字面量类型 'x'，因为该值此后无法改变 let y = 'y'; // 类型为 string，因为该值此后可以被修改

• 用const声明时，变量的值不可变，TypeScript 会保守地将类型推断为最精确的字面量类型（'x'）；
• 用let声明时，变量可被重新赋值，TypeScript 会将其**拓宽（widen）**为宽泛类型string。

同样的规则也适用于对象属性。下面的例子中，o.x被推断为string（而不是字面量'a'），因为 TypeScript 认为对象属性之后随时可能被修改：

type X = 'a' | 'b'; let o = { x: 'a', // 这里被拓宽为 string }; const fn = (x: X) => `${x}-foo`; console.log(fn(o.x)); // 报错：类型 'string' 不能赋值给类型 'X'

由于X是更窄（narrower）的类型，而o.x被推断为更宽（wider）的string，调用fn时会抛出编译错误。这一点与仓库 type-from-value.md 中"从值推断类型"的说明一致：const推断为字面量、let拓宽为宽泛类型。

解决方案一：使用as const断言，让属性保持字面量类型：

let o = { x: 'a' as const, // 现在 o.x 的类型是 'a' };

解决方案二：直接将属性断言为联合类型X：

let o = { x: 'a' as X, // 现在 o.x 的类型是 'a' | 'b' };

两种写法都能让fn(o.x)通过类型检查。区别在于：as const给出的是最窄的'a'，而as X给出的是联合'a' | 'b'，后者允许之后给o.x赋其他合法值。实际项目中若属性值只读、永不变化，优先使用as const。

四、联合类型与类型别名：字面量类型的主战场

字符串、数字、布尔字面量类型通常不会单独存在，而是与联合类型（Union Type）、**类型守卫（type guard）和类型别名（type alias）**配合使用。仓库 union-type.md 对联合类型给出了定义：联合类型表示一个值可以是若干类型之一，用|符号连接：

let x: string | number; x = 'hello'; // ✅ 合法 x = 123; // ✅ 合法

当联合类型的成员是字面量时，就构成"字面量联合类型"，这是 TypeScript 中模拟枚举的最常用手法：

// 字符串字面量联合：表达一组固定字符串 type Direction = 'north' | 'south' | 'east' | 'west'; type HttpMethod = 'GET' | 'POST' | 'PUT' | 'DELETE' | 'PATCH'; type Status = 'active' | 'inactive'; // 数字字面量联合：表达一组固定数值 type DiceRoll = 1 | 2 | 3 | 4 | 5 | 6; // 混合联合：不同类型的字面量也可以共存 type Mixed = 'a' | 1 | true;

通过type关键字给联合类型起别名后（如开篇的type O = 'a' | 'b' | 'c'），可以避免在多处重复书写一长串字面量，并在编译期获得强校验：任何不属于集合的字符串都会在编译阶段直接报错。这就是"编译器成为你的第一道测试防线"的典型体现。

五、类型守卫（Narrowing）：让字面量联合发挥运行时价值

字面量联合的另一个核心用途是配合 TypeScript 的类型收窄（narrowing）。仓库 narrowing.md 指出：TypeScript 收窄是指在条件分支内细化变量类型的过程，对联合类型尤其有用。其中与字面量类型最相关的是"相等性收窄（Equality narrowing）"——通过===、!==、==、!=或switch语句把变量的类型缩小到某个具体字面量：

const checkStatus = (status: 'success' | 'error') => { switch (status) { case 'success': return true; case 'error': return null; } };

在这个例子里，进入case 'success'分支后，status的类型从'success' | 'error'被收窄为'success'，因此编译器知道该分支的处理逻辑只针对成功态；case 'error'同理。这正是字面量联合类型在运行时控制流中体现价值的经典场景——类型系统在编译期就已完整枚举了所有可能分支，配合exhaustiveness-checking（穷尽性检查，见仓库 exhaustiveness-checking.md）还能保证switch覆盖所有情况。

其他收窄方式（如typeof类型守卫、真值收窄、in操作符收窄、instanceof收窄）虽然也常与联合类型一起出现，但只有相等性/switch收窄直接作用于字面量值本身，是字面量类型的专属搭档。

六、模板字面量类型：字面量的组合与运算

字面量类型还能参与模板字面量类型的组合运算，在类型系统内部对文本进行拼接与操作。仓库 template-union-types.md 给出了这一能力的最小示例：

type Status = 'active' | 'inactive'; type Products = 'p1' | 'p2'; type ProductId = `id-${Products}-${Status}`; // 展开后为： // "id-p1-active" | "id-p1-inactive" | "id-p2-active" | "id-p2-inactive"

模板字面量类型（Template Literal Types）会在联合类型的每一个成员上做笛卡尔积展开，把"字符串拼接"从运行时提前到了编译期。基于这个能力，可以进一步构造出强大的类型工具，例如：

// 为对象键生成事件名集合 type Events = 'click' | 'hover'; type EventHandlerMap = { [K in Events as `on${Capitalize<K>}`]: () => void; }; // 生成 { onClick: () => void; onHover: () => void }

在实际业务中，常见用法包括：ID 前缀规范（id-user-123）、事件名称生成（onClick/onInput）、状态机合法状态组合（如draft/published与操作组合）等，都可以在编译期获得全量校验。

七、字面量类型在项目中的最佳实践

结合本仓库书籍内容的整体编排（table-of-contents.md 可见本书共 50 余个章节，从原语类型、类型注解逐步深入到映射类型、条件类型），可以提炼出字面量类型的使用建议：

1. 优先用字面量联合替代随意字符串：对函数参数、对象属性使用type Status = 'active' | 'inactive'这样的窄类型，编译器能在编码期拦截拼写错误与非法值，而不是留到运行时才发现。
2. 理解const与let的推断差异：const产生字面量类型、let拓宽为宽泛类型；对象属性默认被拓宽，需要精确值时可使用as const或显式类型断言（参见 type-annotations.md 中"对象字面量总是补充类型"的建议）。
3. 与穷尽性检查配合：对字面量联合做switch收窄时，配合never类型的穷尽性检查（见 never-type.md 与 exhaustiveness-checking.md），确保未来新增枚举成员时编译器立刻提示未覆盖的分支。
4. 善用模板字面量类型做文本级约束：当字符串需要满足特定格式（如带前缀、带后缀、多段组合）时，用模板字面量类型在编译期表达格式约束。
5. 保持类型窄化：遵循本书一贯的"更窄类型更安全"理念——字面量联合比宽泛string更安全、更能表达领域语义。

需要说明的是，本文所引用的推断规则、联合类型、收窄机制与模板字面量类型，分别在本仓库的 literal-inference.md、union-type.md、narrowing.md、template-union-types.md 中有独立成章的详细讲解；各语言版本的对应章节位于website/src/content/docs/<locale>/book/目录下（如韩文版 ko-kr/book/literal-types.md、中文版 zh-cn/book/literal-types.md），可交叉阅读。

小结

字面量类型是 TypeScript 类型系统中"把值变为类型"的基础设施：它定义了精确到单个 JavaScript 原始值的类型，并借助const/let推断规则、联合类型、类型别名、相等性收窄与模板字面量类型，构建出编译期可校验的领域模型。掌握字面量类型，是理解 TypeScript 联合类型、可辨识联合、穷尽性检查等进阶主题的必经之路。

• 文档
• 教程