1、简单介绍一下java中的泛型,泛型擦除以及相关的概念,解析与分派?
泛型是Java SE1.5的新特性,泛型的本质是参数化类型,也就是说所操的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中,分别称为泛型类、泛型接口、泛型方法。 Java语言引入泛型的好处是安全简单。
在Java SE 1.5之前,没有泛型的情况的下,通过对类型Object的引用来实现参数的“任意化”,“任意化”带来的缺点是要做显式的强制类型转换,而这种转换是要求开发者实际参数类型可以预知的情况下进行的。对于强制类型换错误的情况,编译器可能不提示错误,在运行的时候出现异常,这是一个安全隐患。
泛型的好处是在编译的时候检查类型安全,并且所有的转换都是自动和隐式的,提高代码的重用率。
在学习泛型之前,简单介绍下泛型的一些基本术语,以ArrayList
和ArrayList
做简要介绍:
-
整个
ArrayList
称为泛型类型 -
ArrayList
中的 E称为类型变量或者类型参数 -
整个
ArrayList
称为参数化的类型 -
ArrayList
中的Integer称为类型参数的实例或者实际类型参数 -
ArrayList
中的
念为typeof Integer -
ArrayList称为原始类型
1、泛型的类型参数只能是类类型(包括自定义类),不是简单类型。
2、同一种泛型可以对应多个版本(因为参数类型是不确的),不同版本的泛型类实例是不兼容的。
3、泛型的类型参数可以有多个。
4、泛型的参数类型可以使用extends语句,例如。习惯上称为“有界类型”。
5、泛型的参数类型还可以是通配符类型。例如Class> classType = Class.forName("java.lang.String");
6、泛型变量的类型限定
public static T get(T t1,T t2) {
if(t1.compareTo(t2)>=0);//编译错误
return t1;
}
复制代码
在编译之前,也就是我们还在定义这个泛型方法的时候,我们并不知道这个泛型类型T,到底是什么类型,所以,只能默认T为原始类型Object。所以它只能调用来自于Object的那几个方法,而不能调用compareTo方法。
这个时候,就要使用类型限定,对类型变量T设置限定(bound)来做到这一点。
我们知道,所有实现Comparable接口的方法,都会有compareTo方法。所以,可以对
做如下限定:
public static T get(T t1,T t2) { //添加类型限定
if(t1.compareTo(t2)>=0);
return t1;
}
复制代码
1、不管该限定是类还是接口,统一都使用关键字 extends
2、可以使用&符号给出多个限定,比如
public static T get(T t1,T t2)
复制代码
3、如果限定既有接口也有类,那么类必须只有一个,并且放在首位置
public static T get(T t1,T t2)
复制代码
2.泛型擦除
泛型信息只存在代码编译阶段,在进入JVM之前,与泛型关的信息都会被擦除掉。
在类型擦除的时候,如果泛型类里的类型参数没有指定上限,则会被转成Object类型,如果指定了上限,则会被传转换成对应的类型上限。
Java中的泛型基本上都是在编译器这个层次来实现的。生成的Java字节码中是不包含泛型中的类型信息的。使用泛型的时候加上的类型参数,会在编译器在编译的时候擦除掉。这个过程就称为类型擦除。
如在代码中定义的List
和List
等类型,在编译后都会编程List。JVM看到的只是List,而由泛型附加的类型信息对JVM来说是不可见的。
public class Test4 {
public static void main(String[] args) {
ArrayList arrayList1=new ArrayList();
arrayList1.add("abc");
ArrayList arrayList2=new ArrayList();
arrayList2.add(123);
System.out.println(arrayList1.getClass()==arrayList2.getClass());
}
}
复制代码
在这个例子中,我们定义了两个ArrayList数组,不过一个是ArrayList
泛型类型,只能存储字符串。一个是ArrayList
泛型类型,只能存储整形。最后,我们通过arrayList1对象和arrayList2对象的getClass方法获取它们的类的信息,最后发现结果为true。说明泛型类型String和Integer都被擦除掉了,只剩下了原始类型。
public class Test4 {
public static void main(String[] args) throws IllegalArgumentException, SecurityException, IllegalAccessException, InvocationTargetException, NoSuchMethodException {
ArrayList arrayList3=new ArrayList();
arrayList3.add(1);//这样调用add方法只能存储整形,因为泛型类型的实例为Integer
arrayList3.getClass().getMethod("add", Object.class).invoke(arrayList3, "asd");
for (int i=0;i复制代码
在程序中定义了一个ArrayList泛型类型实例化为Integer的对象,如果直接调用add方法,那么只能存储整形的数据。不过当我们利用反射调用add方法的时候,却可以存储字符串。这说明了Integer泛型实例在编译之后被擦除了,只保留了原始类型。
原始类型(raw type)就是擦除去了泛型信息,最后在字节码中的类型变量的真正类型。无论何时定义一个泛型类型,相应的原始类型都会被自动地提供。类型变量被擦除(crased),并使用其限定类型(无限定的变量用Object)替换。
class Pair {
private T value;
public T getValue() {
return value;
}
public void setValue(T value) {
this.value = value;
}
}
复制代码
Pair
的原始类型为:
class Pair {
private Object value;
public Object getValue() {
return value;
}
public void setValue(Object value) {
this.value = value;
}
}
复制代码
因为在Pair
中,T是一个无限定的类型变量,所以用Object替换。其结果就是一个普通的类,如同泛型加入java变成语言之前已经实现的那样。在程序中可以包含不同类型的Pair,如Pair
或Pair
,但是,擦除类型后它们就成为原始的Pair类型了,原始类型都是Object。 从上面的那个例2中,我们也可以明白ArrayList
被擦除类型后,原始类型也变成了Object,所以通过反射我们就可以存储字符串了。
如果类型变量有限定,那么原始类型就用第一个边界的类型变量来替换。
public class Pair {
}
复制代码
那么原始类型就是Comparable
注意:
如果Pair这样声明public class Pair
在调用泛型方法的时候,可以指定泛型,也可以不指定泛型。
在不指定泛型的情况下,泛型变量的类型为 该方法中的几种类型的同一个父类的最小级,直到Object。
在指定泛型的时候,该方法中的几种类型必须是该泛型实例类型或者其子类。
public class Test2{
public static void main(String[] args) {
/**不指定泛型的时候*/
int i=Test2.add(1, 2); //这两个参数都是Integer,所以T为Integer类型
Number f=Test2.add(1, 1.2);//这两个参数一个是Integer,以风格是Float,所以取同一父类的最小级,为Number
Object o=Test2.add(1, "asd");//这两个参数一个是Integer,以风格是Float,所以取同一父类的最小级,为Object
/**指定泛型的时候*/
int a=Test2.add(1, 2);//指定了Integer,所以只能为Integer类型或者其子类
int b=Test2.add(1, 2.2);//编译错误,指定了Integer,不能为Float
Number c=Test2.add(1, 2.2); //指定为Number,所以可以为Integer和Float
}
//这是一个简单的泛型方法
public static T add(T x,T y){
return y;
}
}
复制代码
其实在泛型类中,不指定泛型的时候,也差不多,只不过这个时候的泛型类型为Object,就比如ArrayList中,如果不指定泛型,那么这个ArrayList中可以放任意类型的对象。
public static void main(String[] args) {
ArrayList arrayList=new ArrayList();
arrayList.add(1);
arrayList.add("121");
arrayList.add(new Date());
}
复制代码
3.类型擦除引起的问题及解决方法:
1、先检查,在编译,以及检查编译的对象和引用传递的值
java编译器是通过先检查代码中泛型的类型,然后再进行类型擦除,在进行编译的。
public static void main(String[] args) {
ArrayList arrayList=new ArrayList();
arrayList.add("123");
arrayList.add(123);//编译错误
}
复制代码
在上面的程序中,使用add方法添加一个整形,在eclipse中,直接就会报错,说明这就是在编译之前的检查。因为如果是在编译之后检查,类型擦除后,原始类型为Object,任意引用类型应该都可以添加的。可实际上却不是这样,这恰恰说明了关于泛型变量的使用,是会在编译之前检查的。
类型检查是针对谁?
现象:参数化类型与原始类型的兼容
以ArrayList举例子,以前的写法:
ArrayList arrayList=new ArrayList();
复制代码
现在的写法:
ArrayList arrayList=new ArrayList();
复制代码
如果是与以前的代码兼容,各种引用传值之间,必然会出现如下的情况:
ArrayList arrayList1=new ArrayList(); //第一种 情况
ArrayList arrayList2=new ArrayList();//第二种 情况
复制代码
不过在第一种情况,可以实现与 完全使用泛型参数一样的效果,第二种则完全没效果。
因为,本来类型检查就是编译时完成的。new ArrayList()只是在内存中开辟一个存储空间,可以存储任何的类型对象。而真正涉及类型检查的是它的引用,因为我们是使用它引用arrayList1 来调用它的方法,比如说调用add()方法。所以arrayList1引用能完成泛型类型的检查。
而引用arrayList2没有使用泛型,所以不行。
public class Test10 {
public static void main(String[] args) {
ArrayList arrayList1=new ArrayList();
arrayList1.add("1");//编译通过
arrayList1.add(1);//编译错误
String str1=arrayList1.get(0);//返回类型就是String
ArrayList arrayList2=new ArrayList();
arrayList2.add("1");//编译通过
arrayList2.add(1);//编译通过
Object object=arrayList2.get(0);//返回类型就是Object
new ArrayList().add("11");//编译通过
new ArrayList().add(22);//编译错误
String string=new ArrayList().get(0);//返回类型就是String
}
}
复制代码
类型检查就是针对引用的,谁是一个引用,用这个引用调用泛型方法,就会对这个引用调用的方法进行类型检测,而无关它真正引用的对象。
泛型中参数化类型为什么不考虑继承关系?
在Java中,像下面形式的引用传递是不允许的:
ArrayList arrayList1=new ArrayList
我们先看第一种情况,将第一种情况拓展成下面的形式:
ArrayList arrayList1=new ArrayList();
arrayList1.add(new Object());
arrayList1.add(new Object());
ArrayList arrayList2=arrayList1;//编译错误
复制代码
实际上,在第4行代码的时候,就会有编译错误。那么,我们先假设它编译没错。那么当我们使用arrayList2引用用get()方法取值的时候,返回的都是String类型的对象(上面提到了,类型检测是根据引用来决定的。),可是它里面实际上已经被我们存放了Object类型的对象,这样,就会有ClassCastException了。所以为了避免这种极易出现的错误,Java不允许进行这样的引用传递。(这也是泛型出现的原因,就是为了解决类型转换的问题,我们不能违背它的初衷)。
在看第二种情况,将第二种情况拓展成下面的形式:
ArrayList arrayList1=new ArrayList();
arrayList1.add(new String());
arrayList1.add(new String());
ArrayList arrayList2=arrayList1;//编译错误
复制代码
没错,这样的情况比第一种情况好的多,最起码,在我们用arrayList2取值的时候不会出现ClassCastException,因为是从String转换为Object。可是,这样做有什么意义呢,泛型出现的原因,就是为了解决类型转换的问题。我们使用了泛型,到头来,还是要自己强转,违背了泛型设计的初衷。所以java不允许这么干。再说,你如果又用arrayList2往里面add()新的对象,那么到时候取得时候,我怎么知道我取出来的到底是String类型的,还是Object类型的呢?
2、自动类型转换
因为类型擦除的问题,所以所有的泛型类型变量最后都会被替换为原始类型。这样就引起了一个问题,既然都被替换为原始类型,那么为什么我们在获取的时候,不需要进行强制类型转换呢?看下ArrayList和get方法:
public E get(int index) {
RangeCheck(index);
return (E) elementData[index];
}
复制代码
看以看到,在return之前,会根据泛型变量进行强转。
public class Test {
public static void main(String[] args) {
ArrayList list=new ArrayList();
list.add(new Date());
Date myDate=list.get(0);
}
}
复制代码
然后反编了下字节码,如下
public static void main(java.lang.String[]);
Code:
0: new #16 // class java/util/ArrayList
3: dup
4: invokespecial #18 // Method java/util/ArrayList."
:()V
7: astore_1
8: aload_1
9: new #19 // class java/util/Date
12: dup
13: invokespecial #21 // Method java/util/Date."":()
16: invokevirtual #22 // Method java/util/ArrayList.add:(L
va/lang/Object;)Z
19: pop
20: aload_1
21: iconst_0
22: invokevirtual #26 // Method java/util/ArrayList.get:(I
java/lang/Object;
25: checkcast #19 // class java/util/Date
28: astore_2
29: return
复制代码
看第22 ,它调用的是ArrayList.get()方法,方法返回值是Object,说明类型擦除了。然后第25,它做了一个checkcast操作,即检查类型#19, 在在上面找#19引用的类型,他是 9: new #19 // class java/util/Date 是一个Date类型,即做Date类型的强转。 所以不是在get方法里强转的,是在你调用的地方强转的。
附关于checkcast的解释:
checkcast checks that the top item on the operand stack (a reference to an object or array) can be cast to a given type. For example, if you write in Java:
return ((String)obj);
then the Java compiler will generate something like:
aload_1 ; push -obj- onto the stack
checkcast java/lang/String ; check its a String
areturn ; return it
checkcast is actually a shortand for writing Java code like:
if (! (obj == null || obj instanceof )) {
throw new ClassCastException();
}
// if this point is reached, then object is either null, or an instance of
// or one of its superclasses.
复制代码
3、类型擦除与多态的冲突和解决方法
现在有这样一个泛型类:
class Pair {
private T value;
public T getValue() {
return value;
}
public void setValue(T value) {
this.value = value;
}
}
复制代码
然后我们想要一个子类继承它
class DateInter extends Pair {
@Override
public void setValue(Date value) {
super.setValue(value);
}
@Override
public Date getValue() {
return super.getValue();
}
}
复制代码
在这个子类中,我们设定父类的泛型类型为Pair
,在子类中,我们覆盖了父类的两个方法,我们的原意是这样的: 将父类的泛型类型限定为Date,那么父类里面的两个方法的参数都为Date类型:
public Date getValue() {
return value;
}
public void setValue(Date value) {
this.value = value;
}
复制代码
所以,我们在子类中重写这两个方法一点问题也没有,实际上,从他们的@Override标签中也可以看到,一点问题也没有,实际上是这样的吗?实际上,类型擦除后,父类的的泛型类型全部变为了原始类型Object,所以父类编译之后会变成下面的样子:
class Pair {
private Object value;
public Object getValue() {
return value;
}
public void setValue(Object value) {
this.value = value;
}
}
复制代码
再看子类的两个重写的方法的类型:
@Override
public void setValue(Date value) {
super.setValue(value);
}
@Override
public Date getValue() {
return super.getValue();
}
复制代码
先来分析setValue方法,父类的类型是Object,而子类的类型是Date,参数类型不一样,这如果实在普通的继承关系中,根本就不会是重写,而是重载。 我们在一个main方法测试一下:
public static void main(String[] args) throws ClassNotFoundException {
DateInter dateInter=new DateInter();
dateInter.setValue(new Date());
dateInter.setValue(new Object());//编译错误
}
复制代码
如果是重载,那么子类中两个setValue方法,一个是参数Object类型,一个是Date类型,可是我们发现,根本就没有这样的一个子类继承自父类的Object类型参数的方法。所以说,却是是重写了,而不是重载了。
原因是这样的,我们传入父类的泛型类型是Date,Pair
,我们的本意是将泛型类变为如下:
class Pair {
private Date value;
public Date getValue() {
return value;
}
public void setValue(Date value) {
this.value = value;
}
}
复制代码
然后再子类中重写参数类型为Date的那两个方法,实现继承中的多态。 可是由于种种原因,虚拟机并不能将泛型类型变为Date,只能将类型擦除掉,变为原始类型Object。这样,我们的本意是进行重写,实现多态。可是类型擦除后,只能变为了重载。这样,类型擦除就和多态有了冲突。JVM知道你的本意吗?知道!!!可是它能直接实现吗,不能!!!如果真的不能的话,那我们怎么去重写我们想要的Date类型参数的方法啊。
于是JVM采用了一个特殊的方法,来完成这项功能,那就是桥方法。
首先,我们用javap -c className的方式反编译下DateInter子类的字节码,结果如下:
class com.tao.test.DateInter extends com.tao.test.Pair {
com.tao.test.DateInter();
Code:
0: aload_0
1: invokespecial #8 // Method com/tao/test/Pair.""
:()V
4: return
public void setValue(java.util.Date); //我们重写的setValue方法
Code:
0: aload_0
1: aload_1
2: invokespecial #16 // Method com/tao/test/Pair.setValue
:(Ljava/lang/Object;)V
5: return
public java.util.Date getValue(); //我们重写的getValue方法
Code:
0: aload_0
1: invokespecial #23 // Method com/tao/test/Pair.getValue
:()Ljava/lang/Object;
4: checkcast #26 // class java/util/Date
7: areturn
public java.lang.Object getValue(); //编译时由编译器生成的巧方法
Code:
0: aload_0
1: invokevirtual #28 // Method getValue:()Ljava/util/Date 去调用我们重写的getValue方法
;
4: areturn
public void setValue(java.lang.Object); //编译时由编译器生成的巧方法
Code:
0: aload_0
1: aload_1
2: checkcast #26 // class java/util/Date
5: invokevirtual #30 // Method setValue:(Ljava/util/Date; 去调用我们重写的setValue方法
)V
8: return
}
复制代码
从编译的结果来看,我们本意重写setValue和getValue方法的子类,竟然有4个方法,其实不用惊奇,最后的两个方法,就是编译器自己生成的桥方法。可以看到桥方法的参数类型都是Object,也就是说,子类中真正覆盖父类两个方法的就是这两个我们看不到的桥方法。而打在我们自己定义的setvalue和getValue方法上面的@Oveerride只不过是假象。而桥方法的内部实现,就只是去调用我们自己重写的那两个方法。 所以,虚拟机巧妙的使用了桥方法,来解决了类型擦除和多态的冲突。
setValue方法是为了解决类型擦除与多态之间的冲突。
而getValue却有普遍的意义,怎么说呢,如果这是一个普通的继承关系,那么父类的setValue方法如下:
public Object getValue() {
return super.getValue();
}
复制代码
而子类重写的方法是:
public Date getValue() {
return super.getValue();
}
复制代码
其实这在普通的类继承中也是普遍存在的重写,这就是协变。
并且,还有一点也许会有疑问,子类中的桥方法 Object getValue()和Date getValue()是同 时存在的,可是如果是常规的两个方法,他们的方法签名是一样的,也就是说虚拟机根本不能分别这两个方法。如果是我们自己编写Java代码,这样的代码是无法通过编译器的检查的,但是虚拟机却是允许这样做的,因为虚拟机通过参数类型和返回类型来确定一个方法,所以编译器为了实现泛型的多态允许自己做这个看起来“不合法”的事情,然后交给虚拟器去区别。
4、泛型类型变量不能是基本数据类型
不能用类型参数替换基本类型。就比如,没有ArrayList
,只有ArrayList
。因为当类型擦除后,ArrayList的原始类型变为Object,但是Object类型不能存储double值,只能引用Double的值。
5、运行时类型查询
ArrayList arrayList=new ArrayList();
复制代码
因为类型擦除之后,ArrayList只剩下原始类型,泛型信息String不存在了。那么,运行时进行类型查询的时候使用下面的方法是错误的
if(arrayList instanceof ArrayList)
复制代码
java限定了这种类型查询的方式
if(arrayList instanceof ArrayList>)
复制代码
6、异常中使用泛型的问题
1、不能抛出也不能捕获泛型类的对象。事实上,泛型类扩展Throwable都不合法。例如:下面的定义将不会通过编译:
public class Problem extends Exception{......}
复制代码
为什么不能扩展Throwable,因为异常都是在运行时捕获和抛出的,而在编译的时候,泛型信息全都会被擦除掉,那么,假设上面的编译可行,那么,在看下面的定义:
try{
}catch(Problem e1){
...
}catch(Problem e2){
...
}
复制代码
类型信息被擦除后,那么两个地方的catch都变为原始类型Object,那么也就是说,这两个地方的catch变的一模一样,就相当于下面的这样
try{
}catch(Problem e1){
...
}catch(Problem e2){
...
}
复制代码
这个当然就是不行的。就好比,catch两个一模一样的普通异常,不能通过编译一样:
try{
}catch(Exception e1){
...
}catch(Exception e2){//编译错误
...
}
复制代码
2、不能再catch子句中使用泛型变量
public static void doWork(Class t){
try{
...
}catch(T e){ //编译错误
...
}
}
复制代码
因为泛型信息在编译的时候已经变为原始类型,也就是说上面的T会变为原始类型Throwable,那么如果可以再catch子句中使用泛型变量,那么,下面的定义呢:
public static void doWork(Class t){
try{
...
}catch(T e){ //编译错误
...
}catch(IndexOutOfBounds e){
}
}
复制代码
根据异常捕获的原则,一定是子类在前面,父类在后面,那么上面就违背了这个原则。即使你在使用该静态方法的使用T是ArrayIndexOutofBounds,在编译之后还是会变成Throwable,ArrayIndexOutofBounds是IndexOutofBounds的子类,违背了异常捕获的原则。所以java为了避免这样的情况,禁止在catch子句中使用泛型变量。
但是在异常声明中可以使用类型变量。下面方法是合法的。
public static void doWork(T t) throws T{
try{
...
}catch(Throwable realCause){
t.initCause(realCause);
throw t;
}
}
复制代码
7、数组(这个不属于类型擦除引起的问题)
不能声明参数化类型的数组。
Pair[] table=new Pair<>("A")[10];//ERROR
复制代码
这是因为擦除后,table的类型变为Pair[],可以转化成一个Object[]。
Object[] objarray =table;
复制代码
数组可以记住自己的元素类型,下面的赋值会抛出一个ArrayStoreException异常。
objarray ="Hello"; //ERROR
复制代码
对于泛型而言,擦除降低了这个机制的效率。下面的赋值可以通过数组存储的检测,但仍然会导致类型错误。
objarray =new Pair();
复制代码
提示:如果需要收集参数化类型对象,直接使用ArrayList:ArrayList
最安全且有效。
8、泛型类型的实例化
不能实例化泛型类型。
first = new T(); //ERROR
复制代码
是错误的,类型擦除会使这个操作做成new Object()。 不能建立一个泛型数组。
public T[] minMax(T[] a){
T[] mm = new T[2]; //ERROR
...
}
复制代码
类似的,擦除会使这个方法总是构靠一个Object[2]数组。但是,可以用反射构造泛型对象和数组。 利用反射,调用Array.newInstance:
public static T[]minmax(T[] a)
{
T[] mm == (T[])Array.newInstance(a.getClass().getComponentType(),2);
...
// 以替换掉以下代码
// Obeject[] mm = new Object[2];
// return (T[]) mm;
}
复制代码
9、类型擦除后的冲突
1.当泛型类型被擦除后,创建条件不能产生冲突。如果在Pair类中添加下面的equals方法:
class Pair{
public boolean equals(T value) {
return null;
}
}
复制代码
考虑一个Pair
。从概念上,它有两个equals方法: boolean equals(String); //在Pair
中定义
boolean equals(Object); //从object中继承
但是,这只是一种错觉。实际上,擦除后方法
boolean equals(T)
变成了方法 boolean equals(Object)
这与Object.equals方法是冲突的!当然,补救的办法是重新命名引发错误的方法。
2.泛型规范说明提及另一个原则“要支持擦除的转换,需要强行制一个类或者类型变量不能同时成为两个接口的子类,而这两个子类是同一接品的不同参数化。”
下面的代码是非法的:
class Calendar implements Comparable{ ... }
class GregorianCalendar extends Calendar implements Comparable{...} //ERROR
复制代码
GregorianCalendar会实现Comparable
和Compable
,这是同一个接口的不同参数化实现。 这一限制与类型擦除的关系并不很明确。非泛型版本:
class Calendar implements Comparable{ ... }
class GregorianCalendar extends Calendar implements Comparable{...} //ERROR
复制代码
是合法的。
10、泛型在静态方法和静态类中的问题
泛型类中的静态方法和静态变量不可以使用泛型类所声明的泛型类型参数
public class Test2 {
public static T one; //编译错误
public static T show(T one){ //编译错误
return null;
}
}
复制代码
因为泛型类中的泛型参数的实例化是在定义对象的时候指定的,而静态变量和静态方法不需要使用对象来调用。对象都没有创建,如何确定这个泛型参数是何种类型,所以当然是错误的。 但是要注意区分下面的一种情况:
public class Test2 {
public static T show(T one){//这是正确的
return null;
}
}
复制代码
因为这是一个泛型方法,在泛型方法中使用的T是自己在方法中定义的T,而不是泛型类中的T。
4.通配符的使用
通配符有三种:
1、无限定通配符 形式>
2、上边界限定通配符 形式< ? extends Number> //用Number举例
3、下边界限定通配符 形式< ? super Number> //用Number举例
1、泛型中的?通配符
如果定义一个方法,该方法用于打印出任意参数化类型的集合中的所有数据,如果这样写
public class GernericTest {
public static void main(String[] args) throws Exception{
List listInteger =new ArrayList();
List listString =new ArrayList();
printCollection(listInteger);//ERROR
printCollection(listString);//ERROR
}
public static void printCollection(Collection collection){
for(Object obj:collection){
System.out.println(obj);
}
}
}
复制代码
语句printCollection(listInteger);报错
The method printCollection(Collection
这是因为泛型的参数是不考虑继承关系就直接报错。
这就得用?通配符
public class GernericTest {
public static void main(String[] args) throws Exception{
List listInteger =new ArrayList();
List listString =new ArrayList();
printCollection(listInteger);
printCollection(listString);
}
public static void 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();//这是正确的
Vector extends Number> x = new Vector();//这是错误的
复制代码
2:界定通配符的下边界
Vector super 类型1> x = new Vector<类型2>();
类型1指定一个数据类型,那么类型2就只能是类型1或者是类型1的父类
Vector super Integer> x = new Vector();//这是正确的
Vector super Integer> x = new Vector();//这是错误的
复制代码
提示:限定通配符总是包括自己