文档教程【免费下载链接】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》开源仓库中 类型谓词章节pt-br 版 为骨架系统讲解 TypeScript 类型谓词Type Predicates的定义、语法、实战用法以及 TypeScript 5.5 引入的自动推断谓词能力。读完本文你将掌握如何编写自定义类型守卫User-Defined Type Guards理解x is T与boolean返回类型的本质区别并能在.filter()等场景中让类型系统自动收窄结果写出类型更精确、错误更少的代码。什么是类型谓词在 TypeScript 中类型谓词Type Predicates是返回布尔值的函数其特殊之处在于它不只是告诉代码条件成立与否还通过特殊的返回类型语法将传入变量的类型收窄narrow到更具体的类型。类型收窄Narrowing是 TypeScript 在条件分支内精化变量类型的过程在与联合类型Union Types配合时尤为有用。关于收窄的完整机制typeof守卫、真值收窄、相等性收窄、in运算符、instanceof等可参考仓库中的 收窄章节。类型谓词的典型语法是value is Type它由三部分组成函数必须返回boolean类型的值谓词判定结果返回类型声明为parameterName is TargetType其中parameterName必须是函数的某个参数名函数体内负责执行运行时检查确认该参数是否属于TargetType。基础示例自定义isString守卫原文档给出了最简洁也最经典的入门示例const isString (value: unknown): value is string typeof value string; const foo (bar: unknown) { if (isString(bar)) { console.log(bar.toUpperCase()); } else { console.log(não é uma string); // 不是字符串 } };逐行拆解这个示例value: unknown参数被声明为unknown即未知类型——它可能是任何值此时 TypeScript 不允许直接调用.toUpperCase(): value is string返回类型声明是类型谓词表示如果该函数返回true那么value就是string函数体typeof value string在运行时完成真正的检查在foo中当isString(bar)为真时TypeScript 会在if分支内把bar从unknown收窄为string因此bar.toUpperCase()不会报错else分支中则保持为unknown。这里的核心价值在于bar在if分支内被记住了更精确的类型。如果没有类型谓词即便isString返回truebar在编译期仍然是unknown调用bar.toUpperCase()会直接报错。为什么返回boolean不够类型谓词 vs 普通布尔函数如果isString的返回类型写成boolean代码在运行时行为完全一致但 TypeScript 编译器不会在if分支内收窄bar的类型。区别在于返回类型运行时行为编译期效果boolean返回真/假不产生任何类型收窄bar仍是unknownvalue is string返回真/假返回true时value被收窄为string这正是谓词一词的含义它断言这个值满足string这一类型条件。这种由开发者编写辅助函数来完成类型收窄的做法在官方语境中被称为用户自定义类型守卫User-Defined Type Guards。仓库的 探索类型系统章节 中有一个更贴近真实业务场景的过滤示例当filter内联回调无法正确推断时提取出自定义守卫即可修复类型const data [a, null, c, d, null, f]; const r1 data.filter(x x ! null); // 类型仍是 (string | null)[]TypeScript 无法正确推断 const isValid (item: string | null): item is string item ! null; // 自定义类型守卫 const r2 data.filter(isValid); // 类型正确收窄为 string[]谓词守卫完成了类型收窄同样的思路也适用于数组场景用一个可复用的守卫函数如isValid替代内联回调让filter的结果类型从(string | null)[]变为string[]。TypeScript 5.5 的自动谓词推断.filter不再需要手写守卫原文档强调的一个重要演进是TypeScript 5.5 起编译器可以自动推断类型谓词如x is T尤其是在.filter这类函数中编译器能够识别出undefined等值已被移除从而给出更精确的结果类型、减少错误。const nums [1, null, 2].filter(x x ! null);在 TypeScript 5.5 之前上面这行代码的结果类型是(number | null)[]——尽管运行时null一定被过滤掉了编译器却看不到这一点开发者不得不手写(x): x is number x ! null这类守卫正如上文isValid那样。而在 5.5 之后编译器会为x x ! null这种清晰明确的检查自动生成谓词使nums的类型直接收窄为number[]。什么情况下可以自动推断什么情况下不能原文档特别指出该特性存在边界它适用于清晰明确的检查例如x ! undefined、x ! null但不适用于歧义检查典型的反例是!!x// 可以自动推断检查明确 const cleaned items.filter(x x ! undefined); // 结果类型正确移除 undefined // 不能自动推断歧义检查 const truthy items.filter(x !!x); // !!x 只表达真值性编译器无法据此确定被保留值的具体类型原因在于x ! undefined的语义与类型系统直接对应——它断言值不是undefined编译器能据此排除对应分支而!!x是真值判断它同时排除了0、、NaN、null、undefined等多种值编译器无法将这些值映射到某个确定的类型收窄结果因此不会生成谓词。实际项目中若确需仅保留真值且希望得到精确类型仍应显式编写守卫函数或使用类型谓词标注。与相关收窄机制的协同与对比类型谓词并非孤立存在它与 TypeScript 的其他收窄手段共同构成控制流分析Control Flow Analysis体系。控制流分析是 TypeScript 静态分析代码流向、按需推断变量类型的能力其详细讲解见仓库中的 控制流分析章节。以下几类机制可作为理解谓词的参照typeof守卫typeof x number直接收窄内置类型string、number、boolean等本质是语言内置的单行谓词真值收窄if (name)可把string | null收窄为string但无法表达!!x这类语义相等性收窄配合、!和switch把联合类型收窄到特定字面量分支in运算符收窄依据属性是否存在区分对象类型instanceof收窄依据构造函数区分类实例。当这些内置手段无法表达值满足某条自定义规则时类型谓词就是补全能力的那块拼图——你可以把任何运行时检查正则匹配、结构校验、字段存在性等封装成谓词并让编译器信任其结果。类型谓词 vs 断言函数Assertion Functions仓库的 杂项章节 专门对比了类型谓词与断言函数的差异两者极易混淆但定位不同// 类型守卫Type Guard返回布尔值通过 true/false 告知结果 const isNumber (value: unknown): value is number typeof value number; // 断言函数Assertion Function不返回布尔值条件不满足时直接抛错 function isNumber2(value: unknown): asserts value is number { if (typeof value ! number) { throw new Error(Not a number); } }关键区别类型守卫返回boolean谓词不成立时返回false调用方自行决定分支走向断言函数返回类型标注为asserts value is Type不返回任何值谓词不成立时抛出异常只有通过断言之后后续代码中的value才被收窄为Type。两者的共同点是都通过运行时检查换取编译期的类型收窄差异在于失败时的行为返回false还是抛错以及返回类型语法的不同。选择依据很简单需要分支处理用类型守卫需要校验不通过即中断用断言函数。谓词与never的组合穷尽性检查类型谓词还可与never类型协作实现联合类型的穷尽性检查Exhaustiveness Checking——确保switch或if覆盖了所有可能分支。仓库的 穷尽性检查章节 给出如下模式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); } };其原理可理解为收窄机制把default分支中的direction收窄为剩余未处理成员若所有成员都已被case覆盖该类型就只剩never。此时若Direction新增一个left而未被处理never类型赋值会立即产生编译错误。关于never的完整语义表示永不发生的值用于无限循环、必然抛错函数等可参考 never 类型章节。这一模式常与用户自定义守卫配合用于解析函数收窄后仍确认所有情况已被处理的场景。使用建议与注意事项优先使用内置收窄typeof、in、instanceof、相等性检查能解决大多数问题不要为简单场景过度封装谓词谓词必须名副其实函数体必须真实执行与声明一致的检查否则会破坏类型安全谓词本身是信任契约TypeScript 不会验证函数体逻辑是否正确命名遵循is/isValid惯例如isString、isNumber、isDefined便于阅读者一眼识别其语义善用 5.5 自动推断对.filter(x x ! null)这类明确检查无需再手写守卫遇到结果类型不符合预期时再用自定义谓词兜底注意歧义检查!!x、复杂的复合条件等场景不会触发自动推断需要显式标注谓词返回类型只对参数生效谓词语法param is Type中的param必须是函数参数名不能指向外部变量。小结类型谓词是 TypeScript 类型系统中最实用的自定义收窄工具它以value is Type返回类型把运行时布尔检查提升为编译期类型信息让unknown、联合类型在条件分支中被精确收窄TypeScript 5.5 又通过自动谓词推断让.filter等常见场景免去手写守卫的负担。理解明确检查可推断、歧义检查需显式声明这条边界再结合断言函数、never穷尽性检查等配套机制你就能在 The Concise TypeScript Book 提供的知识体系之上写出类型更精确、更少any断言、更少隐藏 bug 的 TypeScript 代码。相关收窄与类型系统的完整讲解可继续阅读仓库内的 收窄章节、控制流分析章节 与 探索类型系统章节。赞分享文档教程【免费下载链接】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 精讲类型谓词Type Predicates与 TypeScript 5.5 自动推断The Concise TypeScript Book 精讲类型谓词Type Predicates与 TypeScript 5.5 自动推断 导读 类型谓文档教程The Concise TypeScript Book 深度解析类型谓词Type Predicates——从手写类型守卫到 TypeScript 5.5 自动推断The Concise TypeScript Book 深度解析类型谓词Type Predicates——从手写类型守卫到 TypeScript 5.5文档教程The Concise TypeScript Book类型谓词Type Predicates实战指南——从自定义类型守卫到 TypeScript 5.5 的自动推断The Concise TypeScript Book类型谓词Type Predicates实战指南——从自定义类型守卫到 TypeScript 5.5文档教程上一篇抗住每秒10万请求Requests高并发场景性能优化指南下一篇QuestDB Posting Index .pk 链式重设计以 append-only 不可变 Seal Entry 链消除发布与提交之间的原子性鸿沟创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考