使用Generic Class和Generic Collections类型的声明之间的区别是什么

Question

我将向您展示两种泛型声明.在part1中,我在List上使用泛型上边界声明如下:

List<? extends Animal> totList = new ArrayList<Animal>();

但是,如果您尝试将Animal对象添加到列表中,则会抛出如下所示的错误:

Exception in thread "main" java.lang.Error: Unresolved compilation problem: 
    The method add(capture#1-of ? extends Animal) in the type List<capture#1-of ? extends Animal> is not applicable for the arguments (Animal)

    at GenericsType.main(GenericsType.java:39)

但在第2部分,如果我声明如下格式的通用类中的名单,没有错误,同时增加(Animal对象)或(Animal对象的子类)到列表中抛出.

class GenericAnimal<T extends Animal> 
{    
   List<T> genList = new ArrayList<T>();
}

为什么在part2中,它没有抛出错误,两种声明风格之间有什么区别.

示例代码:

1.Animal.java

public class Animal {
    private String name;
    private int height;

    public void animalJump()
    {
        if(height>100)
        {
            System.out.println(name+" with height-"+height+" can JUMP");
        }
        else
            System.out.println(name+" with height-"+height+" cannot jump");         
    }

    public void setName(String name) {
        this.name = name;
    }

    public void setHeight(int height) {
        this.height = height;
    }

    public Animal(String name, int height) {
        setName(name);
        setHeight(height);
    }

}

2.GenericsType.java

import java.util.*;
import Animal;
import Animal.Cannine;
import Animal.Feline;
import Animal.Feline.Cat;
import Animal.Cannine.Dog;

public class GenericsType {

    public static List<? extends Animal> totList = new ArrayList<Animal>();

    public static void processAllfunc1()
    {
        for(Animal a : totList)
        {
            a.animalJump();
        }

    } 

    public static void main(String args[])
    {    
       // Part 1
        totList.add(new Animal("Animal1",21));  // Error: Unresolved compilation problem:           
        processAllfunc1();


       // Part 2
        GenericAnimal<Animal> genericanimal = new GenericAnimal<Animal>();
        genericanimal.genList.add(new Animal("Animal2",22));  // No Error, why?
        genericanimal.genList.add(new Cat("Cat4",204));      // No Error for Cat also, why?

        genericanimal.processAllfunc2();
    }
}

3.GenericAnimal.java

public class GenericAnimal<T extends Animal> {  

    public List<T> genList = new ArrayList<T>();

    public void processAllfunc2()  {
        for (T a : genList) {
            a.animalJump();
        }
    }
}

Answer 1

在第2部分中,类型genericanimal.genList为List<T>= List<Animal>.在第1部分中,列表的类型是List<? extends Animal>.

问题是这List<? extends Animal>意味着"动物的一些特定亚型列表是未知的".例如,你可以写List<? extends Animal> list = new ArrayList<Cat>().并且您不应该将任何动物添加到猫的列表中.通过写作List<? extends Animal>,你说你想故意忘记哪种类型的动物被允许进入清单,尽管你知道列表中的任何东西都是某种类型的动物.