Jacoco分支覆盖异常问题咨询：绿色标记全分支覆盖但遗漏分支占比<100%、Kotlin函数全分支覆盖但覆盖率仅75%

问题一：Jacoco显示源码全分支绿色但遗漏分支占比非100% #

这种情况核心原因是Jacoco统计的是字节码层面的分支，而非仅源码可见的逻辑分支。Kotlin（或Java）编译器会为很多隐式逻辑、语法糖生成额外的字节码分支，这些分支在源码里看不到，但会被Jacoco纳入统计：

• 隐式空检查：对于Kotlin的非空类型参数，编译器会自动生成空检查的字节码分支——如果测试没覆盖参数为null的极端场景（哪怕源码不允许传入null），这些分支会被标记为遗漏。
• 语法糖展开：像Lambda表达式、内联函数（比如any、map这类标准库函数）在编译时会被展开成循环或条件判断逻辑，生成多条分支路径，但源码里只显示一行代码。
• 自动装箱/拆箱：涉及基本类型与包装类型转换时，编译器会生成额外分支处理null或类型转换异常，这些同样不会在源码中体现。

简单说，源码层面的“全分支覆盖”只是你能看到的业务逻辑分支都被覆盖了，但Jacoco统计的是更底层的字节码分支，那些隐式生成的分支没被覆盖时，就会出现遗漏分支占比不为100%的情况。

问题二：isSubClass函数源码全绿但统计覆盖率75% #

先看你的函数代码：

private fun isSubClass(exceptionList: List<Class<out Throwable>>, throwable: Throwable): Boolean { 
    return exceptionList.any { throwable::class.isSubclassOf(it.kotlin) } 
}

这个问题同样和字节码层面的隐式分支有关，具体拆解如下：

1. 内联函数any的字节码展开：Kotlin的any是内联函数，编译时会被展开为完整的循环逻辑，包含至少3个核心分支：

   • 分支1：检查exceptionList是否为空，为空直接返回false
   • 分支2：遍历列表时，若当前元素满足条件，立即返回true
   • 分支3：遍历完所有元素都不满足条件，返回false

2. 隐式参数空检查：你的函数参数exceptionList和throwable都是Kotlin非空类型，编译器会自动生成空检查的字节码分支——如果传入null，会抛出NullPointerException。

如果你的测试只覆盖了两种场景：列表非空且有元素满足条件、列表非空且无元素满足条件，那还遗漏了列表为空和参数为null的场景（共4个分支，覆盖3个就是75%），这就会导致统计覆盖率为75%，但源码层面因为只有一行return，看起来是全分支覆盖。

解决方法很简单：补充测试场景，覆盖列表为空的情况，以及参数为null的极端场景（如果业务上确实不会传入null，也可以通过调整编译参数关闭部分空检查，但更推荐通过测试覆盖来保证统计准确性）。

内容的提问来源于stack exchange，提问作者Gladwin Rojer