联合类型与类型断言实战TypeScript-New-Handbook 帮你消灭 80% 类型报错【免费下载链接】TypeScript-New-HandbookIncubation repository for the new TypeScript handbook 项目地址: https://gitcode.com/gh_mirrors/ty/TypeScript-New-Handbook如果你正在被 TypeScript 联合类型和类型断言相关的报错折磨那么这份基于 TypeScript-New-Handbook 的实战指南就是为你准备的。TypeScript-New-Handbook 是新一代 TypeScript 官方手册的孵化仓库在chapters/目录下系统收录了联合类型、类型收窄、类型断言等核心章节。跟着这份手册的脉络学习配合少量代码示例你可以快速理解类型系统的底层逻辑消灭日常开发中大约 80% 的类型报错。为什么 80% 的类型报错都源于类型不清在真实项目中类型报错往往不是因为你不会写 TypeScript而是因为值到底属于哪个类型这件事没有说清楚。最常见的两类场景是一个变量可能是多种类型之一比如接口返回的id可能是数字也可能是字符串你比 TypeScript 更清楚某个值的真实类型但编译器却不相信你。这两类问题对应的正是联合类型Union Types与类型断言Type Assertions。把这两个概念吃透就等于掌握了解决大多数类型报错的钥匙。联合类型入门一个参数多种可能联合类型允许一个值属于多种类型中的任意一种语法上使用|分隔。手册在 Everyday Types.md 的 Union Types 一节给出了经典示例function printId(id: number | string) { console.log(Your ID is: id); } printId(101); // OK printId(202); // OK printId([1, 2]); // Error这里number | string就是联合类型它的每个成员称为 union 的 member。联合类型的核心规则是你只能对联合类型执行对所有成员都有效的操作。例如id.toUpperCase()会报错因为number没有这个方法。联合类型使用技巧类型收窄是消灭报错的关键既然不能直接调用成员专属方法该怎么处理联合类型呢答案是类型收窄Narrowing。TypeScript 会根据代码结构自动推断出更具体的类型这正是 Narrowing.md 整章讲解的内容。常用的收窄手段包括typeof类型守卫判断基本类型最直接的方式typeof id string之后分支内id自动变成stringArray.isArray判断区分数组与其他类型真值收窄Truthiness Narrowing利用if (strs)排除null和undefinedin与instanceof收窄判断对象属性或实例归属等式收窄通过、!、switch精确锁定类型。来看一个典型例子function printId(id: number | string) { if (typeof id string) { // 这里 id 是 string console.log(id.toUpperCase()); } else { // 这里 id 是 number console.log(id); } }你不需要写任何额外的类型标注TypeScript 会自动完成收窄。这就是消灭 80% 类型报错的第一把钥匙用类型守卫代替any让类型跟着逻辑走。️高级技巧用可辨识联合管理复杂状态当联合类型的每个成员都包含一个字面量类型的公共属性时就构成了可辨识联合Discriminated Union。这是手册 Narrowing.md 中最实用的进阶技巧非常适合表达加载状态、消息事件等场景type Shape | { kind: circle; radius: number } | { kind: square; sideLength: number };只要公共属性kind是字面量类型TypeScript 就能在每个分支中精确收窄出对应的成员配合never类型做穷尽性检查Exhaustiveness Checking新增分支漏处理时编译器会直接报错从源头杜绝状态遗漏。✨类型断言实战正确的时机与正确的姿势有些场景下你比 TypeScript 更了解真相。比如从 DOM 中取元素getElementById返回类型偏宽泛此时可以用类型断言指定更具体的类型const myCanvas document.getElementById(main_canvas) as HTMLCanvasElement;Everyday Types.md 的 Type Assertions 一节明确指出两个关键点断言只影响编译期不会改变运行时行为也不会做任何运行时检查断言错误不会抛出异常TypeScript 只允许更具体或更宽泛的转换直接hello as number会报错。如果确有需要可以先用any或unknown过渡const a expr as any as T;类型断言 vs 类型守卫什么时候该用哪个很多新手分不清两者的边界这里给你一张决策清单场景推荐做法原因值可能是多种类型类型守卫 收窄运行时安全逻辑自证从宽泛 API 获取精确类型类型断言减少冗余代码处理未知来源的数据unknown 收窄强制校验杜绝隐患宁可少写代码滥用as any❌ 慎用等于放弃类型保护一句话总结能用收窄就用收窄断言是最后手段。类型断言是告诉编译器相信我而类型守卫是让编译器自己证明。配合 More on Functions.md 中关于函数重载与泛型的章节你就能在绝大多数场景下写出既安全又简洁的代码。️学习路线用 TypeScript-New-Handbook 从入门到实战如果你想让这套能力真正内化建议按下面的顺序阅读手册源码每一步都有配套的实战案例打基础从 Basics.md 理解类型系统设计初衷再精读 Everyday Types.md 掌握联合类型、类型别名与类型断言的完整语法学收窄完整过一遍 Narrowing.md重点练习typeof、真值、等式、in、instanceof六种收窄手段与可辨识联合拓边界结合 Object Types.md 与 More on Functions.md把联合类型应用到对象和函数场景读报错遇到看不懂的错误时翻一翻 Understanding Errors.md学会从错误信息反推类型问题。 小提示仓库的docs/chapters/目录下还有已编译好的 HTML 版本如docs/chapters/narrowing/index.html不想看 Markdown 源码时可以直接在浏览器里阅读体验更流畅。总结联合类型负责表达多种可能类型收窄负责在分支中锁定真相类型断言负责在确信时跳过检查——三者配合足以覆盖日常开发中绝大部分类型报错场景。TypeScript-New-Handbook 把这套知识体系讲得循序渐进、示例清晰堪称新手消灭类型报错的最快路径。现在就打开 Narrowing.md 开始实战吧你的 80% 类型报错将从这一页开始消失【免费下载链接】TypeScript-New-HandbookIncubation repository for the new TypeScript handbook 项目地址: https://gitcode.com/gh_mirrors/ty/TypeScript-New-Handbook创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考