如何正确使用assertThrows断言预期异常？

Question

在使用 JUnit 5 的 `assertThrows` 断言预期异常时，一个常见问题是：开发者常误将被测代码直接作为参数传入，而非传入一个可执行的 lambda 表达式。例如，错误写法为 `assertThrows(IllegalArgumentException.class, myMethod())`，这会导致异常在断言前就被抛出，无法正确捕获。正确做法是使用 lambda 包裹调用：`assertThrows(IllegalArgumentException.class, () -> myMethod())`，确保异常由 `assertThrows` 控制执行并进行验证。此外，忽略返回的异常实例，无法进一步验证异常消息或原因，也属于典型疏漏。

Answer 1

1. 常见误用：直接调用方法而非使用 Lambda 表达式

在使用 JUnit 5 的 assertThrows 方法时，一个高频错误是开发者将被测方法直接作为参数传入，例如：

assertThrows(IllegalArgumentException.class, myMethod());

这种写法的问题在于，myMethod() 会在断言执行前就被求值并执行。如果该方法抛出异常，则异常在进入 assertThrows 之前就已经被 JVM 抛出，导致测试提前失败，无法进行预期的异常捕获验证。

正确的方式是通过 lambda 表达式延迟执行：

assertThrows(IllegalArgumentException.class, () -> myMethod());

这利用了 Java 8 引入的函数式接口 Executable，确保方法调用由 JUnit 框架控制，在其内部 try-catch 块中安全执行。

2. 断言机制背后的执行流程解析

为了深入理解为何必须使用 lambda，我们分析 assertThrows 的内部实现逻辑：

1. JUnit 接收一个 Class<T> 参数指定期望的异常类型。
2. 第二个参数为 Executable 函数式接口，仅定义一个方法：void execute() throws Throwable;
3. 框架在其内部使用 try-catch 包裹 executable.execute() 调用。
4. 若未抛出异常，则断言失败。
5. 若抛出异常但类型不匹配，也断言失败。
6. 若类型匹配，则返回该异常实例供进一步校验。

因此，lambda 不仅是语法要求，更是执行控制权移交的关键机制。

3. 忽略返回值：丧失对异常细节的验证能力

许多开发者即使正确使用了 lambda，仍会忽略 assertThrows 的返回值，例如：

assertThrows(IllegalArgumentException.class, () -> myService.process(null));

虽然能验证异常类型，但无法检查异常消息是否符合业务语义。更完整的做法应捕获返回的异常实例：

Exception exception = assertThrows(IllegalArgumentException.class, 
    () -> myService.process(null));
assertEquals("Input cannot be null", exception.getMessage());

此外，还可结合 assertTrue(exception.getCause() instanceof ...) 验证异常链。

4. 实战案例对比表

写法类型	代码示例	结果	问题分析
错误 - 直接调用	assertThrows(IAE.class, riskyMethod())	编译可能通过，运行时报错	异常在断言前抛出，JVM 中断执行流
正确 - Lambda 包裹	assertThrows(IAE.class, () -> riskyMethod())	正常捕获并验证异常	执行受控于 JUnit 运行时环境
进阶 - 验证消息	var e = assertThrows(...); assertEquals("msg", e.getMessage())	全面验证异常语义	提升测试可读性与健壮性

5. 使用场景扩展与最佳实践建议

除了基础用法，以下场景值得关注：

• 测试私有方法时，可通过反射结合 assertThrows 进行异常路径覆盖。
• 在参数化测试（@ParameterizedTest）中动态传入不同输入触发不同异常。
• 与 Timeout 结合使用时需注意：超时可能掩盖真实异常类型。
• 避免在 lambda 中编写复杂逻辑，保持被测行为单一清晰。

6. 流程图：assertThrows 执行逻辑可视化

graph TD
    A[开始执行 assertThrows] --> B{传入参数是否为 Executable?}
    B -- 否 --> C[立即执行方法 → 异常提前抛出]
    B -- 是 --> D[执行 executable.execute()]
    D --> E{是否抛出异常?}
    E -- 否 --> F[断言失败: 期望异常未发生]
    E -- 是 --> G{异常类型匹配?}
    G -- 否 --> H[断言失败: 类型不符]
    G -- 是 --> I[返回异常实例]
    I --> J[允许后续断言验证 message/cause]