好程序员Java教程分享Java难点解析之泛型,只要带有<>的类或者接口,都属于带有类型参数的类或者接口,在使用这些类或者接口时,必须给<>中传递一个具体的引用数据类型。程序员
泛型技术:其实应用在编译时期,是给编译器使用的技术,到了运行时期,泛型就不存在了。安全
为何?由于泛型的擦除:也就是说,编辑器检查了泛型的类型正确后,在生成的类文件中是没有泛型的。编辑器
在运行时,如何知道获取的元素类型而不用强转呢?this
泛型的补偿:由于存储的时候,类型已经肯定了是同一个类型的元素,因此在运行时,只要获取到该元素的类型,在内部进行一次转换便可,因此使用者不用再作转换动做了。对象
何时用泛型类呢?教程
当类中的操做的引用数据类型不肯定的时候,之前用的Object来进行扩展的,如今能够用泛型来表示。这样能够避免强转的麻烦,并且将运行问题转移到的编译时期。接口
泛型在程序定义上的体现:get
//泛型类:将泛型定义在类上。编译器
classTool<Q>{io
privateQobj;
publicvoidsetObject(Qobj){
this.obj=obj;
}
publicQgetObject(){
returnobj;
}
}
//当方法操做的引用数据类型不肯定的时候,能够将泛型定义在方法上。
public<W>voidmethod(Ww){
System.out.println("method:"+w);
}
//静态方法上的泛型:静态方法没法访问类上定义的泛型。若是静态方法操做的引用数据类型不肯定的时候,必需要将泛型定义在方法上。
publicstatic<Q>voidfunction(Qt){
System.out.println("function:"+t);
}
//泛型接口.
interfaceInter<T>{
voidshow(Tt);
}
classInterImpl<R>implementsInter<R>{
publicvoidshow(Rr){
System.out.println("show:"+r);
}
}
------------------------------------------------------------
泛型中的通配符:能够解决当具体类型不肯定的时候,这个通配符就是?;当操做类型时,不须要使用类型的具体功能时,只使用Object类中的功能。那么能够用?通配符来表未知类型。
泛型限定:
上限:?extendsE:能够接收E类型或者E的子类型对象。
下限:?superE:能够接收E类型或者E的父类型对象。
上限何时用:往集合中添加元素时,既能够添加E类型对象,又能够添加E的子类型对象。为何?由于取的时候,E类型既能够接收E类对象,又能够接收E的子类型对象。
下限何时用:当从集合中获取元素进行操做的时候,能够用当前元素的类型接收,也能够用当前元素的父类型接收。
泛型的细节:
1)、泛型到底表明什么类型取决于调用者传入的类型,若是没传,默认是Object类型;
2)、使用带泛型的类建立对象时,等式两边指定的泛型必须一致;
缘由:编译器检查对象调用方法时只看变量,然而程序运行期间调用方法时就要考虑对象具体类型了;
3)、等式两边能够在任意一边使用泛型,在另外一边不使用(考虑向后兼容);
ArrayList<String>al=newArrayList<Object>();//错
//要保证左右两边的泛型具体类型一致就能够了,这样不容易出错。
ArrayList<?extendsObject>al=newArrayList<String>();
al.add("aa");//错
//由于集合具体对象中既可存储String,也能够存储Object的其余子类,因此添加具体的类型对象不合适,类型检查会出现安全问题。?extendsObject表明Object的子类型不肯定,怎么能添加具体类型的对象呢?
publicstaticvoidmethod(ArrayList<?extendsObject>al){
al.add("abc");//错
//只能对al集合中的元素调用Object类中的方法,具体子类型的方法都不能用,由于子类型不肯定。
}