通配符在泛型中的应用

来源：互联网发布：nginx二级域名编辑：程序博客网时间：2024/04/29 07:52

先定义类

class A {public void fun() {System.out.println("A");}}class B extends A {@Overridepublic void fun() {System.out.println("B");}}class C extends B {@Overridepublic 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>();//okList<B> ls = new ArrayList<B>();//okwrite(ls);for (A a : ls)a.fun();}

http://blog.csdn.net/lonelyroamer/article/details/7927212

通配符有三种：

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>();//这是错误的

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