为什么Kotlin中可空布尔值配合Elvis运算符会触发Android Studio代码检查警告？

你认为两种写法逻辑完全一致的判断是正确的，二者运行效果没有任何区别，IDE更推荐第二种写法的核心原因如下：

• 语义更直白，可读性更高
  可空Boolean类型共有三种可能取值：true、false、null，你的需求是仅当表达式取值明确为true时才进入if分支。startTimes.value?.containsKey(name) == true的写法直接匹配这个需求语义，不需要额外推导。而?: false的写法需要开发者多一层转换理解：空值场景下返回false才能对应需求，对刚接触Kotlin的开发者不够友好。
• 降低编码出错风险
  如果你使用Elvis写法时不小心手误写成?: true，整个判断逻辑会完全反转，且这类错误很难在代码Review环节快速发现。而== true的写法逻辑直白，就算写错也更容易定位问题。
• 适配静态检查规则
  这是Kotlin官方推荐的可空Boolean判断规范，IDE可以更精准识别代码意图：如果后续startTimes.value的类型从可空改为非空，IDE会直接提示== true属于冗余判断可以删除，而Elvis写法不会触发这类精准提示。
• 避免运算符优先级导致的异常
  如果后续需要扩展判断条件，添加多个逻辑与/或的判断，== true的写法不会出现运算符优先级导致的逻辑错误。而Elvis运算符优先级低于逻辑运算符，很容易因为漏加括号出现非预期的逻辑结果。

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