Java 泛型方法/参数类型

Question

在下面的代码示例中:

interface Eatable{ public void printMe();}
class Animal { public void printMe(){System.out.println("Animal object");}}
class Dog extends Animal implements Eatable{ public void printMe(){System.out.println("Dog object");}}
class BullTerrier extends Dog{ public void printMe(){System.out.println("BullTerrier object");}}

public class ZiggyTest{

    public static void main(String[] args) throws Exception{

        Object[] objArray = new Object[]{new Object(), new Object()};
        Collection<Object> objCollection = new ArrayList<Object>();

        Animal[] animalArray = new Animal[]{new Animal(),new Animal(),new Animal()};
        Collection<Animal> animalCollection = new ArrayList<Animal>();      

        Dog[] dogArray = new Dog[]{new Dog(),new Dog(),new Dog()};
        Collection<Dog> dogCollection = new ArrayList<Dog>();

        System.out.println(forArrayToCollection(animalArray,animalCollection).size());
        // System.out.println(forArrayToCollection(dogArray,dogCollection).size());  #1 Not valid

        System.out.println(genericFromArrayToCollection(animalArray,animalCollection).size());
        System.out.println(genericFromArrayToCollection(dogArray,dogCollection).size());  


        System.out.println(genericFromArrayToCollection(animalArray,objCollection).size()); //#2 
        System.out.println(genericFromArrayToCollection(dogArray,animalCollection).size()); //#3 
        // System.out.println(genericFromArrayToCollection(objArray,animalCollection).size()); //#4

    }

    public static Collection<Animal> forArrayToCollection(Animal[] a, Collection<Animal> c){
        for (Animal o : a){
            c.add(o);
        }

        return c;
    }

    static <T> Collection<T> genericFromArrayToCollection(T[] a, Collection<T> c) {
        for (T o : a) {
            c.add(o); 
        }

        return c;
    }

}

为什么仅当集合的声明类型是数组声明类型的父级时，编译器才允许调用 genericFromArrayToCollection() 方法(参见标记为 #2、#3 的行和#4)。请问这是为什么？

谢谢

编辑

当我取消注释标记为#4 的行时，出现以下错误

ZiggyTest.java:34: <T>genericFromArrayToCollection(T[],java.util.Collection<T>) in ZiggyTest cannot be applied to (java.lang.Object[],java.util.Collection<Animal>)
                System.out.println(genericFromArrayToCollection(objArray,animalCollection).size()); //#4
                                   ^
1 error

编辑2

@Tudor 我用这个语句尝试了下面的方法

System.out.println(method1(new ArrayList<String>()).size());

编译器报错说不能应用于 java.util.ArrayList

public static Collection<Object> method1(ArrayList<Object> c){
        c.add(new Object());
        c.add(new Object());        
        return c;
}

Answer 1

要回答你的问题，我们先确立一个前提:我们知道，如果你有一个以数组为参数的方法，你可以传递一个子类型的数组:

public void method(Object[] list) // can be called with String[]

但反之则不然:

public void method(String[] list) // cannot be called with Object[]

然后，归结为泛型方法的参数实际是如何实例化的，也就是参数类型推断的工作原理。在您的案例 #3 中，它被推断为 Animal，因此方法声明实际上看起来像:

static Collection<Animal> genericFromArrayToCollection(Animal[] a, 
                                                       Collection<Animal> c) {

并且因为 Dog 是 Animal 的子类型，所以它可以很好地代替 Animal[] 数组。与案例 #2 相同。

但是，在情况 #4 中，类型再次被推断为 Animal，因此该方法类似于上面的方法，但是您不能将 Object[] 数组替换为 Animal [] 数组，因为 Object 不是 Animal 的子类型。