Linux 中的 Java 泛型错误，但 Windows 中没有

Question

我有一个类可以在 Windows 中编译，但不能在 Linux 中编译。 不编译的方法是mapA。 我得到的错误是：“错误：类型参数 B 不在类型变量 B 的范围内”。 为什么 Windows 接受我的代码而 Linux 不接受？ 我可以以某种方式禁用此错误吗？

这是课程：

/** Either an A or a B. C is some common supertype of A and B. */
public class EitherOr<C, A extends C, B extends C>
{
    private final boolean isA;
    private final A a;
    private final B b;

    protected EitherOr(boolean isA, A a, B b)
    {
        this.isA = isA;
        this.a = a;
        this.b = b;
    }

    /**
     * If f(A) is of type D,
     * maps an EitherOr<C, A, B> to an EitherOr<E, f(A), B>,
     * where E is some common supertype of D and B.
     */
    public<E, D extends E> EitherOr<E, D, B> mapA(Function<A, D> f)
    {
        return (EitherOr<E, D, B>)(isA ? ofA(f.apply(a)) : ofB(b));
    }

    /** Creates an EitherOr<C, A, B> which is actually an A */
    public static<C, A extends C, B extends C> EitherOr<C, A, B> ofA(A a) {...}

    /** Creates an EitherOr<C, A, B> which is actually a B */
    public static<C, A extends C, B extends C> EitherOr<C, A, B> ofB(B b) {...}

    /** If is A, returns a, else throws an exception. */
    public A getA() {...}

    /** If is B, returns b, else throws an exception. */
    public B getB() {...}

    public C getValue() {return isA ? a : b;}

    ...
}

Answer 1

所以（在添加import java.util.function.*; 后，用return null;s 替换...s 的空白行）错误是：

Main.java:22: error: type argument B is not within bounds of type-variable B
    public<E, D extends E> EitherOr<E, D, B> mapA(Function<A, D> f)
                                      ^
  where B,C are type-variables:
    B extends C declared in class EitherOr
    C extends Object declared in class EitherOr

这听起来很合理。 B 不一定扩展 E，这是必需的。它确实扩展了C，但这不相关。

演员表是另一个问题的迹象。

如果此代码在任何编译器上编译，则该编译器存在重大问题。