具有有界通配符的泛型类型的 Java 泛型集合

Question

请帮我解决这个问题:

如果Lion IS-A Animal并给出 Cage<T> :

Cage<? extends Animal> c = new Cage<Lion>(); // ok,

但是

Set<Cage<? extends Animal>> cc = new HashSet<Cage<Lion>>(); // not ok

我在这里没有看到什么？

Answer 1

当分配给具有非通配符泛型类型的变量 ( Set<T>) 时 T , 被分配的对象必须恰好有 T作为其通用类型(包括 T 的所有通用类型参数，通配符和非通配符)。在你的情况下 T是Cage<Lion> ，与 Cage<? extends Animal> 不同类型.

你能做什么，因为Cage<Lion>可分配给 Cage<? extends Animal> , 是使用通配符类型:

Set<? extends Cage<? extends Animal>> a = new Set<Cage<Lion>>();