升级至Kotlin 2.0后智能类型转换失败问题咨询

这不是Kotlin 2.0的bug，是新版本对捕获可变局部变量的lambda表达式做了更严格的类型安全检查。

原因解释 #

你的代码里module是var声明的可变局部变量，在LOG.warn { ... }这个lambda中被捕获。虽然你确认没有多线程，但Kotlin编译器无法从语法上保证：lambda执行时（日志框架的lambda通常是延迟执行，只有满足日志级别才会触发），module的值没有被后续代码修改。

在你的循环逻辑里，下一次迭代进入if (line.startsWith("["))分支时，module会被重新赋值为null——如果当前lambda因为日志级别等原因延迟到下一次迭代后才执行，就会出现空指针风险。Kotlin 2.0之前的版本对这种场景的检查不够严格，允许了智能转换，但实际上存在潜在问题，所以新版本收紧了规则，禁止这种不安全的智能转换。

修复方案 #

最稳妥的做法是在进入非null分支后，把module赋值给一个不可变的val变量，之后用这个val来访问属性：

else {
    // 将可变的module赋值给不可变的val，触发安全的智能转换
    val currentModule = module
    val tokens = matcher.group(1).split("\\.".toRegex(), 2)

    val fieldName = tokens[0]
    val mapKey = if (tokens.size == 2) tokens[1] else null

    val field = Schema.fields.getValue(currentModule)[fieldName]
    if (field == null) {
        LOG.warn { "Ignored unknown property \"${matcher.group(1)}\" from module ${currentModule.name}." }
        continue
    }

    // 后续代码都用currentModule代替module
    val value: String = matcher.group(2)

    if (field !is MapField) {
        Model.setFieldValue(FieldValue(field, TypedValue.createValue(field.type, value)))
    } else {
        maps.computeIfAbsent(field) { arrayListOf() }.add("$mapKey=$value")
    }
}

这样currentModule是不可变的，编译器可以确定它的值不会在lambda执行前被修改，自然就能安全地智能转换为非null的Module类型。

另外，你也可以用module!!强制解包，但这种写法不够优雅，而且如果后续代码逻辑变动导致module在lambda执行前被修改，会直接抛出空指针异常，不推荐使用。

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