已做空非空判断仍需用!!？Kotlin空检查警告问题咨询

嘿，这个问题其实戳中了Kotlin智能类型推断的一个关键点，我来给你理清楚～

问题根源：可变变量的不确定性 #

你遇到的情况，大概率是因为你的user是一个可变变量（用var声明）。Kotlin编译器的智能类型推断虽然强大，但它没办法保证：在你执行if(user != null)检查之后，到你调用user.name的这段时间里，有没有其他线程或者其他代码把user重新赋值为null。

举个极端点的例子，假设在多线程环境下，刚检查完user非空，另一个线程立刻把user改成了null，那直接调用user.name就会抛出空指针异常。为了避免这种潜在风险，编译器就不会自动把var类型的user智能转换为非空类型，所以会要求你用!!来显式断言“我确定它现在非空”。

但如果你的user是不可变变量（用val声明），情况就不一样了——val一旦赋值就不能修改，编译器能100%确定if(user != null)之后user绝不会变成null，这时候你直接写user.name就不会有警告了。

更优雅的解决方案 #

既然你不想用!!（毕竟这玩意儿有点粗暴，万一真出问题会直接抛异常），可以试试这几种写法：

1. 把user改成val（如果业务允许的话）

如果user不需要后续被重新赋值，直接用val声明，编译器会自动帮你做智能类型转换，代码会清爽很多：

val user: User? = getUser()
if(user != null) { 
    val name = user.name 
    val surname = user.surname 
    val phoneNumber = user.phoneNumber 
} else {
    // 其他处理
}

2. 使用let+run的组合（你提到的写法）

这个写法是Kotlin里处理空值的常用范式，?.let只会在user非空时执行代码块，块里的it会被自动智能转换为非空类型；?: run则处理空值的情况：

user?.let { safeUser ->
    val name = safeUser.name 
    val surname = safeUser.surname 
    val phoneNumber = safeUser.phoneNumber 
} ?: run {
    // user为空时的处理
}

3. 局部变量中转

如果必须保留var，可以在if块里把user赋值给一个局部的val，这样编译器就能确定这个局部变量不会被修改，从而允许直接调用属性：

if(user != null) { 
    val safeUser = user
    val name = safeUser.name 
    val surname = safeUser.surname 
    val phoneNumber = safeUser.phoneNumber 
} else {
    // 其他处理
}

总结 #

核心原因就是Kotlin编译器对可变变量的安全性顾虑——可变变量可能在检查后被修改，而不可变变量则完全可控。根据你的业务场景选择合适的写法，既能消除警告，又能保证代码的安全性～

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