重构语句后Kotlin智能类型转换失效，如何解决？

问题场景 #

你原本直接在when分支内做非空检查时，编译器能正常完成智能类型转换：

fun simplePresent(presentable: Presentable?) {
    when {
        presentable != null -> execute(presentable)
        else -> skip()
    }
}

fun execute(presentable: Presentable) {
    // Do something
}

但把非空检查逻辑提取成独立函数hasPresentable后，编译器无法自动将Presentable?转换为Presentable，抛出编译错误：required Presentable found Presentable?：

fun simplePresent(presentable: Presentable?) {
    when {
        hasPresentable(presentable) -> execute(presentable) // 此处报错
        else -> skip()
    }
}

fun execute(presentable: Presentable) {
    // Do something
}

fun hasPresentable(presentable: Presentable?) = presentable != null

问题原因 #

Kotlin的智能类型转换依赖编译器在当前作用域内的直接代码分析。当你把非空判断逻辑封装到独立函数后，编译器无法跟踪这个函数调用对变量可空性的影响——它不知道hasPresentable返回true就一定意味着presentable非空，因此无法自动完成类型转换。

解决方案（保留重构代码的前提下） #

方案1：让检查函数返回非空实例（推荐）

修改hasPresentable，让它直接返回presentable本身（可空类型），然后在when分支里绑定变量并判断：

fun simplePresent(presentable: Presentable?) {
    when (val nonNullPresentable = hasPresentable(presentable)) {
        null -> skip()
        else -> execute(nonNullPresentable) // 此处nonNullPresentable为非空Presentable类型
    }
}

fun execute(presentable: Presentable) {
    // Do something
}

fun hasPresentable(presentable: Presentable?) = presentable

这种方式直观清晰，完全规避空指针风险，编译器能明确识别变量的非空状态。

方案2：将检查函数标记为inline

内联函数的代码会在编译时直接插入到调用位置，相当于把原有的presentable != null逻辑放回了when分支内，编译器就能重新进行智能类型转换：

fun simplePresent(presentable: Presentable?) {
    when {
        hasPresentable(presentable) -> execute(presentable) // 智能转换恢复生效
        else -> skip()
    }
}

fun execute(presentable: Presentable) {
    // Do something
}

inline fun hasPresentable(presentable: Presentable?) = presentable != null

适合简单的检查逻辑，既保留了代码封装性，又没有额外性能开销。

方案3：非空断言（不推荐）

如果你能100%保证hasPresentable返回true时presentable一定非空，可以用!!强制转换，但这种方式存在潜在空指针风险（若后续hasPresentable逻辑被修改，可能引发崩溃）：

fun simplePresent(presentable: Presentable?) {
    when {
        hasPresentable(presentable) -> execute(presentable!!)
        else -> skip()
    }
}

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