多个通配符界限

Question

假设我有以下课程：

public class Either<A, B> {
    public Object get();
}

Either 是一种存储类型 A 或 B 的一个对象的类型。get() 检索该对象。

问题是是否可以使用泛型来更改get() 的方法签名，以便返回的类型不仅仅是Object，而是A 和B 的任何常见超类型。例如，@ 987654326@可以有get()返回Number，Either<Deque<T>, Set<T>>可以有get()返回Iterable<T>或Collection<T>，以此类推。 （显然，Either<Foo,Foo> 应该有 get() 返回 Foo）。

如果这是可能的话，如果我有Either<List<A>, List<B>>，get() 可以返回的最具体的类型是什么？是原始的List、通配符List<?>，还是完全其他的？

Answer 1

Java 推理确实有类似的东西，我们可以做

public static <C, A extends C, B extends C> C get(Either<A,B> e)
{   return (C)e.get();    }

inference:

    A=Integer, B=Long    ==>    C=Number

    A=List<Integer>, B=List<Long>      ==>   C=List<? extends Number>

usage:

    Either<Integer, Long> x = ...;
    get(x); // the return type is Number

但是，可能没有办法将其转换为实例方法。我们需要写

public class Either<A,B>

    public <C super A|B> C get() { ... }

or simply

    public A|B get(){ ... }

Java 不支持

Answer 2

为什么不定义一个抽象类 C，包含你认为必要的 A 和 B 的共同逻辑，并在你的 Either 类中引用它：

public class Either<C> {
    public C get();
}

这似乎不是一个很好的答案，但是由于 Java 在编译时无论如何都会删除您的类型信息（也就是说，您的编译代码只看到 Object 而不是 A 或 B） ，那么您最适合定义应在显式公共类中保留的内容。

Answer 3

据我所知，这是不可能的：您的Either<A,B> 类对通用的第三种类型（我们称之为C）进行了假设，A 和 B 都会扩展它：虽然可以编写像public class Either<A extends MyNonFinalClass, B extends MyNonFinalClass> {} 这样的东西，Java 不允许前向引用泛型类型，所以你甚至不能写像Either<A extends C, B extends C, C> 这样的东西。显然很遗憾，因为您的 Either 课程真的很方便 :)

Answer 4

您需要确保 A 和 B 有共同的祖先。

public class Either<A extends CommonAncestor, B extends CommonAncestor> {
    public CommonAncestor get() {....}
}

或

public class Either<C, A extends C, B extends C> {
    public C get() {....}
}