文档教程【免费下载链接】typescript-bookThe Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.项目地址https://gitcode.com/gh_mirrors/typ/typescript-book点击查看免费下载模板联合类型Template Union Types是 TypeScript 类型系统中“在类型层面处理字符串”的核心工具它把模板字面量语法...${T}...与联合类型组合起来让编译器自动展开出所有可能的字符串组合。本文以 The Concise TypeScript Book 中 模板联合类型一章 为骨架结合书中的字面量类型、联合类型、类型操纵等章节系统讲解其语法、推导规则与实战应用帮助读者掌握在类型系统中合并、操作和校验文本的能力。一、什么是模板联合类型The Concise TypeScript Book 对模板联合类型的定义非常精炼模板联合类型可用于在类型系统内部合并merge和操作manipulate文本。也就是说我们不再需要在运行时拼接字符串后再小心翼翼地维护对应的类型定义而是可以直接让类型系统替你生成全部合法字符串组合。原文档给出的核心示例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这里发生了两件事Products和Status都是联合类型Union Type分别表示两个和两个候选值模板字面量类型id-${Products}-${Status}对每个插槽中的联合类型做笛卡尔积展开最终得到 2 × 2 4 个字符串字面量类型。最终ProductId的类型等价于type ProductId | id-p1-active | id-p1-inactive | id-p2-active | id-p2-inactive;凡是赋值给ProductId的值只能是以上四种字符串之一其他任何字符串例如id-p3-active或id-p1-suspended都会在编译期被拒绝。二、构成模板联合类型的两个基础概念要透彻理解模板联合类型需要先回到本书前面章节铺垫的两个基础概念。2.1 字面量类型Literal Types在 Literal Types 一章 中本书指出字面量类型是“集体类型中的单元素集合”它定义了一个 JavaScript 原始类型的精确值。TypeScript 的字面量类型包括数字、字符串和布尔三种const a a; // String literal type const b 1; // Numeric literal type const c true; // Boolean literal type书中特别强调字符串、数字和布尔字面量类型通常与联合类型、类型守卫和类型别名配合使用。例如type O a | b | c;O只包含指定值任何其他字符串都不是合法值——这正是模板联合类型展开后所得结果的行为基础。2.2 联合类型Union Types在 Union Type 一章 中本书定义了联合类型它表示一个值可以是若干类型中的一种使用|符号连接每种可能的类型let x: string | number; x hello; // Valid x 123; // Valid模板联合类型就是把上述两者放进模板字面量语法中插槽位置放入的联合类型中的每一个字面量成员都会参与一次模板的完整展开。联合类型有多少个成员、模板中有多少个插槽决定了最终联合类型包含多少个字符串字面量。三、展开规则编译器如何生成全部组合模板联合类型的展开遵循“插槽逐个求值、成员两两组合”的规则。设模板中有n个插槽每个插槽对应的联合类型成员数分别为m₁, m₂, …, mₙ则最终生成的联合类型包含m₁ × m₂ × … × mₙ个字符串字面量。原文档示例中Products有 2 个成员、Status有 2 个成员因此展开结果为 2 × 2 4 个组合插槽一Products插槽二Status展开结果p1activeid-p1-activep1inactiveid-p1-inactivep2activeid-p2-activep2inactiveid-p2-inactive在本书 Others 一章的 Template Literal Types 小节 中还有一个结构完全相同的示例只是插槽更多、语义更接近真实业务type Department engineering | hr; type Language english | spanish; type Id ${Department}-${Language}-id; // engineering-english-id | engineering-spanish-id | hr-english-id | hr-spanish-id两个示例共同说明了一条通用规则模板中的静态文本id-、-、-id等会原样保留动态插槽中的联合成员会被逐一替换并组合。这也解释了为什么书中将这类类型命名为“模板联合类型”——它本质上是模板字面量类型与联合类型的结合产物。四、实战应用把非法字符串挡在编译期模板联合类型最直接的价值是把“字符串格式是否正确”的校验从运行时提前到编译期。下面给出一个基于原文档示例扩展的完整场景。假设电商系统中需要为商品 ID 建立强类型约束type Status active | inactive; type Products p1 | p2; type ProductId id-${Products}-${Status}; // 合法完全匹配展开后的四种字符串之一 const validId: ProductId id-p1-active; // 编译错误p3 不在 Products 联合中 // const invalidProduct: ProductId id-p3-active; // 编译错误suspended 不在 Status 联合中 // const invalidStatus: ProductId id-p1-suspended; // 编译错误缺少模板中的静态前缀 id- // const missingPrefix: ProductId p1-active;如果把该类型用于函数参数还可以进一步与本书 Type from Func Return 一章 提到的返回类型推导结合构建端到端的字符串约束function createProductId(product: Products, status: Status): ProductId { return id-${product}-${status}; // 返回类型自动收窄为 ProductId }此时调用方传入任何无法构成合法 ID 的组合都会被编译器拦截字符串格式约定从“文档注释”升级为“类型契约”。五、与类型操纵工具的配合在类型层面改写字符串模板联合类型并不是孤立存在的它属于本书 Type Manipulation 一章 所描述的“由类型创建类型”的范畴。该书在该章节中列出了几个与字符串处理直接相关的内置工具类型它们可以作用在模板联合类型展开的结果之上实现类型层面的字符串改写type UppercaseT // 将输入类型的名称转为大写 type LowercaseT // 将输入类型的名称转为小写 type CapitalizeT // 将输入类型的首字母大写 type UncapitalizeT // 将输入类型的首字母小写例如先定义模板联合类型再通过工具类型派生新类型type Status active | inactive; type Products p1 | p2; type ProductId id-${Products}-${Status}; type UpperProductId UppercaseProductId; // ID-P1-ACTIVE | ID-P1-INACTIVE | ID-P2-ACTIVE | ID-P2-INACTIVE type TitleStatus CapitalizeStatus; // Active | Inactive这种“模板联合类型生成候选字符串工具类型负责格式化”的组合方式正是模板联合类型能够承担真实代码库中枚举、事件名、路由路径、CSS 类名等字符串协议建模的原因。六、与相邻章节的关系及阅读路径在本书的目录结构见 Table of Contents 一章中模板联合类型排在“类型操纵与推断”主题群的中后段紧跟在 Predefined Conditional Types 之后与其关系最密切的前置章节包括Literal Types理解字符串字面量如何构成联合成员Union Type理解|联合语义Type Manipulation理解模板联合类型在“由类型创建类型”体系中的位置以及Uppercase等配套工具类型Others 一章的 Template Literal Types 小节提供第二个同构示例帮助巩固展开规则。此外模板联合类型与书中的 Template String Pattern Index Signatures模板字符串模式索引签名同属“类型系统内的字符串处理”主题前者用于定义字符串值本身后者用于约束对象索引键的模式读者可以对照学习。七、小结模板联合类型的核心思想可以用一句话概括在类型系统内部合并和操作文本。它由模板字面量语法与联合类型组合而成编译器自动完成多插槽的笛卡尔积展开把原本需要运行时校验的字符串格式约束提前到编译期。掌握它需要三个支点字面量类型与联合类型是构成展开的基础展开规则是“每个插槽的每个成员参与组合”成员数与插槽数决定最终联合的大小与Uppercase、Capitalize等类型操纵工具配合可以构建完整的类型级字符串处理管线。结合 The Concise TypeScript Book 的 模板联合类型原文档 与上述相邻章节反复练习即可在项目中将字符串协议建模为类型约束获得更强的类型安全与更好的代码自文档化能力。赞分享文档教程【免费下载链接】typescript-bookThe Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.项目地址https://gitcode.com/gh_mirrors/typ/typescript-book点击查看免费下载相关推荐The Concise TypeScript Book 之模板联合类型Template Union Types实战详解The Concise TypeScript Book 之模板联合类型Template Union Types实战详解 本文以《The Concise Ty文档教程The Concise TypeScript Book 联合类型Union Type完全指南| 语法、类型收窄与可辨识联合实战The Concise TypeScript Book 联合类型Union Type完全指南 | 语法、类型收窄与可辨识联合实战 联合类型Union T文档教程The Concise TypeScript Book 精读TypeScript 原始类型Primitive Types完全指南The Concise TypeScript Book 精读TypeScript 原始类型Primitive Types完全指南 本文以开源书籍项目 Th文档教程上一篇终极3DS Homebrew管理指南Universal-Updater完整使用教程下一篇VideoDownloadHelper智能视频下载助手轻松保存在线视频资源创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考