先定义类
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();
}
http://blog.csdn.net/lonelyroamer/article/details/7927212
通配符有三种:
1、无限定通配符 形式<?>
2、上边界限定通配符 形式< ? extends Number> //用Number举例
1、泛型中的?通配符
如果定义一个方法,该方法用于打印出任意参数化类型的集合中的所有数据,如果这样写
- 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>)
这是因为泛型的参数是不考虑继承关系就直接报错。
这就得用?通配符
- 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>();//这是错误的
提示:限定通配符总是包括自己