Java 通用列表>

Question

为什么我们不能在java中做:

List<List<? extends Number>> aList = new ArrayList<List<Number>>();

即使这样也可以:

List<? extends Number> aList = new ArrayList<Number>();

编译器错误信息是:

Type mismatch: cannot convert from ArrayList<List<Number>> to List<List<? extends Number>>

Answer 1

在 Java 中，如果 Car是 Vehicle 的派生类，那么我们可以处理所有 Cars作为 Vehicles ;一个 Car是 Vehicle . 但是，List的 Cars也不是List的 Vehicles .我们说List<Car> 与 List<Vehicle> 不协变 .

Java 要求您明确告诉它何时要使用通配符的协变和逆变，由 ? 表示 token 。看看你的问题发生在哪里:

List<List<? extends Number>> l = new ArrayList<List<Number>>();
//        ----------------                          ------
// 
// "? extends Number" matched by "Number". Success!

内List<? extends Number>工作是因为 Number确实扩展了Number ，所以它匹配“? extends Number”。到目前为止，一切都很好。下一步是什么？

List<List<? extends Number>> l = new ArrayList<List<Number>>();
//   ----------------------                    ------------
// 
// "List<? extends Number>" not matched by "List<Number>". These are
//   different types and covariance is not specified with a wildcard.
//   Failure.

但是，组合的内部类型参数 List<? extends Number>与 List<Number> 不匹配;类型必须完全相同。另一个通配符会告诉 Java 这种组合类型也应该是协变的:

List<? extends List<? extends Number>> l = new ArrayList<List<Number>>();