在 Kotlin 中实现并输入 Either

问题是Kotlin不知道如何实现抽象的flatMap方法.并不是每个现有实现都要判断它们是否是类型安全的，这本身可能是非常困难的.

例如，您可以像这样实现Either，作为附加实现.

class A {
    fun somethingSpecific() {}
}
class B

class SomethingElse: Either<A, Int>() {
    override fun isLeft() = true

    override fun isRight() = true

    override fun <R2> flatMap(f: (Int) -> Either<A, R2>): Either<A, R2> {
        val x = f(1)
        when (x) {
            is Left -> x.l.somethingSpecific()
            else -> {}
        }
        return Left(A())
    }

}

你做到了:

val x: Either<Any, Int> = SomethingElse()
val y = x.flatMap { Left(B()) }

你最终会拨打B的somethingSpecific.

无论如何，抽象方法方法都是不可能的.

改为使用通用扩展来实现flatMap:

fun <L, R, R2> Either<L, R>.flatMap(f: (R) -> Either<L, R2>): Either<L, R2> =
    when (this) {
        is Left -> this
        is Right -> f(this.r)
    }

请注意，在这里不能对SomethingElse使用相同的技巧.不能使用SomethingElse.flatMap的实现将第三个手臂添加到when，因为L和R不受约束.

is SomethingElse -> {
    val x = f(1) // oops, f doesn't take an Int
    when (x) {
        is Left -> x.l.somethingSpecific() // oops, x.l is not A
        else -> {}
    }
    Left(A()) // oops, this should return Either<L, R2>, not Either<A, Nothing>
}

如果do将他们限制在A和Int，你将无法在Either<Any, Int>上呼叫flatMap.