Kotlin不同作用域函数内同名变量声明触发智能转换错误

这个编译错误是Kotlin编译器的静态校验规则+同名局部变量符号判定偏差共同导致的，和实际代码里的变量作用域使用逻辑无关：

1. 首先明确基础校验规则：Kotlin的空安全智能转换（Smart Cast）有明确限制——如果一个var声明的可变局部变量被会修改变量的闭包捕获，编译器就会直接禁用对该变量的智能转换。原因是闭包可能在异步上下文、其他线程中执行，变量值可能在判空之后、实际使用之前被修改，无法保证类型安全。
2. 触发异常的核心偏差：你在两个apply块中声明的tmp确实是完全独立的块级变量，作用域互相隔离、不存在跨块访问，但Kotlin编译器（1.9及之前稳定版均存在该问题）在做语法树阶段的符号分析时，会把同一函数层级下、不同内联lambda作用域内声明的同名可变局部变量，错误识别为同一个变量，判定它被两个apply对应的闭包捕获修改，因此触发了智能转换禁用的报错。
3. 改名后正常的原因：当你把两个临时变量改为不同名称（如tmp1/tmp2），编译器就能正确区分两个独立的块级变量，识别到每个变量仅在自身所属的apply块内被访问、修改，不存在被其他闭包捕获的情况，就会正常放行智能转换，编译通过。

补充说明：apply本身是内联函数，编译时不会生成真实的闭包对象，但上述智能转换校验是在语法分析阶段执行的，早于内联优化流程，因此依然会触发校验逻辑。

• 最简便方案：将两个作用域内的临时变量改为不同名称，规避编译器的同名符号判定问题。
• 更稳妥方案：在循环内判空后用不可变val做一次局部拷贝，后续操作拷贝后的不可变变量，从根源上规避可变变量捕获的校验限制，示例写法：

val stack1 = ArrayDeque<Int>().apply {
    var tmp = l1
    while (true) {
        val cur = tmp ?: break
        addLast(cur.`val`)
        tmp = cur.next
    }
}

• 不推荐方案：判空后手动做强制类型转换，这种写法会绕开Kotlin的空安全校验，容易引入空指针风险。

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