多个嵌套通配符 - 参数不适用

Question

我大大简化了我的问题.这是它的读法.

我试图弄清楚为什么以下代码无法编译:

 List<AnonType<AnonType<?>>> l = new ArrayList<AnonType<AnonType<?>>>();
 l.add( new AnonType<AnonType<String>>() );

哪里

public class AnonType<T> {
  T a;

  List<T> b;
}

编译器错误表示add不适用于给定的参数.OTOH,以下代码只有1级嵌套通配符完美编译:

List<AnonType<?>> l = new ArrayList<AnonType<?>>();
l.add( new AnonType<String>() );

Answer 1

以下编译符合预期:

    List<Set<? extends Set<?>>> list = new ArrayList<Set<? extends Set<?>>>();
    list.add(new HashSet<Set<String>>());
    list.add(new HashSet<Set<Integer>>());

问题是泛型是类型不变的.

考虑一个更简单的例子:

• 鉴于有铸造转换Animal为Dog(例如Dog extends Animal)......
  • 一个List<Animal> IS NOT一个List<Dog>
• 从List<? extends Animal>a到a 的捕获转换List<Dog>

现在,这是在这种情况下发生的事情:

• 鉴于有一个捕获转换Set<?>为Set<String>...
  • 一个Set<Set<?>> IS NOT一个Set<Set<String>>
• 有一个捕捉转换,从Set<? extends Set<?>>以Set<Set<String>>

所以,如果你想List<T>在这里你可以添加Set<Set<String>>,Set<Set<Integer>>等等,那么T是不是 Set<Set<?>>,而是Set<? extends Set<?>>.

相关问题

• 无法使用泛型转换为非特定嵌套类型
• 泛型方法上的多个通配符使Java编译器(和我!)非常混淆
• Java Generic List<List<? extends Number>>
• 有什么简单的方法来解释我为什么不能这样做List<Animal> animals = new ArrayList<Dog>()？
• <E extends Number>和之间有什么区别<Number>？

也可以看看

• Java泛型教程
  • 泛型和子类型 | 通配符 | 使用通配符更有趣
• Angelika Langer的Java Generics FAQ
  • 什么是有界通配符？
  • 泛型类型的实例化中存在哪些超子类关系？