本文详解如何使用 Spock 框架断言 Mock 对象方法被按指定顺序、以指定参数调用，通过 then: 块分段声明实现精准行为验证。
本文详解如何使用 spock 框架断言 mock 对象方法被按指定顺序、以指定参数调用，通过 `then:` 块分段声明实现精准行为验证。
在 Spock 单元测试中，仅验证某方法“被调用了 N 次”（如 2 * foo.bar(_)）往往不够——尤其当业务逻辑依赖调用时序与参数语义（例如先初始化再提交、先写缓存再发通知）时，必须确保调用严格符合预期顺序和参数值。
Spock 提供了简洁而强大的机制：将多个 then: 块串联使用。每个 then: 块独立匹配一次方法调用，并按其出现顺序强制要求调用发生的先后关系。这正是验证“先以 'a' 调用，再以 'b' 调用”的标准做法。
以下为完整可运行的测试示例：
class MyClassSpec extends Specification {
def "myMethod calls foo.bar with 'a' then 'b' in order"() {
given:
def foo = Mock(Foo)
def myClass = new MyClass(foo: foo)
when:
myClass.myMethod('a', 'b')
then:
1 * foo.bar('a') // 第一次调用必须传参 'a'
then:
1 * foo.bar('b') // 第二次调用必须传参 'b'
}
}
✅ 关键原理说明：
- Spock 将每个 then: 块视为一个独立的交互约束（interaction constraint）；
- 多个 then: 块按书写顺序构成时间轴上的断言序列，即：第一个 then: 必须匹配第一次实际调用，第二个 then: 必须匹配第二次调用，依此类推；
- 若实际调用顺序错乱（如先 bar('b') 后 bar('a')），或参数不匹配，测试将立即失败，并给出清晰的差异报告（例如：“Expected 1 invocation but was 0” 或 “Argument mismatch: expected 'a', got 'b'”）。
⚠️ 注意事项：
- 不要尝试在单个 then: 块内用 2 * foo.bar(_) >> { ... } 配合闭包判断顺序——这无法保证时序，且逻辑脆弱；
- 若需验证同一方法在不同阶段被多次调用但参数有规律（如 bar("init"), bar("process"), bar("done")），仍应使用三个独立 then: 块；
- 如需验证“某次调用发生在另一次之后但不紧邻”，则需结合 >> 返回值模拟状态，或改用 Interaction 的高级匹配（如 1 * foo.bar(_) >> { /* side effect */ } + 状态断言），但此时已超出纯顺序验证范畴。
总之，利用多个 then: 块是 Spock 中验证调用顺序性（ordering）与参数确定性（exact arguments） 的最直接、最可靠、最符合框架设计意图的方式。它语义清晰、失败信息明确，是编写高可信度协作测试的必备实践。
