public class A{
public void act(List extends Animal> list) {
for (Animal animal : list) {
animal.eat();
}
}
}
public class ATest{
public static void main(String[] args) {
A a= new A();
//Test 1
List animalList = new ArrayList<>();
animalList.add(new Cat("cat1"));
animalList.add(new Bird("bird1"));
a.act(animalList);//可以通过编译
//Test 2
List catList = new ArrayList<>();
catList.add(new Cat("cat2"));
catList.add(new Cat("cat3"));
a.act(catList);//也可以通过编译
}
}
对act 方法 传递 任何 继承Animal 的list 对象都是可以的。
但也正是 因为参数具体类型的不确定,所以无法对改参数进行更新操作,如add元素, 如add(cat),单数参数 可能是 List,List,List ,虽然第2,3 种是可以执行add(cat) 的,但是第1中是无法执行的,由于这种
不确定性,为了安全,java 禁止向该参数添加任何对象,除了null.
? supper B 通配符上界,不仅可以传递任何B及其父类。还可以对参数进行添加 B 及其子类,原因: 该参数可能是B,B父类, 由于子类可以指向父类,那么就是说我对参数添加一个B或者B的子类是可行的,就如List l = new ArrayList<>(); l.add(B);l.add(Bchild),是正确的。
// 可以正确执行, 其效果就如2
public void testAdd(List super Bird> list){
list.add(new Bird("bird"));
list.add(new Magpie("magpie")); //Magpie 是Bird 的子类
}
//2 可以执行
List super Bird> list = new ArrayList<>();
list.add(new Bird("bird"));
list.add(new Magpie("magpie"));list.add(new Animal("animal"));