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[]< /code> 数组，因为 Object 不是 Animal 的子类型。

Answer 2

因此，作为方法参数提供的静态类型按顺序排列：

For forArrayToCollection。

Animal[], Collection<Animal>
Dog[], Collection<Dog>

此方法具有参数类型 Animal[]、Collection。第一次通话完全匹配。第二次调用尝试将 Collection 分配给 Collection 这是错误的（我可以将 Cat 添加到 Collection，我不应该对 Collection 执行此操作）。

对于genericFromArrayToCollection。

Animal[], Collection<Animal>
Dog[], Collection<Dog>

Animal[], Collection<Object>
Dog[], Collection<Animal>
Object[], Collection<Animal>

在所有情况下，T 必须替换集合的通用参数。前两个调用完全匹配。对于第三次调用，T 是 Object，并且由于 Java 中数组的行为方式很奇怪，Animal[] 可以分配给 < code>Object[] （但如果您尝试在其中存储 NumberFormat，您将得到未经检查的 ArrayStoreException）。同样，对于第四个，可以将 Dog[] 分配给 Animal[]。对于最后一个 Object[] 不能分配给 Animal[] （从数组读取永远不应该抛出 ClassCastException 除非你做了一些对于通用数组转换怪物来说是不健全的（你会得到一个 javac 警告 - 记下它））。

Answer 3

基本上， genericFromArrayToCollection() 将 T 定义为类型参数，并用于定义 2 个方法参数（即 T[] a 和 Collection c）。 a 和 c 必须基于相同的类型，因此 Dog[] 和 Collection 可以工作，Animal[] 和 < code>Collection可以工作，但是 Object[] 和 Collection 不行，因为现在 T 是 Object，而集合是基于 动物。你的方法签名有Collection<吗？ extends T>，我认为这可能有效。