泛型是JDK5引入的概念,泛型的引入主要是为了保证java中类型的安全性,有点像C++中的模板。
但是Java为了保证向下兼容性,它的泛型全部都是在编译期间实现的。编译器执行类型检查和类型推断,然后生成普通的非泛型的字节码。这种就叫做类型擦除。编译器在编译的过程中执行类型检查来保证类型安全,但是在随后的字节码生成之前将其擦除。
这样就会带来让人困惑的结果。本文将会详细讲解泛型在java中的使用,以避免进入误区。
泛型和协变
有关协变和逆变的详细说明可以参考:
深入理解协变和逆变
这里我再总结一下,协变和逆变只有在类型声明中的类型参数里才有意义,对参数化的方法没有意义,因为该标记影响的是子类继承行为,而方法没有子类。
当然java中没有显示的表示参数类型是协变还是逆变。
协变意思是如果有两个类A<T>和A<C>,其中C是T的子类,那么我们可以用A<C>来替代A<T>。
逆变就是相反的关系。
Java中数组就是协变的,比如Integer是Number的子类,那么Integer[]也是Number[]的子类,我们可以在需要Number[]的时候传入Integer[]。
接下来我们考虑泛型的情况,List<Number>是不是List<Integer>的父类呢?很遗憾,并不是。
我们得出这样一个结论:泛型不是协变的。
为什么呢?我们举个例子:
List<Integer>integerList=newArrayList<>();
List<Number>numberList=integerList;//compileerror
numberList.add(newFloat(1.111));
假如integerList可以赋值给numberList,那么numberList可以添加任意Number类型,比如Float,这样就违背了泛型的初衷,向Integerlist中添加了Float。所以上面的操作是不被允许的。
刚刚我们讲到Array是协变的,如果在Array中带入泛型,则会发生编译错误。比如newList<String>[10]是不合法的,但是newList<?>[10]是可以的。因为在泛型中?表示的是未知类型。
List<?>[]list1=newList<?>[10];
List<String>[]list2=newList<String>[10];//compileerror
泛型在使用中会遇到的问题
因为类型擦除的原因,List<String>和List<Integer>在运行是都会被当做成为List。所以我们在使用泛型时候的一些操作会遇到问题。
假如我们有一个泛型的类,类中有一个方法,方法的参数是泛型,我们想在这个方法中对泛型参数进行一个拷贝操作。
可以看到?是不能直接用于实例化的。但是我们可以用下面的两种方式代替。
再看看Array的使用:
同样的,T是不能直接用于实例化的,但是我们可以用下面两种方式代替。
类型擦除要注意的事项
因为类型擦除的原因,我们在接口实现中,实现同一个接口的两个不同类型是无意义的:
publicclasssomeClassimplementsComparable<Number>,Comparable<String>{...}//no
因为在编译过后的字节码看来,两个Comparable是一样的。
同样的,我们使用T来做类型强制转换也是没有意义的:
public<T>Tcast(Tt,Objecto){return(T)o;}
因为编译器并不知道这个强制转换是对还是错。
以上就是天津卓众教育java培训机构的小编针对“秒懂,深入学习java泛型使用”的内容进行的回答,希望对大家有所帮助,如有疑问,请在线咨询,有专业老师随时为你服务。