sealed class 分支覆盖怎么配置或排查

遇到 sealed class 的分支覆盖率不对，先别把 permits 里的子类数量当成 JaCoCo 的分支数。sealed 只负责限制继承边界；JaCoCo 的 branch coverage 主要统计编译后 if 和 switch 的路径。最稳妥的处理顺序是：先找出真正的条件分支，再确认 JaCoCo 的代理参数进入了测试 JVM，最后用每个允许的子类型和边界值补测试。

先分清 permits 列表和覆盖率分支

例如一个订单结果层级可以这样设计。Success、Retryable 和 Rejected 是允许的直接实现，但它们本身不会自动变成三个 branch。只有被测方法里的条件判断或 switch，才会形成 JaCoCo 要统计的路径。

// sealed 约束可见的结果类型，便于编译器检查 switch 是否穷尽
sealed interface OrderResult permits Success, Retryable, Rejected {}
record Success(int code) implements OrderResult {}
record Retryable(String reason) implements OrderResult {}
record Rejected(String reason) implements OrderResult {}

static String label(OrderResult result, int attempts) {
    // 正数和非正数是一个独立 if 分支，不能只靠子类型测试覆盖
    if (attempts > 0) {
        return switch (result) {
            // Java 21+ 的模式 switch 覆盖三个允许的结果类型
            case Success s -> "ok";
            case Retryable r -> "retry";
            case Rejected r -> "reject";
        };
    }
    return "invalid";
}

如果测试只调用 label(new Success(1), 1)，最多证明了一个类型分支和一个 if 真路径。Retryable、Rejected 以及 attempts 仍然可能是未覆盖的路径。

把 JaCoCo 代理真正接到 Maven 测试上

覆盖率始终为 0，或报告目录没有生成时，优先检查 prepare-agent 是否在测试前写入了 argLine。Surefire 的配置要使用晚绑定形式 @{argLine}，这样才能拿到 JaCoCo 在构建过程中刚写入的代理参数。

210.8.16org.jacocojacoco-maven-plugin${jacoco.version}coverage-agentprepare-agentcoverage-reportverifyreportorg.apache.maven.pluginsmaven-surefire-plugin@{argLine} -Dfile.encoding=UTF-8

执行 mvn clean verify 后，先看 target/jacoco.exec 是否出现，再看 target/site/jacoco/index.html。如果测试使用了 forkCount=0 或禁止 fork，JaCoCo 的 javaagent 可能无法按预期进入测试进程；如果项目已有 argLine，直接覆盖它也会丢掉代理参数。

按分支路径补测试，而不是盯着总百分比

可以把测试输入拆成三组：正数尝试次数配合三个结果类型，非正数尝试次数走 invalid，再增加一个边界值 0。这样测试意图与代码路径一一对应，报告里的缺口更容易解释。

// 每个测试只负责一条可读的业务路径，失败时更容易定位
@Test
void labelsEverySealedResult() {
    assertEquals("ok", label(new Success(200), 1));
    assertEquals("retry", label(new Retryable("timeout"), 1));
    assertEquals("reject", label(new Rejected("risk"), 1));
}

@Test
void zeroAttemptsUsesInvalidBranch() {
    // 0 是非正数边界，覆盖 if 的 false 路径
    assertEquals("invalid", label(new Success(200), 0));
}

JaCoCo 的 branch counter 针对 if 和 switch 统计执行与未执行分支，异常处理本身不按这个计数器计算。编译器为语言结构生成的 synthetic bytecode 也可能让源码行上的显示与直觉不同，所以看到黄色标记时，要先确认它对应的是哪个方法和哪条字节码路径。

覆盖率异常时按数据链路排查

排查可按下面的清单走，避免一上来调低覆盖率阈值：

最后做一次干净复查：删除本模块的 target，运行 mvn clean verify，确认报告时间和测试数量对应本次构建。若使用多模块项目，父工程聚合报告与子模块报告要分开看；不要用父工程的空报告判断 sealed 类没有覆盖。

常见问题

sealed class 本身会产生一个 branch 吗？

不会。sealed 约束的是可扩展类型集合，branch coverage 关注编译后条件和 switch 路径。

为什么 switch 已经写全，报告仍有黄色分支？

编译器的模式匹配实现可能包含合成路径；同时还要检查外围 if、守卫条件和测试是否真的执行到了该方法。

只运行 mvn test 能看到 HTML 报告吗？

不一定。若 report 绑定在 verify，应运行 mvn clean verify，并确认测试 JVM 收到了 JaCoCo agent。