Kotlin枚举嵌套when语句中内层else块是否必填？

我编写了一段使用嵌套when语句的Kotlin代码，外层when已覆盖枚举类Number的所有取值，但编译器仍要求内层when语句添加else块。代码如下：

enum class Number {
    ONE, TWO, THREE
}

fun main(type: Number) {
    when (type) {
        Number.ONE, Number.TWO -> {
            when (type) {
                Number.ONE -> {}
                Number.TWO -> {}
                // Compiler requires else block here
                else -> {}
            }
        }
        Number.THREE -> {}
    }
}

原本以为外层已覆盖所有枚举值，内层无需else块，但编译器强制要求添加。请问该else块是否真的必要？若必要，原因是什么？是否有相关文档说明该行为？

解答 #

这个else块确实是必要的，核心原因在于Kotlin编译器的局部分析规则：

• 编译器对每个when块的检查是独立的，不会跨上下文推导。内层when只会检查自身是否覆盖了枚举Number的所有可能取值，完全不会关联外层when的分支限制——哪怕外层已经把type的范围锁定在ONE和TWO，内层when依然会默认type可能取到所有枚举值（包括THREE），因此必须显式覆盖所有情况，或用else兜底。
• 这种设计是为了代码的健壮性和可维护性。如果后续修改外层when的分支（比如移除对TWO的判断），内层when如果没有else块，会直接出现未覆盖的编译错误，提前暴露问题。
• 根据Kotlin官方规范，针对枚举类型的when语句（无论作为表达式还是语句），编译器会强制要求覆盖所有枚举取值，要么列出所有分支，要么添加else块。这是因为枚举的取值是固定且有限的，编译器可以做严格的完整性检查。

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