IntelliJ为何建议在Kotlin测试中用Elvis运算符替换!!并跳过断言？

我在IntelliJ IDEA 2021.2.3（社区版）中编写了如下Kotlin测试用例：

@Test
fun mcve() {
    val exception = assertThrows<IllegalArgumentException> {
        throw java.lang.IllegalArgumentException("just for texting")
    }
    val msg = exception.message!!
    assertTrue(msg.contains("testing"), "Should have 'testing' but got '$msg'")
}

我使用变量msg是因为实际场景中表达式更长，希望简化断言。IntelliJ建议将val msg = exception.message!!替换为val msg = exception.message ?: return，但这样修改后，若exception.message为null，测试会直接通过，而原代码会因!!抛出异常导致测试失败，这与原逻辑不符。请问为何IntelliJ会给出该建议？我是否对Kotlin存在误解？

原因分析 #

• IntelliJ的代码检查规则默认排斥!!强制非空断言，因为在常规业务代码中，!!会在值为null时抛出NullPointerException，被视为不安全的写法，IDE会优先推荐更“安全”的空值处理方案，比如?: return这种提前返回的逻辑。
• 但IDE的检查逻辑没有区分测试代码与业务代码：业务代码中提前返回可能是合理的容错，但测试代码需要严格校验——如果exception.message为null，这本身就是不符合预期的情况，理应让测试失败而非静默通过。

结论：你的理解没有问题 #

你的原代码逻辑完全符合测试场景的需求：使用!!能确保当exception.message为null时，直接触发异常让测试失败，这正是测试所需的严格校验效果。

如果想保留原逻辑同时消除IDE提示，有两种可行方案：

1. 给该行代码添加IDE忽略注释：

   val msg = exception.message!! // noinspection KotlinConstantConditions
   

2. 改用更清晰的断言替代!!，先验证消息非空：

   val msg = exception.message
   assertNotNull(msg, "Exception message should not be null")
   assertTrue(msg.contains("testing"), "Should have 'testing' but got '$msg'")
   

   这种写法更符合测试代码的严谨性，IDE也不会再给出不合理建议。

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