Detekt静态分析工具中关于IgnoredReturnValue规则对Nothing类型的处理优化

在Kotlin静态代码分析工具Detekt中，IgnoredReturnValue规则用于检测被忽略的函数返回值，这是一个非常重要的代码质量检查项。该规则默认会检查所有非Unit类型的返回值是否被正确处理，但最近社区提出了一个关于Nothing类型处理的优化建议。

问题背景

Kotlin语言中有两种特殊的返回类型：

1. Unit类型：相当于Java中的void，表示函数没有有意义的返回值
2. Nothing类型：表示函数永远不会正常返回（要么抛出异常，要么进入无限循环）

目前Detekt的IgnoredReturnValue规则只对Unit类型的返回值不做检查，而Nothing类型的返回值仍然会被标记为警告。例如以下代码会触发警告：

fun foo(): Int {
  TODO() // 这里会触发IgnoredReturnValue警告
}

技术分析

从语言特性来看，Nothing类型比Unit更加特殊：

1. Unit是一个实际存在的对象（Unit单例），可以被赋值给变量
2. Nothing是真正的"无返回值"，表示控制流不会继续
3. 包含Nothing返回值的表达式，其后续代码在静态分析中会被认为是不可达的

对于TODO()这样的标准库函数，它返回Nothing并抛出NotImplementedError，实际上返回值永远不会被使用。因此检查Nothing返回值的处理是没有实际意义的。

优化建议

建议修改IgnoredReturnValue规则，使其对Nothing类型和Unit类型采用相同的处理方式——不进行检查。这种修改可以：

1. 消除不必要的警告，减少误报
2. 保持与Kotlin语言特性的逻辑一致性
3. 提高规则的实际使用体验

实现考虑

从实现角度看，这个修改应该相对简单，只需要在规则检查时增加对Nothing类型的判断。可以参考Detekt现有的returnValueTypes配置机制，但将其作为内置行为而非配置项。

总结

对Detekt的IgnoredReturnValue规则进行这一优化，将使工具的检查逻辑更加符合Kotlin语言设计哲学，同时提升开发者的使用体验。这是一个小而美的改进，能够在不影响规则核心功能的前提下，消除不必要的警告干扰。