1.为什么我们需要用泛型
A.适用于多种数据类型执行相同的代码,比如下面俩个方法,如果用泛型就能整合成一个方法
public int addInt(int x,int y){
return x+y;
}
public float addFloat(float x,float y){
return x+y;
}
B.泛型中的类型在使用时指定,不需要强制类型转换
比如向List中先存放String类型,再存放Interger类型,编译时是不会报错的,但在运行时会报java.lang.ClassCastException。
如果我们在List指定泛型List<String>那么在存放Interger类型时直接在编译时就会报错,同时在使用时也不需要强制类型装换。
2.泛型的定义
泛型:参数化的类型
泛型不仅可以定义泛型类,也可以定义泛型接口,也可以单独定义泛型方法:
public class NormalGeneric<K> {} //泛型类
Public <T> T test(T t){} //泛型方法
3.实现泛型接口的两种方式
public class ImplGenertor<T> implements Genertor<T> {
@Override
public T next() {
return null;
}
}//实现接口以后,依旧是泛型类
public class ImplGenertor2 implements Genertor<String> {
@Override
public String next() {
return null;
}
}//实现接口以后,指定了类型
4.泛型方法
泛型方法可以独立存在,泛型方法不一定存在泛型类或者泛型接口中。
如果泛型类中又有泛型方法,而且泛型方法也用同样的符号,比如都是<T>,那么泛型方法中的<T>和泛型类中的<T>是没关系的。泛型方法单独存在,可与泛型类的T不一样。如果方法上没有定义<T>,如下所示,那么T就与类的泛型保持一致。
Public T test(T t){} //注意,这个方法不是泛型方法,泛型方法会有<T>这样的标记
5.泛型的继承
泛型可以继承一个接口,也可以多个接口,用&符号连接
<T extends Comparable&Serializable>
泛型的继承,也可以继承类,但同时只能继承一个类,并且这个类一定要放在第一个。
<T extends Book&Comparable&Serializable>
6.泛型的约束和局限性
A.泛型不能被实例化,比如new T(), 这样是不被允许的;
B.静态域以及静态方法中,不能用类的泛型。因为类的泛型是在实例化的时候才确定具体的类。但是静态方法本身是独立泛型方法,那么就可以是静态的泛型方法;
C.泛型不能用instanceof来判断,下面这种方式会报错
if( a instanceof Restrict<Book>) {}
D.同一个类,用不同的泛型,其类的本质还是一样的。也就是调用它们的getClass()得到的结果是相等的
E.泛型类不能extends Exception或者Throwable,这一点比较特殊;如果实在要如此,可先查看相关资料
F.泛型不支持基础类型,只能使用包装类型。
G.泛型可以定于泛型数组,但是不能创建泛型数组。
Restrict<Double>[] restrictArray; //这样是OK的
Restrict<Double>[] restricts = new Restrict<Double>[10];//这样会报错
7.泛型的通配符
通配符一般定义在方法中,不会定义在类的泛型之中
<? extends Fruit> //继承Fruit的子类, 主要用于安全访问数据,不能设置数据
<? super Apple> //Apple的父类,get方法不能用,set方法只能设置Apple或者Apple的子类
8.虚拟机是如何实现泛型
泛型技术在C#和Java之中的使用方式看似相同,但实现上却有着根本性的分歧,C#里面泛型无论在程序源码中、编译后的IL中(Intermediate Language,中间语言,这时候泛型是一个占位符),或是运行期的CLR中,都是切实存在的,List<int>与List<String>就是两个不同的类型,它们在系统运行期生成,有自己的虚方法表和类型数据,这种实现称为类型膨胀,基于这种方法实现的泛型称为真实泛型。
Java语言中的泛型则不一样,它只在程序源码中存在,在编译后的字节码文件中,就已经替换为原来的原生类型(Raw Type,也称为裸类型)了,并且在相应的地方插入了强制转型代码,因此,对于运行期的Java语言来说,ArrayList<int>与ArrayList<String>就是同一个类,所以泛型技术实际上是Java语言的一颗语法糖,Java语言中的泛型实现方法称为类型擦除,基于这种方法实现的泛型称为伪泛型。
由于Java泛型的引入,各种场景(虚拟机解析、反射等)下的方法调用都可能对原有的基础产生影响和新的需求,如在泛型类中如何获取传入的参数化类型等。因此,JCP组织对虚拟机规范做出了相应的修改,引入了诸如Signature、LocalVariableTypeTable等新的属性用于解决伴随泛型而来的参数类型的识别问题,Signature是其中最重要的一项属性,它的作用就是存储一个方法在字节码层面的特征签名[3],这个属性中保存的参数类型并不是原生类型,而是包括了参数化类型的信息。修改后的虚拟机规范要求所有能识别49.0以上版本的Class文件的虚拟机都要能正确地识别Signature参数。
另外,从Signature属性的出现我们还可以得出结论,擦除法所谓的擦除,仅仅是对方法的Code属性中的字节码进行擦除,实际上元数据中还是保留了泛型信息,这也是我们能通过反射手段取得参数化类型的根本依据。