如何在带左方差注释的情况下平面映射vavr

Question

我的代码

open class Fail(override val message: String, override val cause: Throwable?) : RuntimeException(message, cause)

data class ValidationFail(override val message: String, override val cause: Throwable?) : Fail(message, cause)

将来将在此处定义更多故障

我有2个功能

fun fun1(): Either<out Fail, A>
fun fun2(a: A): Either<out Fail, B>

当我尝试像这样调用它们时fun1（）。平面图{fun2（it）}我得到了

Type mismatch: inferred type is (A!) -> Either<out Fail, B> but ((A!) -> Nothing)! was expected. Projected type Either<out Fail, A> restricts use of public final fun <U : Any!> flatMap(p0: ((R!) -> Either<L!, out U!>!)!): Either<L!, U!>! defined in io.vavr.control.Either

vavr代码：

default <U> Either<L, U> flatMap(Function<? super R, ? extends Either<L, ? extends U>> mapper) {
    Objects.requireNonNull(mapper, "mapper is null");
    if (isRight()) {
        return (Either<L, U>) mapper.apply(get());
    } else {
        return (Either<L, U>) this;
    }
}

我想是因为在平面图定义中有L而没有这个错误吧？扩展L

有什么解决方法吗？

Answer 1

在您的特定情况下，可以通过从返回类型中删除方差来编译它。无论如何，您不应该使用通配符类型作为返回类型。

但是如果您以这种方式定义了fun1和fun2，那就没用了：

fun fun1(): Either<ConcreteFail1, A>
fun fun2(a: A): Either<ConcreteFail2, B>

将L替换为？扩展L在平面图签名中也没有帮助，因为ConcreteFail2不是ConcreteFail1的子类型。问题是要么应该是协变的，但在Java中没有声明站点差异这样的东西。尽管有使用要么#窄方法的解决方法：

Either.narrow<Fail, A>(fun1()).flatMap { Either.narrow(fun2(it)) }

当然，它看起来很奇怪，必须提取到单独的扩展函数：

inline fun <L, R, R2> Either<out L, out R>.narrowedFlatMap(
    crossinline mapper: (R) -> Either<out L, out R2>
): Either<L, R2> = narrow.flatMap { mapper(it).narrow }

其中窄是：

val <L, R> Either<out L, out R>.narrow: Either<L, R> get() = Either.narrow(this)

我认为Vavr没有提供自己的窄化平台映射，因为此方法需要使用通配符接收器类型，所以它不能是成员方法，必须是静态方法，这会破坏操作管道的所有可读性：

narrowedFlatMap(narrowedFlatMap(narrowedFlatMap(fun1()) { fun2(it) }) { fun3(it) }) { fun4(it) }

但由于我们使用Kotlin，我们也可以将静态（扩展）函数管道化：

fun1().narrowedFlatMap { fun2(it) }.narrowedFlatMap { fun3(it) }.narrowedFlatMap { fun4(it) }