在 Spock 单元测试中，可通过连续多个 then: 块精准验证 Mock 对象方法的调用顺序和具体参数值，而非仅统计调用次数。
在 spock 单元测试中，可通过连续多个 `then:` 块精准验证 mock 对象方法的**调用顺序**和**具体参数值**，而非仅统计调用次数。
在 Spock 中，then: 块不仅用于断言结果，更可作为行为验证（verification）的核心机制。当需要确保某个依赖方法（如 foo.bar()）被按特定顺序、以特定参数调用时，不能依赖 2 * foo.bar(_) 这类模糊匹配——它只校验总次数，无法区分先后或参数差异。
正确的做法是将每次期望的调用拆分为独立的、按执行顺序排列的 then: 块。Spock 会严格按代码顺序依次匹配实际调用流，确保第一次调用传参为 '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 的交互式验证（interaction-based verification）默认启用有序匹配（ordered matching）；每个 then: 块对应调用历史中的一个确定位置。
- 多个 then: 块等价于一个隐式的“时间轴”，Spock 会按声明顺序消费实际调用记录。若实际调用为 bar('b') 先于 bar('a')，则第一个 then: 块即失败。
- 使用 1 * foo.bar('a') 明确指定期望恰好一次且参数精确匹配，避免通配符 _ 引入不确定性。
⚠️ 注意事项：
- 不要将两个断言合并到同一个 then: 块中（如 1 * foo.bar('a'); 1 * foo.bar('b')），这会导致 Spock 视为“任意顺序的两次调用”，失去顺序约束。
- 若被测方法中存在条件分支或异步逻辑，需确保测试覆盖所有路径，并考虑使用 0 * 或 _* 显式声明不期望的调用，提升测试健壮性。
- 在复杂场景下（如重复调用同一参数），可结合 >> 返回值或 >> { ... } 闭包增强可观察性，但顺序验证本身仍依赖 then: 分块结构。
总结而言，Spock 通过语义清晰的多 then: 结构，原生支持对方法调用时序与参数的强一致性验证——这是编写高可信度协作测试（collaboration test）的关键能力。
