为什么此分支中断类型推断？

Question

我正在使用EitherJava 的本地实现，该实现具有如下方法：

public static <L, R> Either<L, R> left(final L value);

public static <L, R> Either<L, R> right(final R value);

public <T> T fold(
        final Function<? super L, ? extends T> leftFunction,
        final Function<? super R, ? extends T> rightFunction);

这两种方法可以编译并正常工作：

Either<Foo, Bar> rightToLeft() {
    Either<Foo, Bar> input = Either.right(new Bar());
    return input.fold(
        l -> null, 
        r -> Either.left(new Foo())
    );
}

Either<Foo, Bar> rightToRight() {
    Either<Foo, Bar> input = Either.right(new Bar());
    return input.fold(
        l -> null,
        r -> Either.right(new Bar())
    );
}

此方法无法编译：

Either<Foo, Bar> rightToLeftOrRightConditionally() {
    Either<Foo, Bar> input = Either.right(new Bar());
    return input.fold(
        l -> null, 
        r -> {
            if (r.equals("x")) {
               return Either.left(new Foo());
            }
            return Either.right(new Bar());
        });
}

错误：

incompatible types: inferred type does not conform to upper bound(s)
    inferred: Either<? extends Object,? extends Object>
    upper bound(s): Either<Foo,Bar>,java.lang.Object

（我已经修剪了包限定符，以使错误更易读）

我可以通过指定类型进行编译：

if (r.equals("x")) {
    return Either.<Foo, Bar> left(new Foo());
}
return Either.<Foo, Bar> right(new Bar());

但是为什么我需要呢？以及如何避免此代码混乱？

Answer 1

此代码应该起作用。

它在最新的JDK 1.8.0_121上编译。

无法在JDK 1.8.0-51上编译。

这意味着它在此版本的JDK中很可能是一个错误，因为更高版本的除非修正了一个错误，否则不应更改编译器的行为。可能是错误JDK-8055963。

因此，解决方案是：

1. 升级您的编译器
2. 如果您不能升级编译器（例如，其他人，固执己见，拥有构建系统），请坚持使用现有的变通方法来明确显示类型。