通过<>来接受泛型。
特点:
1将运行时期可能出现的类型转换异常转移到了编译时期。让运行时可能出现的问题减少,增加了安全性。
2避免了强制转换的麻烦
3.泛型类是普通类的工厂
一、泛型类
classPair<T>{
T first;
T second;
Pair(T first,T second){
this.first=first;
this.second=second;
}
T getFirst(){
return first;
}
T getSecond(){}
void setFirst(T first){
this.first=first;
}
}
T是类型变量,通过<>来接受泛型的类型参数。
泛型类可以有多个类型变量
class Pair<T,U>{
T first;
U second;
}
java库中,通常用E表示集合的元素类型,K,V表示键值,T(U/S)表示任意类型
二、泛型方法
Class Test{
public static <T> T getElem(T[]arr,int index){
return arr[index];
}
public static <T> void printElem(T[]arr,int index){
System.out.println(arr[index]);
}
}
泛型方法中<T>类型变量放在修饰符后,返回值类型前。
通常在调用时可以省略返回值前的<T>
//String[]strArr=…
String s0= Test.<String>getElem(strArr,4);//有足够的信息判断所调用的方法,所以不需要。
String s= Test.getElem(strArr,4);
静态方法不能够访问泛型类定义的类型变量的对象。如果参数类型不确定,应该使用泛型方法
class A<S>{
public static <U> void func(U data){…}//不可以在func的参数列表中使用泛型类的限定类型。
}
三、类型变量的限定
<T extends BoundingType>表示T是BoundingType的子类型。可以是接口也可以是类。
可以有多个限定,使用&分隔,比如<T extends Comparable&Serializable>
(而类型变量是用逗号分隔),比如<T extends Comparable&Serializable ,Uextends Runnable>
通配符类型:
? extends A//A的子类
? super B//B的超类
?//任意类型,T是任意某一种类型
通配符不是类型变量,不能写成
? t=…;
四、泛型与虚拟机
无论何时定义一个泛型类型,都自动提供一个原始类型:
1原始类型的名字是泛型去掉<…>
2将类型变量(如T)擦除,替换为限定类型(如String)(无限定类型则为Object)
3原始类型用第一个限定的类型变量来替换,如果没有给定限定就用Object替换
比如class A<T extends B&C>implements C{T m;T n;}
则其原始类型为:
class Aimplements C{B m;B n}//B是第一个限定的类型变量,C是第二个
为了提高效率应该将标签接口放在最后,比如C是一个标签接口,所以排在B之后。
翻译泛型表达式:
1.对原始类型的方法的调用
2.将返回值强制转换成相应类型
Pair<A> aPair=…;
A a=aPair.get();
翻译泛型表达式:
虚拟机没有泛型,只有普通的类和方法
所有类型参数都用它们的限定类型替换
桥方法被合成来保持多态
为保持类型安全性,必要时插入强制类型转换
限制:
1.不能用基本类型实例化类型参数
2.运行时类型查询只是用于原始类型。查询是指instanceof,强制类型转换等
3.不能创建参数化类型的数组,比如new T[10]
4.不能实例化类型变量,比如new T()
5.不能抛出或者捕获泛型类的实例
泛型类型的继承:
参数的类型不考虑类型参数的继承关系
比如Vector<Object> v = new Vector<String>();是错误的,Vector<Object>与Vector<String>没有继承关系。