Java 包装泛型编译错误

Question

我有一个非常基本的代码来重现这个问题:

public class Main {
  public static <T extends Number> void bar(Wrapper<List<T>> wrapper) {
    // do something
  }

  public static void foo(Wrapper<List<? extends Number>> wrapper) {
    // do something
  }

  public static <T extends Number> void bar2(List<T> aList) {
    // do something
  }

  public static void foo2(List<? extends Number> aList) {
    // do something
  }

  public static void main(String[] args) {
    List<Integer> aList = Collections.singletonList(1);
    foo2(aList); // compiles
    bar2(aList); // compiles

    Wrapper<List<Integer>> wrapper = new Wrapper<>(Collections.singletonList(1));
    foo(wrapper); // not compiles
    bar(wrapper); // compiles
  }

  private static class Wrapper<T> {
    private final T t;

    public Wrapper(T t) {
      this.t = t;
    }
  }
}

所以问题是为什么在我尝试编译代码时 javac 会报错:

Main.java:26: error: method foo in class Main cannot be applied to given types;
    foo(wrapper); // not compiles
    ^
  required: Wrapper<List<? extends Number>>
  found: Wrapper<List<Integer>>
  reason: argument mismatch; Wrapper<List<Integer>> cannot be converted to Wrapper<List<? extends Number>>
1 error

Answer 1

Wrapper<List<Integer>>不是 Wrapper<List<? extends Number>> 的子类型.

使用 Wrapper<? extends List<? extends Number>> .

---

看看为什么不能通过Wrapper<List<Integer>>至 foo ，请考虑以下事项:我已经替换了 Wrapper与 List ，但从类型安全的角度来看，这是一回事。

List<List<? extends Number>> list = new ArrayList<>();
List<List<Integer>> intList = new ArrayList<>();

因此，您可以向 list 添加一些内容:

List<Double> doubles = new ArrayList<>(Arrays.asList(0.0));
list.add(doubles);

但是，如果你能写出这个作业:

list = intList;

然后调用list.add(doubles)意味着会有一个List<Double>在 intList .这不是类型安全的，因此被禁止。

Ideone demo

但是，如果list类型为 List<? extend List<? extends Number>> , 那么你就不能调用 add在上面，这样你就不会陷入这种情况，这样就安全了。