Java泛型混淆了两种通用的超类型

Question

我有一个(穷人)在Java中的任何一种类型:

public final class Either<L, R> {

    final boolean isLeft;
    final L l;
    final R r;

    private Either(final boolean isLeft, final L l, final R r) {
        this.isLeft = isLeft;
        this.l = l;
        this.r = r;
    }

    // map, right-projection, left-projection, etc.  

    public static <L, R> Either<L, R> left(final L l) {
        return new Either(true, l, null);
    }

    public static <L, R> Either<L, R> right(final R r) {
        return new Either(false, null, r);
    }
}

我想添加一个方法来将L或R连接到某种类型的实例T:

    public <T extends L & R> T join() {
        return isLeft ? (T)l : (T)r;
    }

但Java并不喜欢这种通用约束:T extends L & R.如何在Java类型系统中表示此操作？

Answer 1

您只能Either在两种类型与要返回的类型相关的位置执行此操作.由于通常不是这种情况,您需要在静态方法中执行此操作(或者,至少在某个方法上不在实例上Either):

static <T> T join(Either<? extends T, ? extends T> either) {
  return either.isLeft ? either.l : either.r;
}