Kotlin使用Arrow Either配合多层密封类时when匹配问题如何解决

1. 密封类结构错误修正 #

编译报错来自密封类继承结构设计错误，错误类型实现类没有关联到对应层级的父接口，Kotlin编译器无法识别子类型归属。正确的分层密封类结构如下：

import java.util.UUID

// 顶级错误集合，仅包含通用捕获异常
sealed interface Problem
data class NotHandled(val cause: Throwable): Problem, KeyProblem, DataProblem

// 秘钥相关错误集合，包含通用异常+2种秘钥类异常
sealed interface KeyProblem : Problem
data class DataKeyDisabled(val uuid: UUID, val cause: String): KeyProblem, DataProblem
data class SubscriberNotFound(val uuid: UUID, val cause: String): KeyProblem, DataProblem

// 数据相关错误集合，包含所有秘钥错误+数据加密异常
sealed interface DataProblem : KeyProblem
data class NotEncrypted(val cause: String) : DataProblem

该结构完全匹配业务需求：

• 当返回类型为Either<Problem, T>时，when穷尽匹配仅需处理NotHandled分支
• 当返回类型为Either<KeyProblem, T>时，when穷尽匹配仅需处理NotHandled、DataKeyDisabled、SubscriberNotFound三个分支，无需处理NotEncrypted
• 当返回类型为Either<DataProblem, T>时，才需要额外匹配NotEncrypted分支

2. 多层密封类穷尽匹配支持 #

Kotlin 1.5及以上版本完全支持多层级密封类的穷尽when匹配，只要密封类的所有直接/间接子类都在同一个编译单元内，不需要额外写else分支。

3. Arrow Either 选型合理性说明 #

用Arrow Either替代try-catch适配函数响应式编程范式是完全合理的选型：

• Either将错误显式声明为返回值的一部分，强制调用方处理错误场景，不会出现隐式异常泄漏的问题
• 相比try-catch的指令式错误处理，Either支持mapLeft、fold、flatMap等高阶函数，嵌套错误处理的可读性远高于多层try-catch嵌套
• 协程的try-catch和Either并不冲突，Arrow提供的either { }作用域可以自动捕获作用域内抛出的异常并转换为Left类型，无需手动编写try-catch包裹逻辑，同时兼容协程上下文。

4. 代码简化建议 #

可以使用Arrow的Either DSL简化层级转换逻辑，避免手动编写大量when嵌套：

fun bar(input: Either<Problem, String>) : Either<KeyProblem, String> = either {
    // 若input为Left则直接返回，自动完成错误类型向上兼容
    val inputStr = input.bind()
    // 业务逻辑处理
    inputStr
}

如果需要做错误类型窄化，可以配合mapLeft实现类型转换。

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