尧图网页设计 
文档教程【免费下载链接】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点击查看免费下载判别联合Discriminated Unions是 TypeScript 类型系统中面向数据形状多变场景的核心建模工具它以联合类型Union Type为基础借助一个共享的字面量判别属性Discriminant让编译器在switch/if分支中自动收窄narrow变量类型从而以类型安全的方式处理同一抽象下的不同变体。本文以《The Concise TypeScript Book》的 判别联合章节 为主线结合本书仓库中关于类型收窄、控制流分析与穷尽性检查的相关章节从定义、组成要素、完整示例到底层原理与工程实践逐层展开读完你将能够用判别联合建模状态机、解析 AST、处理网络请求结果等典型场景并配合never类型实现编译期的穷尽性校验。一、什么是判别联合在 Union Type 章节 中我们知道联合类型用|符号表示一个值可以是若干种类型之一let x: string | number; x hello; // Valid x 123; // Valid但普通的联合类型在分支处理时很笨重——编译器只知道x可能是string或number却不知道如何区分它们。判别联合正是在此基础上的一次升级它是一种特殊的联合类型利用每个成员共有的一个属性称为判别属性 Discriminant通常是字面量类型把可能是什么收窄为当前确定是什么。用书中原话概括判别联合使用一个共同属性——判别属性discriminant——来缩小联合类型的可能类型集合。只要所有成员都具备该属性且该属性在成员间取互不相同的字面量值TypeScript 就能依据它的取值在分支中精确推断出当前成员的具体类型。二、判别联合的三个组成要素一个规范的判别联合由以下三部分构成要素说明示例判别属性Discriminant每个成员类型共有的属性通常命名为kind、type、status等取值为字面量类型kind: square字面量类型Literal Types判别属性必须是字符串、数字或布尔字面量类型见 Literal Types 章节square、circle联合类型Union将所有成员类型用|组合type Shape Square \| Circle判别属性是关键。正如 Literal Types 章节 指出的字面量类型是集体类型内的单元素集合字符串、数字、布尔字面量都可以作为判别值。它们被广泛用于联合、类型守卫type guards与类型别名中const a a; // String literal type const b 1; // Numeric literal type const c true; // Boolean literal type type O a | b | c; // 仅由指定值构成其他字符串均不合法判别联合把这些字面量类型作为标签固定在每个成员上使其成为可被编译器识别和区分的唯一标识。三、完整示例用判别联合计算图形面积这是原文档给出的核心示例它完整展示了判别联合的定义与使用流程。我们将它作为贯穿全文的基准案例type Square { kind: square; // Discriminant size: number; }; type Circle { kind: circle; // Discriminant radius: number; }; type Shape Square | Circle; const area (shape: Shape) { switch (shape.kind) { case square: return Math.pow(shape.size, 2); case circle: return Math.PI * Math.pow(shape.radius, 2); } }; const square: Square { kind: square, size: 5 }; const circle: Circle { kind: circle, radius: 2 }; console.log(area(square)); // 25 console.log(area(circle)); // 12.566370614359172逐行拆解这个示例Square与Circle各自拥有一个kind字段分别取字符串字面量square与circle——这就是判别属性type Shape Square | Circle把它们组合成判别联合area函数接收Shape在switch (shape.kind)中TypeScript 依据case square/case circle将shape分别收窄为Square与Circle收窄后shape.size与shape.radius都能被编译器正确识别无需任何类型断言type assertion。这里体现了判别联合相比手动判断的核心优势分支内的属性访问是类型安全的。若在case circle分支中错误地访问shape.size编译器会立即报错因为此时shape已经被收窄为Circle。四、判别联合与类型收窄Narrowing判别联合的威力必须通过类型收窄才能显现。在 Narrowing 章节 中TypeScript 被定义为在条件块内细化变量类型的过程并列举了多种收窄手段。判别联合主要与其中两类配合使用4.1 Equality narrowing等值收窄书中指出等值收窄通过判断变量是否等于某个具体值来缩小类型常与switch语句以及、!、、!运算符搭配使用const checkStatus (status: success | error) { switch (status) { case success: return true; case error: return null; } };这正是判别联合的工作机制case square本质上是判别属性等于字面量square的等值判断编译器由此把该分支中的shape收窄为Square。4.2 In Operator narrowingin运算符收窄当成员之间没有共有的判别属性时可以改用in运算符判断属性是否存在来收窄type Dog { name: string; breed: string; }; type Cat { name: string; likesCream: boolean; }; const getAnimalType (pet: Dog | Cat) { if (breed in pet) { return dog; } else { return cat; } };但需要注意的是这种方式远不如判别联合可靠它依赖属性是否存在而非属性取值当多个成员共享部分属性时容易产生歧义。相比之下判别联合用唯一确定的字面量标签区分成员语义更清晰、更不易出错。此外仓库的 Narrowing 章节 还介绍了typeof类型守卫typeof x number、真值收窄Truthiness narrowingif (name)与instanceof收窄这些适合处理原始类型、可空值与类实例而判别联合则专攻对象结构体之间的区分。五、判别联合 never 类型 编译期穷尽性检查判别联合最常见的进阶用法是配合never类型实现穷尽性检查Exhaustiveness checking。仓库的 Exhaustiveness checking 章节 专门讲解了这个模式type Direction up | down; const move (direction: Direction) { switch (direction) { case up: console.log(Moving up); break; case down: console.log(Moving down); break; default: const exhaustiveCheck: never direction; console.log(exhaustiveCheck); // This line will never be executed } };其原理正如该章节所述never类型用于确保 default 分支是穷尽的一旦 Direction 类型新增了值而没有在 switch 中被处理TypeScript 就会在const exhaustiveCheck: never direction处报错。因为此时direction被收窄为一个不可能存在的值它只能赋给never若联合中还有未被处理的成员direction仍有实际类型赋值就会失败。关于never的语义The never Type 章节 给出了补充说明当变量被收窄到不含任何值的类型时编译器会推断它为never——它表示一个永远不会被产生的值const printValue (val: string | number) { if (typeof val string) { console.log(val.toUpperCase()); } else if (typeof val number) { console.log(val.toFixed(2)); } else { // val 在这里是 never它不可能既不是 string 也不是 number const neverVal: never val; console.log(Unexpected value: ${neverVal}); } };将两个章节的模式组合起来就能得到工程上标准的判别联合 穷尽性检查样板给判别联合的switch加上default分支并把分支变量断言为never。未来任何开发者新增一个成员类型例如为Shape增加Triangle却忘记处理时编译阶段就会立刻暴露问题而不是等到运行时产生未定义行为。这相当于把遗漏分支这一运行时错误提前转移到了编译期。六、底层原理控制流分析如何驱动收窄为什么判别联合能在分支中精确收窄类型答案在 Control Flow Analysis 章节TypeScript 会对代码流进行静态分析推断变量在各代码路径上的类型并依据分析结果自动收窄。该章节还强调了一个版本相关的细节TypeScript 4.4 之前控制流分析只作用于if语句内部从 4.4 起它也能作用于条件表达式以及通过 const 变量间接引用的判别属性访问const f2 ( obj: { kind: foo; foo: string } | { kind: bar; bar: number } ) { const isFoo obj.kind foo; if (isFoo) { obj.foo; } else { obj.bar; } };这里把obj.kind foo的结果存入 const 变量isFoo再在if (isFoo)中访问obj.foo编译器依然能完成收窄。该章节同时指出了收窄失效的两种情况const f1 (x: unknown) { let isString typeof x string; // 注意let 而非 const if (isString) { x.length; // ErrorisString 不是 const不触发收窄 } }; const f6 ( obj: { kind: foo; foo: string } | { kind: bar; bar: number } ) { const isFoo obj.kind foo; obj obj; // obj 在函数体内被重新赋值 if (isFoo) { obj.foo; // Errorobj 被赋值过收窄失效 } };从中可以总结出编写判别联合代码的约束判别条件应保存在 const 变量中且被判断的对象在分支前不应被重新赋值条件表达式中的间接引用分析最多支持五层间接该章节明确注明了这一限制。理解这些约束能帮助你在实际编码时避免明明写了判断却不收窄的困惑。七、工程实践判别联合的建模选择与进阶技巧7.1 用 type 而非 interface 定义判别联合判别联合通常使用type关键字定义。仓库的 Differences between Type and Interface 章节 解释了原因接口支持声明合并多个同名 interface 会被合并这会破坏判别联合成员可精确区分的封闭性类型别名更灵活type可以用|直接组合联合类型也可以组合接口interface A { x: x; } interface B { y: y; } type C A | B; // 接口的联合虽然接口也能通过type C A | B间接参与联合但type声明联合与交叉类型的能力更直接、更内聚因此判别联合的惯用写法是以type定义每个成员与整体联合。7.2 用模板字面量类型扩展判别值当判别属性需要表达组合语义时可以结合 Template Union Types 章节 的模板字面量类型在类型系统中生成枚举值集合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这类由模板字面量生成的联合值同样可以作为判别属性的取值来源让判别联合在更复杂的业务枚举下保持类型安全。7.3 典型应用场景速览判别联合在实际项目中高频出现的场景包括状态机建模以state: loading | success | error为判别属性每个状态携带不同的数据字段网络请求结果Success带data与Failure带error的联合避免幽灵字段AST 节点表示每种节点类型共享type判别属性携带各自专有属性UI 组件变体不同变体组件通过判别属性携带不同配置项配合switch渲染。所有场景共享同一套模式先定义带唯一字面量判别属性的成员类型再组合成联合最后在分支中依赖编译器自动收窄并配合never做穷尽性兜底。八、结语判别联合是 TypeScript 将运行时分支逻辑与编译期类型安全结合的典范。它的价值链条可以完整串起本书多个章节的知识以 Literal Types 的字面量作为判别属性以 Union Type 作为组合载体借助 Narrowing 与控制流分析Control Flow Analysis在分支内收窄类型再以 never 类型 实现 穷尽性检查。掌握这一模式你的代码将获得两层保障分支内绝无错误的属性访问遗漏新成员时编译器第一时间报警。无论是重构既有代码还是设计新模块判别联合都值得作为首选的数据建模方案。本文基于开源仓库 typ/typescript-bookThe Concise TypeScript Book的俄语版 判别联合章节 展开正文中的全部代码示例与原理说明均可在仓库 website/src/content/docs/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点击查看免费下载相关推荐TypeScript 判别联合Discriminated Unions实战指南用判别属性实现精准类型收窄与穷尽性检查TypeScript 判别联合Discriminated Unions实战指南用判别属性实现精准类型收窄与穷尽性检查 本文是开源项目《The Concis文档教程TypeScript 判别联合Discriminated Unions实战指南用 kind 判别属性驱动类型收窄TypeScript 判别联合Discriminated Unions实战指南用 kind 判别属性驱动类型收窄 判别联合Discriminated U文档教程TypeScript 可辨识联合Discriminated Unions详解从判别属性到穷尽性检查TypeScript 可辨识联合Discriminated Unions详解从判别属性到穷尽性检查 导读 可辨识联合Discriminated Unio文档教程上一篇gh_mirrors/ex/expr反射性能优化减少运行时开销下一篇终极指南HackRF天线极化测试实战技巧创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 深入解析 TypeScript 判别联合（Discriminated Unions）：判别属性、类型收窄与穷尽性检查实战指南
文档教程【免费下载链接】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点击查看免费下载判别联合Discriminated Unions是 TypeScript 类型系统中面向数据形状多变场景的核心建模工具它以联合类型Union Type为基础借助一个共享的字面量判别属性Discriminant让编译器在switch/if分支中自动收窄narrow变量类型从而以类型安全的方式处理同一抽象下的不同变体。本文以《The Concise TypeScript Book》的 判别联合章节 为主线结合本书仓库中关于类型收窄、控制流分析与穷尽性检查的相关章节从定义、组成要素、完整示例到底层原理与工程实践逐层展开读完你将能够用判别联合建模状态机、解析 AST、处理网络请求结果等典型场景并配合never类型实现编译期的穷尽性校验。一、什么是判别联合在 Union Type 章节 中我们知道联合类型用|符号表示一个值可以是若干种类型之一let x: string | number; x hello; // Valid x 123; // Valid但普通的联合类型在分支处理时很笨重——编译器只知道x可能是string或number却不知道如何区分它们。判别联合正是在此基础上的一次升级它是一种特殊的联合类型利用每个成员共有的一个属性称为判别属性 Discriminant通常是字面量类型把可能是什么收窄为当前确定是什么。用书中原话概括判别联合使用一个共同属性——判别属性discriminant——来缩小联合类型的可能类型集合。只要所有成员都具备该属性且该属性在成员间取互不相同的字面量值TypeScript 就能依据它的取值在分支中精确推断出当前成员的具体类型。二、判别联合的三个组成要素一个规范的判别联合由以下三部分构成要素说明示例判别属性Discriminant每个成员类型共有的属性通常命名为kind、type、status等取值为字面量类型kind: square字面量类型Literal Types判别属性必须是字符串、数字或布尔字面量类型见 Literal Types 章节square、circle联合类型Union将所有成员类型用|组合type Shape Square \| Circle判别属性是关键。正如 Literal Types 章节 指出的字面量类型是集体类型内的单元素集合字符串、数字、布尔字面量都可以作为判别值。它们被广泛用于联合、类型守卫type guards与类型别名中const a a; // String literal type const b 1; // Numeric literal type const c true; // Boolean literal type type O a | b | c; // 仅由指定值构成其他字符串均不合法判别联合把这些字面量类型作为标签固定在每个成员上使其成为可被编译器识别和区分的唯一标识。三、完整示例用判别联合计算图形面积这是原文档给出的核心示例它完整展示了判别联合的定义与使用流程。我们将它作为贯穿全文的基准案例type Square { kind: square; // Discriminant size: number; }; type Circle { kind: circle; // Discriminant radius: number; }; type Shape Square | Circle; const area (shape: Shape) { switch (shape.kind) { case square: return Math.pow(shape.size, 2); case circle: return Math.PI * Math.pow(shape.radius, 2); } }; const square: Square { kind: square, size: 5 }; const circle: Circle { kind: circle, radius: 2 }; console.log(area(square)); // 25 console.log(area(circle)); // 12.566370614359172逐行拆解这个示例Square与Circle各自拥有一个kind字段分别取字符串字面量square与circle——这就是判别属性type Shape Square | Circle把它们组合成判别联合area函数接收Shape在switch (shape.kind)中TypeScript 依据case square/case circle将shape分别收窄为Square与Circle收窄后shape.size与shape.radius都能被编译器正确识别无需任何类型断言type assertion。这里体现了判别联合相比手动判断的核心优势分支内的属性访问是类型安全的。若在case circle分支中错误地访问shape.size编译器会立即报错因为此时shape已经被收窄为Circle。四、判别联合与类型收窄Narrowing判别联合的威力必须通过类型收窄才能显现。在 Narrowing 章节 中TypeScript 被定义为在条件块内细化变量类型的过程并列举了多种收窄手段。判别联合主要与其中两类配合使用4.1 Equality narrowing等值收窄书中指出等值收窄通过判断变量是否等于某个具体值来缩小类型常与switch语句以及、!、、!运算符搭配使用const checkStatus (status: success | error) { switch (status) { case success: return true; case error: return null; } };这正是判别联合的工作机制case square本质上是判别属性等于字面量square的等值判断编译器由此把该分支中的shape收窄为Square。4.2 In Operator narrowingin运算符收窄当成员之间没有共有的判别属性时可以改用in运算符判断属性是否存在来收窄type Dog { name: string; breed: string; }; type Cat { name: string; likesCream: boolean; }; const getAnimalType (pet: Dog | Cat) { if (breed in pet) { return dog; } else { return cat; } };但需要注意的是这种方式远不如判别联合可靠它依赖属性是否存在而非属性取值当多个成员共享部分属性时容易产生歧义。相比之下判别联合用唯一确定的字面量标签区分成员语义更清晰、更不易出错。此外仓库的 Narrowing 章节 还介绍了typeof类型守卫typeof x number、真值收窄Truthiness narrowingif (name)与instanceof收窄这些适合处理原始类型、可空值与类实例而判别联合则专攻对象结构体之间的区分。五、判别联合 never 类型 编译期穷尽性检查判别联合最常见的进阶用法是配合never类型实现穷尽性检查Exhaustiveness checking。仓库的 Exhaustiveness checking 章节 专门讲解了这个模式type Direction up | down; const move (direction: Direction) { switch (direction) { case up: console.log(Moving up); break; case down: console.log(Moving down); break; default: const exhaustiveCheck: never direction; console.log(exhaustiveCheck); // This line will never be executed } };其原理正如该章节所述never类型用于确保 default 分支是穷尽的一旦 Direction 类型新增了值而没有在 switch 中被处理TypeScript 就会在const exhaustiveCheck: never direction处报错。因为此时direction被收窄为一个不可能存在的值它只能赋给never若联合中还有未被处理的成员direction仍有实际类型赋值就会失败。关于never的语义The never Type 章节 给出了补充说明当变量被收窄到不含任何值的类型时编译器会推断它为never——它表示一个永远不会被产生的值const printValue (val: string | number) { if (typeof val string) { console.log(val.toUpperCase()); } else if (typeof val number) { console.log(val.toFixed(2)); } else { // val 在这里是 never它不可能既不是 string 也不是 number const neverVal: never val; console.log(Unexpected value: ${neverVal}); } };将两个章节的模式组合起来就能得到工程上标准的判别联合 穷尽性检查样板给判别联合的switch加上default分支并把分支变量断言为never。未来任何开发者新增一个成员类型例如为Shape增加Triangle却忘记处理时编译阶段就会立刻暴露问题而不是等到运行时产生未定义行为。这相当于把遗漏分支这一运行时错误提前转移到了编译期。六、底层原理控制流分析如何驱动收窄为什么判别联合能在分支中精确收窄类型答案在 Control Flow Analysis 章节TypeScript 会对代码流进行静态分析推断变量在各代码路径上的类型并依据分析结果自动收窄。该章节还强调了一个版本相关的细节TypeScript 4.4 之前控制流分析只作用于if语句内部从 4.4 起它也能作用于条件表达式以及通过 const 变量间接引用的判别属性访问const f2 ( obj: { kind: foo; foo: string } | { kind: bar; bar: number } ) { const isFoo obj.kind foo; if (isFoo) { obj.foo; } else { obj.bar; } };这里把obj.kind foo的结果存入 const 变量isFoo再在if (isFoo)中访问obj.foo编译器依然能完成收窄。该章节同时指出了收窄失效的两种情况const f1 (x: unknown) { let isString typeof x string; // 注意let 而非 const if (isString) { x.length; // ErrorisString 不是 const不触发收窄 } }; const f6 ( obj: { kind: foo; foo: string } | { kind: bar; bar: number } ) { const isFoo obj.kind foo; obj obj; // obj 在函数体内被重新赋值 if (isFoo) { obj.foo; // Errorobj 被赋值过收窄失效 } };从中可以总结出编写判别联合代码的约束判别条件应保存在 const 变量中且被判断的对象在分支前不应被重新赋值条件表达式中的间接引用分析最多支持五层间接该章节明确注明了这一限制。理解这些约束能帮助你在实际编码时避免明明写了判断却不收窄的困惑。七、工程实践判别联合的建模选择与进阶技巧7.1 用 type 而非 interface 定义判别联合判别联合通常使用type关键字定义。仓库的 Differences between Type and Interface 章节 解释了原因接口支持声明合并多个同名 interface 会被合并这会破坏判别联合成员可精确区分的封闭性类型别名更灵活type可以用|直接组合联合类型也可以组合接口interface A { x: x; } interface B { y: y; } type C A | B; // 接口的联合虽然接口也能通过type C A | B间接参与联合但type声明联合与交叉类型的能力更直接、更内聚因此判别联合的惯用写法是以type定义每个成员与整体联合。7.2 用模板字面量类型扩展判别值当判别属性需要表达组合语义时可以结合 Template Union Types 章节 的模板字面量类型在类型系统中生成枚举值集合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这类由模板字面量生成的联合值同样可以作为判别属性的取值来源让判别联合在更复杂的业务枚举下保持类型安全。7.3 典型应用场景速览判别联合在实际项目中高频出现的场景包括状态机建模以state: loading | success | error为判别属性每个状态携带不同的数据字段网络请求结果Success带data与Failure带error的联合避免幽灵字段AST 节点表示每种节点类型共享type判别属性携带各自专有属性UI 组件变体不同变体组件通过判别属性携带不同配置项配合switch渲染。所有场景共享同一套模式先定义带唯一字面量判别属性的成员类型再组合成联合最后在分支中依赖编译器自动收窄并配合never做穷尽性兜底。八、结语判别联合是 TypeScript 将运行时分支逻辑与编译期类型安全结合的典范。它的价值链条可以完整串起本书多个章节的知识以 Literal Types 的字面量作为判别属性以 Union Type 作为组合载体借助 Narrowing 与控制流分析Control Flow Analysis在分支内收窄类型再以 never 类型 实现 穷尽性检查。掌握这一模式你的代码将获得两层保障分支内绝无错误的属性访问遗漏新成员时编译器第一时间报警。无论是重构既有代码还是设计新模块判别联合都值得作为首选的数据建模方案。本文基于开源仓库 typ/typescript-bookThe Concise TypeScript Book的俄语版 判别联合章节 展开正文中的全部代码示例与原理说明均可在仓库 website/src/content/docs/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点击查看免费下载相关推荐TypeScript 判别联合Discriminated Unions实战指南用判别属性实现精准类型收窄与穷尽性检查TypeScript 判别联合Discriminated Unions实战指南用判别属性实现精准类型收窄与穷尽性检查 本文是开源项目《The Concis文档教程TypeScript 判别联合Discriminated Unions实战指南用 kind 判别属性驱动类型收窄TypeScript 判别联合Discriminated Unions实战指南用 kind 判别属性驱动类型收窄 判别联合Discriminated U文档教程TypeScript 可辨识联合Discriminated Unions详解从判别属性到穷尽性检查TypeScript 可辨识联合Discriminated Unions详解从判别属性到穷尽性检查 导读 可辨识联合Discriminated Unio文档教程上一篇gh_mirrors/ex/expr反射性能优化减少运行时开销下一篇终极指南HackRF天线极化测试实战技巧创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考