Kotlin中栈跟踪指向不存在代码行的机制解析

场景1：正常行号指向 #

第一段测试代码：

data class TestException(val value: String)     // 1
                                                // 2
fun main() {                                    // 3
                                                // 4
    val strings = listOf("A")                   // 5
    TestException(value = strings[1])           // 6
                                                // 7
}                                               // 8

运行后抛出的异常栈跟踪正确指向第6行：

Exception in thread "main" java.lang.IndexOutOfBoundsException: Index: 1, Size: 1
    at java.base/java.util.Collections$SingletonList.get(Collections.java:5180)
    at MainKt.main(Main.kt:6)
    at MainKt.main(Main.kt)

场景2：行号偏移异常 #

修改第6行代码后：

data class TestException(val value: String)             // 1
                                                        // 2
fun main() {                                            // 3
                                                        // 4
    val strings = listOf("A")                           // 5
    TestException(value = strings.first { it != "A" })  // 6
                                                        // 7
}                                                       // 8

运行后抛出的异常栈跟踪却指向不存在的第12行：

Exception in thread "main" java.util.NoSuchElementException: Collection contains no element matching the predicate.
    at MainKt.main(Main.kt:12)
    at MainKt.main(Main.kt)

背后的实现机制解析 #

这个现象的核心原因是Kotlin编译器对内联函数的处理逻辑与调试信息生成的偏差：

• 内联函数的代码展开：first { ... }是Kotlin标准库中的内联函数，编译时编译器会把该函数的实现代码直接嵌入到调用位置，而非生成普通的函数调用指令。也就是说，first内部的遍历、断言、异常抛出等代码，会被插入到main函数第6行的位置。
• 调试行号的映射错误：编译器生成调试信息时，会把内联函数原代码中的行号直接关联到展开后的代码上。first函数中抛出NoSuchElementException的代码位于标准库源码的某一行（比如示例中的第12行），编译器错误地将这个行号映射到了当前测试文件的行号中，导致栈跟踪显示了不存在的行号。
• 非内联函数的对比：第一个场景中的strings[1]调用的是普通非内联的get方法，函数调用会保留调用处的正确行号信息，因此栈跟踪能准确指向第6行。
• 编译器优化的影响：开启编译优化时，这类行号偏移问题会更显著，因为编译器会进一步调整代码结构，加剧调试信息与原代码行号的对应偏差。

内容的提问来源于stack exchange，提问作者Alexey R.