密封接口代数数据类型：从状态机到领域驱动设计

利用 sealed interface 构建穷尽匹配的代数数据类型，实现复杂状态机、协议解析器，并分析对比 when 穷尽性检查与枚举局限。 · 难度：入门 · +10XP

状态机与 ADT

密封接口允许接口拥有有限实现，实现真正的代数数据类型。本教程设计一个网络连接状态机（Disconnected/Connecting/Connected/Error），每个状态携带各自数据，通过 when 穷尽匹配保证编译器检查所有分支，同时展示如何与泛型结合实现类型安全的访问者模式。

sealed interface ConnectionState {
    data class Disconnected(val reason: String) : ConnectionState
    data class Connecting(val host: String) : ConnectionState
    data class Connected(val sessionId: String) : ConnectionState
}
fun handle(state: ConnectionState) = when(state) {
    is ConnectionState.Disconnected -> println("失败: ${state.reason}")
    is ConnectionState.Connecting -> println("连接中...")
    is ConnectionState.Connected -> println("已连接: ${state.sessionId}")
}