通配符在泛型中的应用

先定义类

class A {
public void fun() {
System.out.println("A");
}
}

class B extends A {
@Override
public void fun() {
System.out.println("B");
}

}

class C extends B {
@Override
public void fun() {
System.out.println("C");
}
}

1. 为什么在泛型中需要通配符？

ArrayList<A> ls = new ArrayList<B>();//compile error

即使A是B的父类，这是因为B的list不是A的list的子类

所以这就需要通配符

2. extends

ArrayList<? extends A> arrlist = new ArrayList<B>();

arrlist可以指定A或者A的子类的ArrayList

但是

arrlist.add(new B());

arrlist.add(new A());

就会有编译错误，这是因为add 的参数是 ? extends A, 是A的子孙类，所以不能传入任何对象。

arrlist.contains(new A());

arrlist.indexOf(new A());

以上两条语句是正确，因为contains和indexOf的参数是Object

A a= arrlist.get(0);//ok, 因为返回的是 ? extends A, 是A或者A的子类，所以可以赋值给类A

B b = arrlist.get(0);//error, 不能保证返回的一定是B或者B的子类

如果这样写：

public class Factory<T> {

}

class part {

public String toString () {

return getClass().getSimpleName();

}

}

class filter extends part {

}

class fuel extends filter {

}

class A extends Factory<part> {

}

class B extends A {

}

class C extends Factory<filter> {

}

List<Factory<? extends A>> ls = new ArrayList<Factory<? extends A>>();

ls.add(new A());

ls.add(new B());

ls.add(new C());

这样写是Ok的

3. super

public static void write(List<? super B> ls) {//ls 要求容器内的元素必须是类B，或者B的父类，所以在add的时候，
//只能添加B 或者B的孩子，这是因为不能确保ls的泛化的元素是A，只能确认至少是B，即B是下界
ls.add(new B());
ls.add(new C());
//ls.add(new A());//不能添加A

}

public static void main(String[] args) {

// TODO Auto-generated method stub
//List<A> ls = new ArrayList<A>();//ok
List<B> ls = new ArrayList<B>();//ok
write(ls);
for (A a : ls)
a.fun();
}

/article/2232747.html

通配符有三种：

1、无限定通配符 形式<?>

2、上边界限定通配符 形式< ? extends Number> //用Number举例

3、下边界限定通配符 形式< ? super Number> //用Number举例

1、泛型中的？通配符
如果定义一个方法，该方法用于打印出任意参数化类型的集合中的所有数据，如果这样写

[java] view
plaincopy

import java.util.ArrayList;

import java.util.Collection;

import java.util.List;

publicclass GernericTest {

publicstaticvoid main(String[] args) throws Exception{

List<Integer> listInteger =new ArrayList<Integer>();

List<String> listString =new ArrayList<String>();

printCollection(listInteger);

printCollection(listString);

}

publicstaticvoid printCollection(Collection<Object> collection){

for(Object obj:collection){

System.out.println(obj);

}

}

}

语句printCollection(listInteger);报错
The method printCollection(Collection<Object>) in the type GernericTest is not applicable for the arguments (List<Integer>)
这是因为泛型的参数是不考虑继承关系就直接报错。
这就得用？通配符

[java] view
plaincopy

import java.util.ArrayList;

import java.util.Collection;

import java.util.List;

publicclass GernericTest {

publicstaticvoid main(String[] args) throws Exception{

List<Integer> listInteger =new ArrayList<Integer>();

List<String> listString =new ArrayList<String>();

printCollection(listInteger);

printCollection(listString);

}

publicstaticvoid printCollection(Collection<?> collection){

for(Object obj:collection){

System.out.println(obj);

}

}

}

在方法public static void printCollection(Collection<?> collection){}中不能出现与参数类型有关的方法比如collection.add();因为程序调用这个方法的时候传入的参数不知道是什么类型的，但是可以调用与参数类型无关的方法比如collection.size();
总结：使用?通配符可以引用其他各种参数化的类型,?通配符定义的变量的主要用作引用，可以调用与参数化无关的方法，不能调用与参数化有关的方法。

2、泛型中的?通配符的扩展
1:界定通配符的上边界
Vector<? extends 类型1> x = new Vector<类型2>();
类型1指定一个数据类型，那么类型2就只能是类型1或者是类型1的子类
Vector<? extends Number> x = new Vector<Integer>();//这是正确的
Vector<? extends Number> x = new Vector<String>();//这是错误的

2:界定通配符的下边界
Vector<? super 类型1> x = new Vector<类型2>();
类型1指定一个数据类型，那么类型2就只能是类型1或者是类型1的父类
Vector<? super Integer> x = new Vector<Number>();//这是正确的
Vector<? super Integer> x = new Vector<Byte>();//这是错误的

提示：限定通配符总是包括自己