为何Kotlin中"x != null || return"无法智能转换，if写法却可以？

这是因为Kotlin编译器的控制流分析逻辑对两种写法的处理规则不同：

1. if (result == null) return null能触发智能转换的原因 #

这个写法是明确的控制流分支：

• 当result为null时，函数直接执行return null退出，后续代码不会被执行。
• 编译器可以100%确定，走到return User(...)代码行时，result不可能为null，因此自动将UserApiResult?智能转换为非空的UserApiResult。

2. result != null || return null无法触发智能转换的原因 #

虽然逻辑上和上面的if语句等价，但这是一个逻辑表达式语句，而非Kotlin控制流分析重点覆盖的分支结构：

• Kotlin的智能转换规则仅针对if、when这类标准控制流语句做深度的非空推断，不会对||逻辑表达式的后续代码做变量非空性绑定。
• 编译器无法通过这个表达式确定后续代码中result一定是非空的，因此不会触发智能转换。

实用替代写法 #

如果想简化空值判断并触发智能转换，可以使用Kotlin的Elvis运算符?:，它能被编译器正确识别并触发智能转换：

suspend fun getUser(userId: Int): User? {
    val result: UserApiResult? = fetchTheApi(userId)
    result ?: return null // 等价于if (result == null) return null
    return User(result.email, result.name) // 此处result会被智能转换为非空类型
}

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