Java范型学习笔记
对于范型的使用或者说印象只有集合,其他地方即使使用过也不知道,反正就是只停留在
List<E>
Map<K, V>
,最近刚好闲来无事,就找找资料学习一下;下列为个人学习总结,欢迎学习交流;
1. 什么是java泛型
范型:参数化类型,所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中,分别称为泛型类、泛型接口、泛型方法;
List<Integer> list = new ArrayList<>();
上述代码申明了一个集合,操作的数据类型被指定为Integer(此处Integer为类型参数);
2. 为什么需要泛型
引入泛型的好处是可以将运行时错误提前到编译时错误
List list = new ArrayList();
list.add(100);
list.add("zhangsan");
for(int i = 0; i< list.size();i++){
int num = (int)list.get(i);
}
上面的代码在编译时没有任何问题,但是在运行时会报错:
java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer
如果没有引入范型,集合内的操作数据类型可以是任何类型,如果在操作数据时进行类型判断然后在强转也是没有问题的,但是很明显不切合实际,所以如果引入范型对操作数据类型做一定的约束的话,将会对后续的操作提供太多的方便也能减少错误的出现;
List<Integer> list = new arrayList<>();
//list.add("zhangsan");//在编译期就会报错
3. 范型的使用
泛型有三种使用方式,分别为:泛型类、泛型接口、泛型方法
3.1. 范型类
泛型类中的类型参数几乎可以用于任何可以使用接口名、类名的地方
/**
* 范型标识可以是任何标识符号,如常见的E, T, K, V ...
*/
class 类名<范型标识>{
}
class Stu<T>{
}
class People<E>{
}
注意:
- 泛型的类型参数只能是类类型,不能是基础类型;
List<int> list;//基础类型不能当作类型参数
- 不能对确切的泛型类型使用instanceof操作。如下面的操作是非法的,编译时会出错。
if(item instanceof List<Integer>) // Illegal generic type of instanceof
3.2. 范型接口
泛型接口与泛型类的定义及使用基本相同
public interface Iterable<T> {
Iterator<T> iterator();
}
- 实现范型接口,未明确范型时:实现类后的范型标识不能省略
class Iter<T> implements Iterable<T> {
@Override
public Iterator<T> iterator() {
return null;
}
}
- 实现范型接口,明确范型时:实现类后的范型标识省略
class Iter1 implements Iterable<String> {
@Override
public Iterator<String> iterator() {
return null;
}
}
3.3. 范型方法
public 与 返回值 中间非常重要,声明此方法为泛型方法;
/**
* 泛型方法的基本介绍
* @param tClass 传入的泛型实参
* @return T 返回值为T类型
* 说明:
* 1)public 与 返回值 中间<T>非常重要,声明此方法为泛型方法;
* 2)只有声明了<T>的方法才是泛型方法,若没有<T>泛型类中即使使用了泛型的成员方法也不是泛型方法;
* 3)<T>表明该方法将使用泛型类型T,此时才可以在方法中使用泛型类型T;
* 4)与泛型类的定义一样,此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于表示泛型;
*/
public <T> T genInstance(Class<T> tClass) throws IllegalAccessException, InstantiationException {
T instance = tClass.newInstance();
return instance;
}
光看上面的例子可能依然会非常迷糊,我们再通过一个例子
public class ArrayList<E> implements List<E> {
/**
* 虽然在方法中使用了泛型,但是这并不是一个泛型方法。
* 这只是类中一个普通的成员方法,只不过他的返回值是在声明泛型类已经声明过的泛型。
* 所以在这个方法中才可以继续使用 T 这个泛型。
*/
public E get(int index) {
//...
return elementData(index);
}
/**
* 将E改为T后,方法报错,"cannot reslove symbol T"
* 因为在类的声明中并未声明泛型T,所以在使用E做形参和返回值类型时,编译器会无法识别
*/
public T set(int index, T element) {
//...
return oldValue;
}
/**
* 这才是一个真正的泛型方法。
* 首先在public与返回值之间的<T>必不可少,这表明这是一个泛型方法,并且声明了一个泛型T
* 这个T可以出现在这个泛型方法的任意位置.
*/
public <T> T[] toArray(T[] a) {
//...
return a;
}
}
4. 范型通配符
使用
?
代替范型标识
,标识操作数据类型可以为任何数据类型
java中我们都知道父类可以出现的地方,子类都是可以出现的,但是:
public static void method(List<Number> list){
}
public static void main(String[] args) {
List<Integer> list = new ArrayList<>();
method(list); // 此处报错:List<java.lang.Number> cannot be applied to List<java.lang.Integer>
}
通过提示信息我们可以看到List<Integer>
不能被看作为List<Number>
的子类。
由此可以看出:同一种泛型可以对应多个版本(因为参数类型是不确定的),不同版本的泛型类实例是不兼容的。
我们可以将上面的方法改一下:
public static void method(List<?> list){
}
类型通配符一般是使用?
代替具体的类型实参,此处的?
和Number、String、Integer一样都是一种实际的类型,可以把?
看成所有类型的父类,是一种真实的类型;
可以解决当具体类型不确定的时候,这个通配符就是?
;当不需要使用类型的具体功能只使用Object类中的功能,那么可以用 ?
通配符来表未知类型。
5. 泛型上下边界
在使用泛型的时候,我们还可以为传入的泛型类型实参进行上下边界的限制,如:类型实参只准传入某种类型的父类或某种类型的子类。
public static void method(List<? extends Number> list){
}
public static void main(String[] args) {
List<Integer> intList = new ArrayList<>();
method(intList); // Integer 是Number的子类
List<Double> doubleList = new ArrayList<>();
method(doubleList); // Double是Number的子类
List<String> strList = new ArrayList<>();
method(strList); // 此处报错,String不是Number的子类
}
6. 范型擦除
Java在编译期间,所有的泛型信息都会被擦掉;
如在代码中定义List<Object>
和List<String>
等类型,在编译后都会变成List,JVM看到的只是List,而由泛型附加的类型信息对JVM是看不到的。Java编译器会在编译时尽可能的发现可能出错的地方,但是仍然无法预知在运行时刻出现的类型转换异常的情况;
擦除范型后只保留原始类型
原始类型 就是擦除去了泛型信息,最后在字节码中的类型变量的真正类型,无论何时定义一个泛型,相应的原始类型都会被自动提供,类型变量擦除,并使用其限定类型(无限定的变量用Object)替换。
List<String> list1 = new ArrayList<>();
list1.add("abc");
List<Integer> list2 = new ArrayList<>();
list2.add(123);
System.out.println(list1.getClass() == list2.getClass()); // true
System.out.println(list1.getClass()); // class java.util.ArrayList
说明泛型类型String和Integer都被擦除掉了,只剩下原始类型List;
ArrayList<Integer> list = new ArrayList<Integer>();
list.add(1); //这样调用 add 方法只能存储整形,因为泛型类型的实例为 Integer
list.add("asd"); // 此处报错
list.getClass().getMethod("add", Object.class).invoke(list, "asd"); // 通过反射获取实例后可以添加成功
for (int i = 0; i < list.size(); i++) {
System.out.println(list.get(i));
}
在程序中定义了一个ArrayList泛型类型实例化为Integer对象,如果直接调用add()方法,那么只能存储整数数据,不过当我们利用反射调用add()方法的时候,却可以存储字符串,这说明了Integer泛型实例在编译之后被擦除掉了,只保留了原始类型。
参考资料:
https://www.cnblogs.com/wuqinglong/p/9456193.html
https://blog.csdn.net/caihuangshi/article/details/51278793
https://www.cnblogs.com/iyangyuan/archive/2013/04/09/3011274.html