Kotlin排除双空场景后无法推断对象非空性的问题与解决

当我们处理一对可空对象，且已经通过代码逻辑排除了两者同时为空的情况时，Kotlin编译器无法自动推断“其中一个为空则另一个必然非空”的逻辑关联——这属于当前编译器非空推断能力的局限性：它只能追踪单个变量的直接null检查，无法处理跨变量的复合互斥条件。

问题复现示例 #

data class Foo(val x:Int, val y:Int)

class Demo {
    val table = hashMapOf<Int, Foo>()
    fun runDemo(index1:Int, index2:Int) : Int {
        var item1 = table[index1]
        var item2 = table[index2]
        if ((item1 == null) && (item2 == null)) {
            return 0
        }
        // 逻辑上item1和item2不会同时为空，但编译器无法识别
        if (item1 == null) {
            item1 = item2.copy(x=0)    // 编译错误：只能对可空接收器使用安全调用或非空断言
        } else if (item2 == null) {
            item2 = item1.copy(x=0)    // 此操作合法，因为item1已被推断为非空
        }
        return item1.x + item1.y + item2.x + item2.y
    }
}

解决方案 #

以下是几种符合Kotlin风格的解决方式，按推荐度排序：

1. 使用requireNotNull显式断言（最安全）

相比直接用!!，requireNotNull可以添加自定义错误信息，在极端异常场景下更容易定位问题，同时明确表达“此处变量不可能为空”的逻辑意图：

if (item1 == null) {
    item1 = requireNotNull(item2) { "item2不应在item1为空时为null" }.copy(x=0)
} else if (item2 == null) {
    item2 = item1.copy(x=0)
}
return item1.x + item1.y + item2.x + item2.y

2. 重构为when表达式（更清晰）

通过when表达式重构逻辑，让编译器能更好地匹配分支条件，同时代码结构更直观：

fun runDemo(index1: Int, index2: Int): Int {
    val item1 = table[index1]
    val item2 = table[index2]

    return when {
        item1 == null && item2 == null -> 0
        item1 == null -> {
            val safeItem2 = item2!!.copy(x=0)
            safeItem2.x + safeItem2.y
        }
        item2 == null -> {
            val safeItem1 = item1.copy(x=0)
            safeItem1.x + safeItem1.y
        }
        else -> item1.x + item1.y + item2.x + item2.y
    }
}

3. 利用?:非空合并简化逻辑

先通过非空合并操作确保变量非空，再进行计算，逻辑紧凑且符合Kotlin函数式风格：

fun runDemo(index1: Int, index2: Int): Int {
    val item1 = table[index1]
    val item2 = table[index2]

    if (item1 == null && item2 == null) return 0

    val safeItem1 = item1 ?: item2!!.copy(x=0)
    val safeItem2 = item2 ?: item1!!.copy(x=0)

    return safeItem1.x + safeItem1.y + safeItem2.x + safeItem2.y
}

4. 合理使用!!断言（最简单但需谨慎）

如果团队内部能达成共识，明确此处item2不可能为空，直接使用!!是最简洁的方式，虽然违反“避免使用!!”的通用规范，但属于可解释的合理场景：

if (item1 == null) {
    item1 = item2!!.copy(x=0)
}

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