这段代码没有编译,我知道为什么.

我们只能传递给测试方法类型Animal的类型或它的超类型(如对象列表)

package scjp.examples.generics.wildcards;
 
import java.util.ArrayList;
import java.util.List;
 
class Animal {}
class Mammal extends Animal {}
class Dog extends Mammal {}
 
public class Test {
 
    public void test(List<? super Animal> col) {
        col.add(new Animal());
        col.add(new Mammal());
        col.add(new Dog());
    }
 
    public static void main(String[] args) {
        List<Animal> animalList = new ArrayList<Animal>();
        List<Mammal> mammalList = new ArrayList<Mammal>();
        List<Dog> dogList = new ArrayList<Dog>();
 
        new Test().test(animalList);
        new Test().test(mammalList); // Error: The method test(List<? super Animal>) in the type Test is not applicable for the arguments (List<Mammal>)  
        new Test().test(dogList);    // Error: The method test(List<? super Animal>) in the type Test is not applicable for the arguments (List<Dog>)
 
        Dog dog = dogList.get(0);
    }        
}

但这里有一个奇怪的部分(至少对我而言).

如果我们通过仅添加< T>来声明类Test是通用的,那么它就会编译！并抛出java.lang.ClassCastException：

public class Test<T> {
...
}

,

Exception in thread "main" java.lang.ClassCastException: scjp.examples.generics.wildcards.Animal cannot be cast to scjp.examples.generics.wildcards.Dog

我的问题是为什么添加泛型类类型< T> (它没有在任何地方使用)导致类编译和更改通配符行为？