定义如下一个简单的范型类,
package com.tom.lang.generics;
public class Generics<T> {
private T value;
public Generics(T value) {
this.value = value;
}
}
@Test
public void test() {
Generics<Integer> v1 = new Generics<Integer>(10);
Generics<Long> v2 = new Generics<Long>(10L);
Generics<Object> v3 = new Generics<Object>(new Object());
v1 = v2; //编译错
v2 = v1; //编译错
v3 = v1; //编译错
}
在Java范型一中给已经说到了,上面的三种类型是不兼容的,即v1,v2,v3赋值语句都有编译错。这个例子代码表明,确定范型类的类型,一方面包括范型类本身,另一方面包括类型参数。范型类型只有类型和类型参数相同,才能认为类型是兼容的。
范型通配符
范型类的类型参数不同导致的类型的变量不能有存放到范型集合中,使用<?>可以通配类型参数,
Generics<?>[] array = new Generics[3];
Generics<Integer> v1 = new Generics<Integer>(10);
Generics<Long> v2 = new Generics<Long>(10L);
Generics<Object> v3 = new Generics<Object>(new Object());
array[0] = v1;
array[1] = v2;
array[2] = v3;
限制类型的范型通配符
使用<? extends SuperClass>定义限制类型的范型通配符,例如
Generics<? extends Number>[] array = new Generics[3];
Generics<Integer> v1 = new Generics<Integer>(10);
Generics<Long> v2 = new Generics<Long>(10L);
Generics<Object> v3 = new Generics<Object>(new Object());
array[0] = v1;
array[1] = v2;
array[2] = v3; //编译错
使用下面的限制类型的范型通配符,会有编译错,这是为什么?也就是说,通配符不能出现在范型类的范型参数列表中?
public class Generics<? extends Number> {
}
使用<? super ChildType>
Generics2<? super java.sql.Date>[] array = new Generics2[3];
Generics2<java.util.Date> v3 = new Generics2<java.util.Date>(new java.util.Date());
array[0] = v3;
上例中,数组中的每个元素的类型参数的类型都是java.sql.Date的父类
泛型通配符的应用场景
带有泛型通配符的泛型类,由于通配符只有在运行时才能确定其真正的类型,因此,泛型通配符在上使用上有一定的限制,
1. 如下的定义会有编译错,原因是?是任意类型,在类中无法使用
public class Generics<? extends Number> {
}
只能像如下的定义,T这个类型参数在编译时虽然没有确定,但是编译时可以知道这个类型是继承自Number的,因此Number可用的方法,对于T来说也可以使用
public class Generics<T extends Number> {
}
2. 泛型通配符可以用于一致的赋值,例如
Generics<? extends Number>[] array = new Generics[3];
Generics<Integer> v1 = new Generics<Integer>(10);
Generics<Long> v2 = new Generics<Long>(10L);
Generics<Object> v3 = new Generics<Object>(new Object());
array[0] = v1;
3.又如下面的定义,这个变量定义,可以将泛型类型赋值给var,达到一种Javascript弱类型的效果
public class Generics <T> {
public static void main(String[] args) {
Generics<?> var = null;
var = new Generics<String>();
var = new Generics<Date>();
}
}