Kotlin协程函数Jacoco分支未覆盖误报问题排查与解决

环境信息 #

• Kotlin 1.9.2
• JDK 21（基于Spring Boot）
• Jacoco代码覆盖插件 0.8.12

问题现象 #

1. 协程函数场景：基于withContext(Dispatchers.IO)实现的函数，所有逻辑分支已被测试覆盖，但Jacoco仍提示存在分支缺失。该函数负责加载认证用户并返回非空Long值。
2. 泛型协程函数场景：自定义泛型协程函数调用时，Jacoco同样误报分支缺失（疑似检测到空值分支），即便将泛型上界限定为Any（排除可空类型），问题仍未改善。

相关代码示例 #

泛型协程函数定义：

suspend fun <T : Any> withLoggedUser(
    context: Context,
    block: suspend (Long) -> T,
): T = with(context) {
    block()
}

函数调用示例：

suspend fun doStuff(
        request:Request,
    ): Response =
        withLoggedUser(context = request.context) { loggedUser ->
            Response.newBuilder()
                .setId(loggedUserId)
                .setAvailable(service.isAvailable(loggedUser))
                .build()
        }

Jacoco在withLoggedUser(context = request.context)调用处提示分支缺失，但实际方法逻辑确保返回非空值。

解决方案 #

经排查，问题源于调用时未传入符合要求的挂起函数导致Jacoco误判，修正函数调用逻辑（确保传入正确的挂起lambda）后，分支缺失的误报消失。

内容的提问来源于stack exchange，提问作者ROUISSI Mohamed ALi