1. T通常用于类后面和 方法修饰符(返回值前面)后面 ,所以在使用之前必须确定类型,即新建实例时要制定具体类型, 而?通配符通常用于变量 ,在使用时给定即可
? extends A : 通配符上界 通常用于参数,来界定传入的参数上界,不能对参数进行变更,因为无法确定参数的具体类型。
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<Animal> animalList = new ArrayList<>();
animalList.add(new Cat("cat1"));
animalList.add(new Bird("bird1")); a.act(animalList); //可以通过编译 //Test 2
List<Cat> catList = new ArrayList<>();
catList.add(new Cat("cat2"));
catList.add(new Cat("cat3")); a.act(catList); //也可以通过编译
}
} 对act 方法 传递 任何 继承Animal 的list 对象都是可以的。
但也正是 因为参数具体类型的不确定,所以无法对改参数进行更新操作,如add元素, 如add(cat),单数参数 可能是 List<dog>,List<cat>,List<animal> ,虽然第2,3 种是可以执行add(cat) 的,但是第1中是无法执行的,由于这种
不确定性,为了安全,java 禁止向该参数添加任何对象,除了null. ? supper B 通配符上界,不仅可以传递任何B及其父类。还可以对参数进行添加 B 及其子类,原因: 该参数可能是B,B父类, 由于子类可以指向父类,那么就是说我对参数添加一个B或者B的子类是可行的,就如List<B> 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"));