IDEA未提示将空检查+点操作替换为?.，二者是否等价？

有开发者提出：原本的空检查+点操作代码a != null && a.toInt() == b，替换为a?.toInt() == b后看似功能相同且代码更简洁，但IDEA并未给出该替换建议，疑惑这两个表达式是否不等价。示例代码如下：

fun main() {
    val a: String? = initA()
    val b = 1
    if (a != null && a.toInt() == b) {
        println("true")
    } else {
        println("false")
    }
}

这两个表达式并非在所有场景下等价，差异主要体现在a为null且b是可空类型的情况，具体分析如下：

行为对比 #

1. a不为null时 #

两者逻辑完全一致：都会执行a.toInt()并与b比较，返回相同的布尔结果。

2. a为null时 #

• 原表达式a != null && a.toInt() == b：借助逻辑与&&的短路特性，a != null为false后，后半段代码不会执行，直接返回false。
• 替换后的表达式a?.toInt() == b：a?.toInt()返回null，此时实际比较的是null == b：
  • 若b是非空类型（比如示例中的Int），null == b结果为false，和原表达式一致；
  • 若b是可空类型且值为null（比如val b: Int? = null），null == b结果为true，但原表达式此时返回false，两者结果完全相反。

IDEA不建议替换的原因 #

IDEA的代码提示会覆盖所有潜在场景，虽然你的示例中两者结果一致，但一旦b的类型改为可空，代码逻辑就会发生隐性变化。为了避免开发者误改导致逻辑错误，IDEA不会主动推送这个替换建议。

另外，如果a是var变量（而非示例中的val），原表达式还存在线程安全风险：a != null和a.toInt()之间，a可能被其他线程修改为null，触发空指针异常；而a?.toInt()是原子性的安全调用，不会出现这个问题——这也是两者语义上的一个重要差异。

内容的提问来源于stack exchange，提问作者AlikElzin-kilaka