Atrium断言核心语法详解expect、链式调用与expectation-group新手必须掌握的3个概念【免费下载链接】atriumA multiplatform expectation library for Kotlin项目地址: https://gitcode.com/gh_mirrors/atr/atriumAtrium 是一个面向 Kotlin 的开源多平台断言库官方称之为 expectation library即期望库支持 JVM、JS 与 Android。这篇文章用最少的代码讲清楚新手使用 Atrium 断言库必须掌握的 3 个核心语法概念expect入口函数、链式调用与 expectation-group并解读它的失败报告格式帮你在 10 分钟内写出可读、可调试的 Kotlin 断言。30 秒认识 Atrium 断言库与其他断言库相比Atrium 的设计目标很明确帮你理解哪里出了问题。它的几个特点特性说明 多平台同一套 API 覆盖 JVM、JS、Android 等多平台✒️ 两种 API 风格fluent点式与 infix中缀可按团队口味选择或混用 人话报告失败信息像自然语言一样可读并区分断言目标与期望内容 可扩展可自定义断言函数、期望动词甚至替换核心组件Atrium 没有像很多库那样叫断言assertion而是叫期望expectation。看一个最简示例依赖ch.tutteli.atrium:atrium-fluent:1.2.0发布在 Maven Centralimport ch.tutteli.atrium.api.fluent.en_GB.* import ch.tutteli.atrium.api.verbs.expect val x 10 expect(x).toEqual(9)当期望不成立时抛出的AssertionError信息长这样I expected subject: 10 (kotlin.Int) ◆ to equal: 9 (kotlin.Int)报告可以直译为我期望 subject实际是 10应该等于 9。第一行是断言目标subject的实际值每个◆开头的一行是一个未满足的期望。这种主语 期望列表的格式是贯穿 Atrium 所有报告的基本结构先记住它。 Atrium 提供两种 API 风格例如expect(x).toEqual(9)fluent与expect(x) toEqual 9infix。完整差异对照可查阅仓库中的apis/differences.md。概念一expect —— Atrium 断言库的统一入口一切从expect开始。它的定义非常直接源码位于misc/atrium-verbs/src/commonMain/kotlin/ch/tutteli/atrium/api.verbs/expect.ktfun T expect(subject: T): RootExpectT理解expect只需要 3 点subject 只求值一次expect(x)括号里的表达式只计算一次之后整条断言链都针对这同一个 subject。这对有副作用或开销较大的表达式尤其重要。它返回的ExpectT是断言扩展点几乎所有断言函数toEqual、toContain、toThrow……都是ExpectT的扩展函数。接口定义在atrium-core/src/commonMain/kotlin/ch/tutteli/atrium/creating/Expect.kt这也是你以后编写自定义断言函数的落点。expect 只是默认动词Atrium 允许你用自己的期望动词比如verify替换默认词让测试代码读起来更像业务语言。expect有两种直接形态对应了本文的另外两个概念expect(x).toEqual(9) // 形态 A单条断言可以接着链式调用 expect(x) { toEqual(9) } // 形态 B直接开一个 expectation-group另外expect还可以接收一个 lambda 作为 subject配合toThrow断言异常expect { throw IllegalArgumentException(name is empty) }.toThrowIllegalArgumentException()概念二链式调用 —— fail-fast 的断言链Atrium 允许你在同一个 subject 上连续声明多个单条断言expect(...)只需写一次// 两条单条断言但只有第一条会被评估 expect(4 6).toBeLessThan(5).toBeGreaterThan(10)报告只有第一条期望I expected subject: 10 (kotlin.Int) ◆ to be less than: 5 (kotlin.Int)⚠️关键点链式调用是 fail-fast快速失败语义——toBeLessThan(5)已经不成立后面的toBeGreaterThan(10)根本不会被评估也不会出现在报告里。这和每个断言独立成句的直觉不同是新手最容易误解的地方。如果觉得长链读起来费劲可以用and作为填充词提升可读性expect(5).toBeGreaterThan(2).and.toBeLessThan(10)链式调用还有一个重要能力收窄 subject 的类型。例如toBeAnInstanceOf、notToEqualNull这类函数既做检查、又把 subject 变成新类型后续断言作用在新 subject 上expect(slogan) // subject 类型是 String? .notToEqualNull() // 期望非空后subject 收窄为 String .toStartWith(atrium) 如果习惯中缀风格同样的链可以写成expect(5) toBeGreaterThan 2 and toBeLessThan 10infix 风格里and两侧需要特殊写法细节见apis/differences.md。概念三expectation-group —— 收集所有失败一次性报告当你希望多个期望全部被评估、把所有问题一次看全时就用 expectation-group 语法——给expect追加一个代码块// expectation-group 里有两条期望全部都会被评估 expect(4 6) { toBeLessThan(5) toBeGreaterThan(10) }报告会把两条失败都列出来I expected subject: 10 (kotlin.Int) ◆ to be less than: 5 (kotlin.Int) ◆ to be greater than: 10 (kotlin.Int)它的规则可以总结为三点块内所有期望都会执行块内不再适用 fail-fast在闭合}处统一抛出AssertionError报告包含全部失败可以无限嵌套。Atrium 在很多地方类型收窄、特性提取、异常断言等都提供带代码块的重载块内就是 expectation-group 语义。比 AssertJ 的软断言更顺手expectation-group 的理念类似 AssertJ 的 soft assertions但使用体验更轻不需要assertSoftly之类的额外工具同一个 subject 直接用expect即可不需要重复书写 subject块内直接写期望函数块语法不只存在于顶层嵌套在特性提取feature/its、异常断言toThrow { ... }内部同样可用。例如对一个人的多个属性同时检查feature用于从 subject 提取特性expect(person) { feature({ f(it::firstName) }) { toStartWith(P) } feature { f(it::lastName) }.toEqual(Stoll) }连接两个组and 与 expectGrouped两个 expectation-group 之间可以用and连接形成前一组失败则后一组不评估的短路关系如果你要对多个互不相关的 subject分别声明期望并希望统一报告可以使用expectGrouped { ... }1.1.0 起提供它是专为多 subject 分组设计的入口。一张表看懂链式调用 vs expectation-group维度链式调用.a().b()expectation-group{ a(); b() }执行策略fail-fast第一条失败即停块内全部评估抛错时机失败的那一步立即抛出在闭合}处统一抛出报告内容只含第一条失败含全部失败一次看全典型场景简单、独立的快速检查想一次性暴露所有问题或深层嵌套的复合期望两者不是二选一外层用链式调用组织流程需要全量检查的局部用 expectation-group是 Atrium 最自然的组合方式。新手最容易踩的 3 个坑以为链会全部执行链式调用是 fail-fast前面的断言失败时后面的断言既不会执行也不会出现在报告里。想一次看全请改用 expectation-group。以为 subject 会被反复求值expect(4 6)中的4 6只求值一次整条链/整个组共享这同一个 subject。混淆带块与不带块两种重载Atrium 的收窄/提取类函数如toBeAnInstanceOf、feature通常有两个重载——带代码块的保持原 subject、块内是组语义不带代码块的会把 subject 收窄为新的类型后续链式调用作用在新 subject 上。写错重载不会报错但断言对象会悄悄变化。✅ 小提示Atrium 默认报告器只报告失败的期望所以通过的部分看不到不代表没检查。项目结构导航想深入时去哪看源码模块路径作用核心类型与报告atrium-core/src/commonMain/kotlin/ch/tutteli/atrium/Expect接口、报告器、错误格式化断言实现logic/atrium-logic/src/commonMain/kotlin/ch/tutteli/atrium/logic/各类型断言函数的具体逻辑fluent APIapis/fluent/atrium-api-fluent/src/commonMain/kotlin/ch/tutteli/atrium/api/点式 API 的断言函数en_GB 包下是英文措辞infix APIapis/infix/atrium-api-infix/src/commonMain/kotlin/ch/tutteli/atrium/api/中缀 API 的断言函数一站式依赖bundles/fluent/atrium-fluent/引入atrium-fluent即包含 API 核心 翻译期望动词misc/atrium-verbs/src/commonMain/kotlin/ch/tutteli/atrium/api.verbs/expect.ktexpect/expectGrouped的定义API 差异对照apis/differences.mdfluent 与 infix 的命名差异清单更多带输出示例的官方用法可直接阅读仓库根目录的README.md中 Examples 一节。小结expect(subject)是入口subject 只求值一次返回的ExpectT是所有断言的扩展点链式调用表达单条断言fail-fast、失败即停expectation-group用代码块包裹多条期望全部评估后统一报告可嵌套、可and连接报告格式恒为I expected subject: 实际值 ◆ 未满足的期望读懂它就读懂了 Atrium 的错误输出。掌握这 3 个概念你就已经可以覆盖日常 Kotlin 测试中 90% 的 Atrium 用法了。【免费下载链接】atriumA multiplatform expectation library for Kotlin项目地址: https://gitcode.com/gh_mirrors/atr/atrium创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考