我在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类型系统中表示此操作？
您只能Either在两种类型与您要返回的类型相关的位置上执行此操作。由于通常情况并非如此，因此您需要使用静态方法（或至少是不在实例上的某些方法Either）执行此操作：
static <T> T join(Either<? extends T, ? extends T> either) {
return either.isLeft ? either.l : either.r;
}
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句