Kotlin空值处理：值为null时退出，非null时作为非空值使用的实现方案

嘿，这个问题我太懂了——刚从Java转Kotlin的时候，空安全的智能转换规则确实容易让人踩坑！你遇到的核心问题其实是编译器没识别到你的null分支已经彻底终止了当前流程，所以它依然认为后续代码里的value可能为null。

下面给你几种最常用且符合Kotlin idiom的正确写法：

1. 直接用if+终止流程（最接近你Java代码的写法） #

只要你在null分支里用return（或者throw、break这类能彻底终止当前代码流程的语句），Kotlin编译器会自动进行智能转换，后续代码里的value会被视为非空类型：

if (value == null) {
    println("error!")
    return // 关键：这个return要能终止当前函数/你要退出的流程
}
// 到这里编译器已经100%确定value非空了
println(value)
doFunStuff(value)
etc(value)

⚠️ 注意：如果你的null检查是在嵌套lambda（比如forEach、run）里，普通的return只会退出lambda而不是外层函数，这时候编译器不会转换。这种情况要么把null检查移到lambda外面，要么用标签返回（比如return@yourFunction）确保外层流程终止。

2. 用Elvis操作符（?:）简化代码 #

这是Kotlin里处理空值的惯用写法，把空处理和非空赋值合并成一行，代码更简洁：

val nonNullValue = value ?: run {
    println("error!")
    return // 同样，这里的return终止当前流程
}
// nonNullValue被编译器推断为非空类型
println(nonNullValue)
doFunStuff(nonNullValue)
etc(nonNullValue)

如果你的空分支不需要自定义打印，只是想抛出异常，还可以用标准库的checkNotNull或requireNotNull：

// checkNotNull用于检查内部状态，null时抛出IllegalStateException
val nonNullValue = checkNotNull(value) { "value不能为null！" }
// requireNotNull用于检查参数合法性，null时抛出IllegalArgumentException
// val nonNullValue = requireNotNull(value) { "参数value不能为空！" }

println(nonNullValue)
doFunStuff(nonNullValue)
etc(nonNullValue)

这几种写法都能让编译器正确识别非空类型，放心把值传给要求非空参数的方法。

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