java - 涉及返回类型、通配符和交集类型的类型推断

Question

我正在尝试声明一个接口(interface)，该接口(interface)包含一个方法，该方法将返回实现 Comparator<Object> 的事物列表。和 Action ，即

<T extends Comparator<Object> & Action> List<T> getThings();

编译正常，但当我尝试调用此方法时出现问题。我希望能够做到这一点:

List<Action> things = getThings();
List<Comparator<Object>> things = getThings();

当我尝试这样做时，出现以下编译错误:

 incompatible types; no instance(s) of type variable(s) T exist so that
 java.util.List<T> conforms to java.util.List<javax.swing.Action>
 found   : <T>java.util.List<T>
 required: java.util.List<javax.swing.Action>

以下也不起作用:

List<? extends Action> things = getThings();
List<? extends Comparator<Object>> things = getThings();

实现此效果的另一种方法是创建一个空接口(interface)，同时扩展 Comparator<Object>和 Action并将其用作返回类型，即

public interface ComparatorAction extends Comparator<Object>, Action { }
List<ComparatorAction> getThings();

但我不想这样做。一定有办法做我想做的事，对吧？有什么想法吗？

谢谢!

附言我很难为这篇文章想出一个好的标题，所以请随意更改它。

Answer 1

您还可以参数化调用 getThings() 的方法。例如:

public static <U extends Comparator<Object> & Action> void main(String[] args) {
    List<U> l = getThings();
    Action a = l.get(0);
    Comparator<Object> c = l.get(0);
}