Kotlin枚举类使用when时是否可省略else分支？

核心结论 #

当when表达式的判断目标是枚举类型，且你已经覆盖了该枚举的所有实例时，可以安全省略else分支；但如果判断目标是开放类型（比如Int、String这类有无限可能值的类型），哪怕逻辑上你觉得已经覆盖了所有合法场景，也必须添加else分支来兜底处理非法输入。

具体解释 #

Kotlin编译器会对枚举类型的when做穷尽性检查：如果枚举的所有常量都被when的分支覆盖，编译器能确定不会有未处理的情况，因此允许省略else。但对于Int这种开放类型，编译器无法预知所有可能的输入值（比如你的逻辑只处理0-9，但输入可能是10、-5等），所以必须通过else分支明确处理这些超出预期的情况（通常是抛异常）。

结合你的代码案例分析 #

1. Case1的isMovable方法
   这里when的判断对象是Movement枚举，而Movement只有STOP和GO两个实例，两个分支完全覆盖了所有可能，因此编译器允许省略else，不会报错。

2. Case1的fromConditionOf方法
   这里when的判断对象是Int类型的randomValue，虽然你的业务逻辑只处理0-9，但Int可以取任意整数值，编译器无法确认所有输入都被覆盖，所以必须添加else分支来抛出非法输入的异常，避免程序出现未定义行为。

3. 关于两次冗余的when
   Case1中先把Int转成枚举，再用when把枚举转回Boolean，确实存在冗余。Case2的优化方案更合理：直接在fromConditionOf中根据randomValue返回对应的Boolean值，既消除了冗余的when，也简化了Car类的isMovable方法。

补充优化建议 #

如果想让枚举类的转换逻辑更易维护，还可以通过遍历枚举实例来匹配范围，避免后续新增枚举实例时修改分支：

companion object {
    fun fromConditionOf(randomValue: Int): Movement =
        entries.firstOrNull { randomValue in it.range }
            ?: throw IllegalStateException("[ERROR] When a random value is invalid")
}

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