Kotlin中IntDef为何不支持穷举？需添加else分支的技术疑问

首先得明确：@IntDef注解没办法让Kotlin编译器在when语句中做穷举检查，这是因为它本质只是源码级的静态约束，并没有改变变量的类型——你的status仍然是一个普通的Int类型，编译器不知道它只能取你定义的那四个值，所以会默认存在其他可能的Int值，因此要求你必须添加else分支。

接下来给你几个可行的解决方案：

1. 改用枚举类（最直接的穷举方案） #

枚举类是Kotlin原生支持的类型，编译器完全知道它的所有可能取值，用它来定义状态的话，when语句可以做到完美的编译期穷举检查，不需要额外的else分支：

enum class Status {
    AWAIT, FAILED, SENT, SEEN
}

// 声明为枚举类型
val status: Status = Status.AWAIT

when(status) {
    Status.AWAIT -> { /* 处理AWAIT状态逻辑 */ }
    Status.FAILED -> { /* 处理FAILED状态逻辑 */ }
    Status.SENT -> { /* 处理SENT状态逻辑 */ }
    Status.SEEN -> { /* 处理SEEN状态逻辑 */ }
    // 这里不需要else！编译器会自动检查是否覆盖了所有枚举值
}

2. 坚持用Int的话，只能加else做防御性处理 #

如果因为性能要求、Java兼容性等原因必须用Int类型，那没办法绕开else分支，但你可以在else里添加严格的防御逻辑，确保不会出现未定义的状态：

@IntDef({AWAIT, FAILED, SENT, SEEN})
@Retention(AnnotationRetention.SOURCE)
annotation class Status

companion object {
    const val AWAIT = 0
    const val FAILED = 1
    const val SENT = 2
    const val SEEN = 3
}

@Status val status = AWAIT

when(status) {
    AWAIT -> { /* 处理逻辑 */ }
    FAILED -> { /* 处理逻辑 */ }
    SENT -> { /* 处理逻辑 */ }
    SEEN -> { /* 处理逻辑 */ }
    else -> throw IllegalArgumentException("Unexpected status value: $status")
}

这样即使有非法的Int值传入，也会立刻抛出异常，避免隐性bug。

3. 复杂场景用密封类 #

如果你的状态需要携带额外数据（比如FAILED状态需要保存错误信息），密封类是比枚举更灵活的选择，同样支持编译期穷举检查：

sealed class Status {
    object Await : Status()
    data class Failed(val errorMessage: String) : Status()
    object Sent : Status()
    object Seen : Status()
}

val status: Status = Status.Await

when(status) {
    is Status.Await -> { /* 处理AWAIT */ }
    is Status.Failed -> { /* 可以获取errorMessage：status.errorMessage */ }
    is Status.Sent -> { /* 处理SENT */ }
    is Status.Seen -> { /* 处理SEEN */ }
    // 同样不需要else，编译器会检查所有密封子类
}

总结 #

• @IntDef只是静态检查工具，无法改变Int的本质类型，所以做不到编译期穷举，必须加else；
• 想要编译期保证穷举覆盖，优先用枚举类；
• 状态需要携带数据时，用密封类更合适。

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