将泛型值添加到未知类型的泛型容器

Question

有没有办法将动物添加到笼子里？ :)

public class Cage<T> extends ArrayList<T> {
    public final String name = "foo";
}

---

public Zoo {
    List<? extends Cage<?>> zooCages= new ArrayList<Cage<?>>();

    public <T> void addAnimal(String name, T animal){
           for(Cage<?> c : zooCages)
               if(c.name.equals(name)){
                  c.add(animal);       //compile error
                  return;
               }
     }
}

编辑：错别字。 编辑2：完成示例

Answer 1

您的问题在于使用无界通配符。请参阅以下示例：

Cage<?> cage1 = new Cage<Integer>();
Cage<?> cage2 = new Cage<String>();
Cage<?> cage3 = new Cage<T>();

someMethod(cage1);
someMethod(cage2);
someMethod(cage3);

public void someMethod(Cage<?> cage) {
  cage.add(1);                // Will not compile
  cage.add("A String");       // Will not compile
  cage.add(someValueOfTypeT); // Will not compile
}

从技术上讲，该方法并不是绝对必要的，但您可以轻松地看到此代码的问题。 Cage 可以是 Cage 或 Cage。您无法向其中添加任何内容，因为它可以是任何特定的 Cage。

如果您想将 T 添加到 Cage，它必须是 Cage 还是 Cage<？超级T>。您可以执行此操作的一种方法是：

public class Zoo<T> {
  private List<? extends Cage<? super T>> cages = new ArrayList<>();

  public void addAnimal(String cageName, T animal) {
    for(Cage<? super T> cage : cages) {
      // Now you can add animal to a cage
    }
  }
}

Answer 2

（我假设 Cage 是一个集合。）

这里有一个概念错误。

c 在 foreach 循环中被声明为 Cage，即接受未指定类型的笼子。您尝试向其中添加一个 T 类型的对象，但没有理由相信 c 可以包含 T 类型的对象。

请参阅 http://download.oracle.com/javase/tutorial/java/ generics/wildcards.html 了解通配符 * 含义的详细信息。

您可能希望类中的所有笼子都包含相同的（任意）类型T。在这种情况下，整个封闭类应该采用类型参数。例如：

import java.util.*;

public class Main<T> {
    private class Cage extends ArrayList<T> {
        public final String name = "foo";
    }

    List<? extends Cage> zooCages = new ArrayList<Cage>();

    public void addAnimal(String name, T animal) {
        for(Cage c : zooCages) {
             if(c.name.equals(name)) {
                 c.add(animal);
                 return;
             }
        }
    }
}