Kotlin提取空值分支逻辑并保留非空值使用的惯用方法咨询

方法一：使用 Elvis 操作符（推荐） #

这是Kotlin处理此类场景最简洁的惯用方式，利用Elvis操作符（?:）结合run块，既能提取空值处理逻辑，又能让编译器自动推断变量非空：

class SomeClass {
    fun someMethod(c: Context) {
        val id = c.someValue?.someId ?: run {
            return someResult("some message")
        }
        // id 已被编译器智能推断为非空 String 类型，可直接使用
        doSomething(id)
    }
}

原理：当c.someValue?.someId为null时，Elvis操作符会执行右侧的run块，其中的return会直接终止当前函数并返回someResult；只有当id非空时，才会执行后续代码，因此编译器能自动识别id的非空性，无需额外类型断言。

方法二：自定义内联函数（复用复杂逻辑） #

如果空值处理逻辑需要在多个地方复用，可自定义带契约（Contract）的内联函数，帮助编译器完成类型智能转换：

import kotlin.contracts.ExperimentalContracts
import kotlin.contracts.contract

@OptIn(ExperimentalContracts::class)
inline fun <T> T?.ensureNotNull(block: () -> Nothing): T {
    contract {
        returns() implies (this@ensureNotNull != null)
    }
    if (this == null) {
        block()
    }
    return this
}

使用示例：

class SomeClass {
    fun someMethod(c: Context) {
        val id: String? = c.someValue?.someId
        id.ensureNotNull { return someResult("some message") }
        // id 自动转为非空类型，可直接调用doSomething
        doSomething(id)
    }
}

原理：通过Kotlin契约（Contract）告知编译器，若该函数正常返回，则调用对象一定不为null。编译器据此自动将id的类型从String?转换为String，无需手动添加!!或类型转换。注意此特性需开启ExperimentalContracts注解。

内容的提问来源于stack exchange，提问作者Silvia P.