泛型

通过<>来接受泛型。

特点：

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>没有继承关系。