Mockk中verify的wasNot Called与常规验证均失败的问题

核心问题：参数匹配器不匹配 #

你遇到的矛盾现象，本质是MockK（从语法判断是这个测试库）无法正确识别你要验证的deleteUser调用，根源出在参数匹配器any()的使用上：

1. 为什么wasNot Called验证失败但错误信息显示函数未被调用？
   假设deleteUser方法接收的是特定类型参数（比如Long、String），你使用无类型的any()时，Kotlin会默认将其推断为Any类型。如果实际调用时传入的参数类型和Any不匹配（比如传了123L），MockK会判定没有符合deleteUser(any())这个签名的调用。
   此时你的验证逻辑是“这个签名的方法没被调用”，但错误信息的表述容易误导你——它实际是在说：“你要验证的deleteUser(any())确实没被调用”，但如果你的真实意图是验证“deleteUser（不管参数）没被调用”，那你的匹配器用错了，导致验证逻辑和实际需求完全偏离，最终验证失败。

2. 为什么反转验证逻辑后仍报错？
   不管你验证“未被调用”还是“已被调用”，只要匹配器没匹配到实际的调用，MockK都会返回相同的错误——因为它找不到符合deleteUser(any())条件的调用记录：

   • 如果实际调用了deleteUser但参数不匹配，验证“已被调用”会失败；
   • 如果你的wasNot Called验证逻辑本身指向的是一个不存在的签名（因为匹配器错误），那这个验证的意义就和你真实意图完全不符，最终也会失败。

解决步骤 #

• 指定匹配器的具体类型：把any()改成对应参数类型的匹配器，比如deleteUser(any<Long>())，确保和deleteUser方法的参数类型完全一致。
• 排查方法重载：如果deleteUser有多个重载版本，用更具体的匹配器（比如withArg { it == 123L }）锁定你要验证的那个重载。
• 验证全部调用情况：如果想确认deleteUser任何版本都没被调用，用verify(exactly = 0) { managementService.deleteUser(any()) }，这个写法比wasNot Called更清晰，也能避免匹配器歧义。
• 检查mock实例一致性：确保测试中调用业务逻辑的managementService和验证时用的是同一个mock对象，别在测试过程中重新初始化mock。

内容的提问来源于stack exchange，提问作者Mike Walton