Spock框架方法调用顺序与参数验证技巧

Spock 框架通过支持多个连续的 `then:` 块，为单元测试提供了强大而直观的调用顺序与参数精准验证能力——它不仅能确认某个方法被调用了，更能严格保证它按预期顺序、以确切参数被调用（如先传 `'a'` 后传 `'b'`），彻底摆脱传统模糊匹配（如 `2 * foo.bar(_)`）带来的时序不可控和参数不确定性；这种基于时间轴的有序交互验证，是构建高可靠性协作测试的核心利器，让测试真正成为系统行为的精确契约。

在 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）的关键能力。

以上就是《Spock框架方法调用顺序与参数验证技巧》的详细内容，更多关于的资料请关注golang学习网公众号！