Kotlin密封类when表达式突发非穷尽错误原因咨询

这种情况我之前也碰到过，明明密封类的所有子类都在when里覆盖了，加一行代码就突然报“when必须穷尽”的错，确实挺让人困惑的。本质上这大多是Kotlin编译器在类型推导或增量编译时的小问题，不是你代码逻辑真的有漏洞，下面给你拆解可能的原因和解决办法：

可能的原因 #

• 分支内代码干扰了类型推断
  如果你的when表达式是有返回值的（比如用来赋值给某个变量），新增的代码可能导致Success分支的返回类型和其他分支不一致，或者引入了让编译器无法正确解析Resource类型的逻辑——比如调用了一个返回泛型歧义类型的函数，或者做了不安全的类型转换（比如as?），这会让编译器对整个when的类型检查出现偏差，误以为还有未覆盖的分支。

• 泛型参数的推导歧义
  你的Resource和Success都是带泛型的，当你在Success分支里对data做某些操作时，编译器可能无法精准推断出T的具体类型，进而对密封类的子类覆盖情况产生误判。比如你新增的代码里用到了resource.data的泛型相关操作，可能让编译器混淆了Resource的类型边界。

• 增量编译的缓存问题
  Kotlin的增量编译有时候会“犯迷糊”，新增代码后缓存没更新，导致编译器没有正确识别所有密封子类都被覆盖了，这种属于编译器的小bug，不是代码问题。

解决办法 #

1. 显式指定Success分支的泛型类型 #

在when的Success分支里，明确写出泛型类型，帮编译器“理清思路”，比如：

is Resource.Success<*> -> {
    // 你的新增代码
}

或者如果你的场景里T是具体类型，写成is Resource.Success<YourDataType>也可以，这样编译器能明确这个分支覆盖了所有Success的情况。

2. 检查分支内的返回类型一致性 #

如果when表达式是用来返回值的，确保每个分支的返回类型完全一致。比如其他分支都是返回Unit（也就是没有返回值），那Success分支新增的代码也不能返回其他类型；如果是返回某个对象，所有分支都要返回同类型的对象。

3. 清理编译缓存重新编译 #

这种“玄学”问题很多时候是缓存导致的，试试清理项目的编译缓存：

• 如果是Android Studio/IntelliJ，点File -> Invalidate Caches...，勾选清除缓存并重启IDE；
• 用Gradle的话，执行./gradlew clean（Windows是gradlew clean），然后重新编译项目。

4. 临时添加不可达的else分支 #

如果上面的方法都没用，你可以暂时加一个else分支，但用error()标记它是理论上不可达的，这样既满足编译器要求，又能明确表示这个分支不会被执行：

else -> error("This branch should never execute for sealed class Resource")

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