为何编译器无法识别通过自定义方法校验后的非空值？

这是个超级常见的Kotlin空安全困惑，我来给你掰扯明白～

首先得搞懂Kotlin的**智能转换（Smart Cast）**机制——这就是直接检查obj.value != null能通过编译的核心原因：

• 当你直接写if (obj.value != null)时，编译器会做两件关键判断：
  1. 确认obj是局部变量或者val（不可变），不会在空检查后被意外修改；
  2. 跟踪这个空检查的结果，在当前代码块里自动把obj.value从Int?转换为Int，所以能直接传给要求非空参数的passNonNullableValue。

那为什么调用obj.doesNotContainNull()就不行呢？核心问题是编译器没法识别自定义方法的返回值和属性非空性的绑定关系：

• 对编译器来说，doesNotContainNull()只是一个返回Boolean的黑盒方法。它不会去分析方法内部的代码逻辑（哪怕你写的是return value != null），更没法把「方法返回true」和「value一定非空」划上等号。
• 哪怕你的value是val，编译器也不会做这个关联——因为从语法上，方法完全可以在不同场景返回不同结果，编译器不会假设它的返回和value的状态严格绑定。

给你两个实用解决方案： #

方案1：用Kotlin标准空安全语法替代自定义方法

最稳妥的方式是配合?.let处理非空逻辑，既简洁又完全符合编译器的识别规则：

obj.value?.let { passNonNullableValue(it) }

方案2：用Kotlin契约（Contract）告诉编译器关联关系

如果你一定要保留自定义方法，可以用Kotlin的契约功能，显式告诉编译器：当方法返回true时，value一定是非空的。不过这是实验性特性，使用时需要注意版本兼容性：

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

class Object(val value: Int?) {
    @ExperimentalContracts
    fun doesNotContainNull(): Boolean {
        contract {
            returns(true) implies (value != null)
        }
        return value != null
    }
}

添加契约后，编译器就能识别这个关联，再写if (obj.doesNotContainNull()) { passNonNullableValue(obj.value) }就能正常编译了。

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