泛型(T)、通配符(?)整理
1.Java泛型的实现方法:类型擦除
- 通过两个例子证明Java类型的类型擦除
例1.原始类型相等
public class Test {
public static void main(String[] args) {
ArrayList<String> list1 = new ArrayList<String>();
list1.add("abc");
ArrayList<Integer> list2 = new ArrayList<Integer>();
list2.add(123);
System.out.println(list1.getClass() == list2.getClass());
}
}
最后的结果为true,说明泛型类型String和Integer都被擦除掉了,只剩下原始类型ArrayList
例2.通过反射添加其它类型元素
public class Test {
public static void main(String[] args) throws Exception {
ArrayList<Integer> list = new ArrayList<Integer>();
list.add(1); //这样调用 add 方法只能存储整形,因为泛型类型的实例为 Integer
list.getClass().getMethod("add", Object.class).invoke(list, "asd");
for (int i = 0; i < list.size(); i++) {
System.out.println(list.get(i));
}
}
}
当我们利用反射调用add()方法的时候,却可以存储字符串,这说明了Integer泛型实例在编译之后被擦除掉了,只保留了原始类型
2. 理解泛型和通配符
- 泛型: 是一个形参,可以理解为一个占位符,被使用时,会在程序运行的时候替换成具体的类型,比如替换成String,Integer之类的。
- 通配符: 是一个实参,这是Java定义的一种特殊类型,比Object更特殊,就像一个无所不能的对象更胜于object。比如List和List是没有父子关系的两个类型,但是List<?> 更似于是所以java中所有对象的的父类。
总结:通俗的讲,泛型可以由我们指定为某一类对象,而通配符类则是所有对象都通用。
3. 泛型和通配符区别
1.泛型可以进行写操作,通配符则不行
public static <T extends Number> void addTExtend(List<T> list, T e){
list.add(e);
}
public static void addTExtend(List<?> list, T e){
list.add(e);//会报错,由于通配符可泛指任何类型对象,所以在写操作后,List集合内不知道是什么类型而不允许操作
}
public static void addTExtend(List<? super T> list, T e){
list.add(e);//不会报错,由于限定了T的子类及T自身,限定通配符可以进行写操作
}
2.泛型和通配符获取泛指值
public static <T extends Number> void addTExtend(List<T> list, T e){
T t = list.get(0);
}
public static void addTExtend(List<?> list, T e){
Object o = list.get(0);//get出来以后只能用Object接收
}
public static void addTExtend(List<? extends T> list, T e){
Object/T o = list.get(0);//get出来以后可以通过Object和T来接收
}
public static void addTExtend(List<? super T> list, T e){
Object o = list.get(0);//get出来以后可以通过Object来接收
}
3.泛型可以多继承,通配符不允许
总结:泛型支持写操作通配符只有限定通配符支持写操作,泛型可以多继承通配符不允许,泛型获取泛指值可以通过Object和泛指T接收通配符只有继承统配可以其他都只能通过Object接受。
自己学习中略微的一点拙见,欢迎指出不当之处