带通配符的 Java 泛型

Question

有任何方法可以解决这种情况（我已尝试尽可能简化该场景）：

public class Test {

    public static void main(String[] args) {

        /*
         * HERE I would like to indicate that the CollectionGeneric can be of
         * something that extends Animal (but the constructor doesn't allow
         * wildcards)
         */
        CollectionGeneric<? extends Animal> animalsCollectionGeneric = new CollectionGeneric<Animal>();
        List<? extends Animal> animals = getAnimals();
        /* Why I cannt do that? */
        animalsCollectionGeneric.setBeans(animals);
    }

    private static List<? extends Animal> getAnimals() {
        return new ArrayList<Dog>();
    }
}

class CollectionGeneric<T> {
    private List<T> beans;

    public List<T> getBeans() {
        return (beans != null) ? beans : new ArrayList<T>();
    }

    public void setBeans(List<T> beans) {
        this.beans = beans;
    }
}

interface Animal {}

class Dog implements Animal{}

这种情况给了我下一个错误：

The method setBeans(List<capture#2-of ? extends Animal>) in the type    
CollectionGeneric<capture#2-of ? extends Animal> is not applicable for
the arguments (List<capture#3-of ? extends Animal>)*

我不确定是否有办法用泛型来做到这一点，

Answer 1

这意味着无法证明两个集合具有相同的类型界限：

    CollectionGeneric<? extends Animal> animalsCollectionGeneric = 
             new CollectionGeneric<Animal>(); 
    List<? extends Animal> animals = getAnimals()

第一个集合在运行时可能具有 CollectionGeneric，第二个集合可能具有 List代码>. 混合这些将意味着你失去类型安全（更不用说大屠杀）。

因此，您需要向编译器证明这两者是相关的，因此您的通用签名应该是：

public void setBeans(List<? extends T> beans) {}
public List<T> getBeans();

并用作：

List<? extends Animal> beans = getBeans();
GenericCollection<Animal> animals = new GenericCollection<Animal>();
animals.add(beans);