JAVA泛型详解

参考文章：1.《JAVA编程思想 第4版》 2.java泛型详解http://luckykapok918.blog.163.com/blog/static/2058650432012102341548827/
Java泛型（generics）是JDK 5中引入的一个新特性，允许在定义类和接口的时候使用类型参数（type parameter）。声明的类型参数在使用时用具体的类型来替换。泛型最主要的应用是在JDK 5中的新集合类框架中。对于泛型概念的引入，从好的方面来说，泛型的引入可以解决之前的集合类框架在使用过程中通常会出现的运行时刻类型错误（安全性更好），因为编译器可以在编译时刻就发现很多明显的错误。而从不好的地方来说，泛型不是JAVA语言出现时就有的组成部分，为了保证与旧有版本的兼容性，Java泛型的实现上存在着一些不够优雅的地方，后续的版本更新会为早期的设计缺陷所累。

JAVA的泛型对很多人来说比较麻烦，使用的时候常会犯一些直觉错误。本文对JAVA泛型做一个概括型的说明。

类型擦除

正确理解泛型概念的首要前提是理解类型擦除（type erasure）。 Java中的泛型基本上都是在编译器这个层次来实现的。使用泛型的时候加上的类型参数，会被编译器在编译的时候去掉。这个过程就称为类型擦除。在泛型代码内部，无法获得任何有关参数内型的信息。这是一个很残酷的现实。如在代码中定义的List<Object>和List<String>等类型，在编译之后都会变成List。JVM看到的只是List，而由泛型附加的类型信息对JVM来说是不可见的。类型擦除也是Java的泛型实现方式与C++模板机制实现方式之间的重要区别。
很多泛型的奇怪特性都与这个类型擦除的存在有关，包括：

泛型类并没有自己独有的Class类对象。
比如并不存在List<String>.
class或是List<Integer>.class，
而只有List.class。由于这一个擦除的特性，不难理解下面的代码为何错误。

[java] view plaincopy





public class Erased<T>{

private final int SIZE=100;

public static void f(Object arg){

T var=new T();//Error

T[] array=new T[SIZE];//Error

T[] array=(T) new Object[SIZE];//Unchecked warning

}

}

静态变量是被泛型类的所有实例所共享的。
对于声明为MyClass<T>的类，
访问其中的静态变量的方法仍然是 MyClass.myStaticVar。不管是通过new MyClass<String>还是new MyClass<Integer>创建的对象，
都是共享一个静态变量。

泛型的类型参数不能用在Java异常处理的catch语句中。因为异常处理是由JVM在运行时刻来进行的。
由于类型信息被擦除，
JVM是无法区分两个异常类型MyException<
String>和MyException<Integer>的。
对于JVM来说，它们都是 MyException类型的。
也就无法执行与异常对应的catch语句。

任何基本类型都不能作为类型参数。JAVA的基本数据类型有byte，short，int，long，float，double，char，boolean。不能创建ArrayList<int>之类的东西。如果要解决的话，JAVA自动包装机制是解决之道，比如可以创建一个ArrayList<Integer>，然后将Int用于容器即可。

一个类不能实现同一个泛型接口的两种变体。这是因为由于擦除，两种变体会变成完全一样的接口。例如下面代码就会造成冲突。

[java] view plaincopy





Hourly将无法编译，因为擦除会将Payable<Employee>和Payable<Hourly>简化成相同的类Payable。这样上面的代码就是重复的两次实现相同的接口。

interface Payable<T>{}

class Employee implements Payable<Employee>{}

class Hourly extends Employee implements Payable<Hourly>{}

方法重载时候注意：当被擦除的参数不能产生唯一的参数列表时，必须提供明显有区别的方法名。例如，下面的代码擦除以后，重载方法会产生相同的类型签名，这样编译器就会报错。

[java] view plaincopy





public class list2<W,T>{

void f(List<T> v){}

void f(List<W> v){}

}

类型擦除的基本过程也比较简单，首先是找到用来替换类型参数的具体类。这个具体类一般是Object。如果指定了类型参数的上下界的话，则使用这个边界。把代码中的类型参数都替换成具体的类。同时去掉出现的类型声明，即去掉<>的内容。比如T get()方法声明就变成了Object get()；List<String>就变成了List。接下来就可能需要生成一些桥接方法（bridge method）。这是由于擦除了类型之后的类可能缺少某些必须的方法。比如考虑下面的代码：

[java] view plaincopy





class MyString implements Comparable<String> {

public int compareTo(String str) {

return 0;

}

}

当类型信息被擦除之后，上述类的声明变成了class MyString implements Comparable。但是这样的话，类MyString就会有编译错误，因为没有实现接口Comparable声明的int compareTo(Object)方法。这个时候就由编译器来动态生成这个方法。

实例分析

问题1：类型参数向上转型。
假设Apple类是Fruit类的子类，很多人会常常写这样一句代码：List<Fruit> flist=new ArrayList<Apple>()；这句代码是错误的！！！
有人可能认为这不是向上转型么？事实上这不是向上转型。Apple的List不是Fruit的List，因为Fruit的List将会持有各种类型的Fruit，比如Orange,Banana。但是Apple的List持有的只是Apple和它的子类。因此，这种代码完全就是错误的。
我们需要注意，List<Fruit> flist=new ArrayList<Fruit>()；flist.add(new Apple())；这样的代码才是大家所谓的向上转型。
问题2：泛型对象调用方法。
看看下面的代码：

[java] view plaincopy





class HasF{

public void f();

}

class Manipulator<T>{

private T tt;

public Manipulator(T tt){this.tt=tt;}

public void mani(){tt.f();}//Error

public T get(){return tt;}

}

public class Erase(){

public static void main(String []args){

HasF hf=new HasF();

Manipulator<HasF> mad=new Manipulator<HasF>(hf);

mad.mani();

}

}

这段代码为什么会错呢，因为JAVA并不知道泛型的参数类型，对于T,它可能是各种类型，如String，Integet。不是这些类都有f()方法，这么调用f()方法当然是错误的。

问题3：创建类型实例。
对于以下代码：

[java] view plaincopy





public class Erased<T>{

private final int SIZE=100;

public static void f(Object arg){

T var=new T();//Error

T[] array=new T[SIZE];//Error

}

}

创建new T()或者new T[]无法实现，原因就是因为擦除，同时也因为编译器无法验证T具有默认（无参）构造器。

泛型问题的解决---边界

以上实例中出现的问题就是因为擦除以后，编译器无法识别类型参数，因为解决的方法就是为类型参数指定一个大概的范围，这个就是边界。
在使用泛型类的时候，既可以指定一个具体的类型，如List<String>就声明了具体的类型是String；也可以用通配符?来表示未知类型，如List<?>就声明了List中包含的元素类型是未知的。 通配符所代表的其实是一组类型，但具体的类型是未知的。List<?>所声明的就是所有类型都是可以的。但是List<?>并不等同于List<Object>。List<Object>实际上确定了List中包含的是Object及其子类，在使用的时候都可以通过Object来进行引用。而List<?>则其中所包含的元素类型是不确定。其中可能包含的是String，也可能是 Integer。如果它包含了String的话，往里面添加Integer类型的元素就是错误的。正因为类型未知，就不能通过new ArrayList<?>()的方法来创建一个新的ArrayList对象。因为编译器无法知道具体的类型是什么。但是对于 List<?>中的元素确总是可以用Object来引用的，因为虽然类型未知，但肯定是Object及其子类。

如上所示，试图对一个带通配符的泛型类进行操作的时候，总是会出现编译错误。其原因在于通配符所表示的类型是未知的。因为对于List<?>中的元素只能用Object来引用，在有些情况下不是很方便。在这些情况下，可以使用上下界来限制未知类型的范围。 如List<? extends Number>说明List中可能包含的元素类型是Number及其子类。而List<? super Number>则说明List中包含的是Number及其父类。当引入了上界之后，在使用类型的时候就可以使用上界类中定义的方法。比如访问 List<? extends Number>的时候，就可以使用Number类的intValue等方法。

在有了边界以后我们再来看上述问题的解决之道。
问题1：我们只需将List<Fruit> filist=new ArrayList<Apple>();换成List<? entends Fruit> filist=new ArrayList<Apple>();即可。此时flist是”具有任何从Fruit继承的类型的列表“。
问题2：将代码改成：

[java] view plaincopy





class HasF{

public void f();

}

class Manipulator<T extends HasF>{

private T tt;

public Manipulator(T tt){this.tt=tt;}

public void mani(){tt.f();}

public T get(){return tt;}

}

public class Erase(){

public static void main(String []args){

HasF hf=new HasF();

Manipulator<HasF> mad=new Manipulator<HasF>(hf);

mad.mani();

}

}

问题3:将代码改成：
[java] view plaincopy





class ClassFactory<T>{

T x;

public ClassFactory(Class<T> kind){

try{

x-kind.newInstance();

}catch(Exception e){

new RuntimeException(e);

}

}

}

类型系统

在Java中，大家比较熟悉的是通过继承机制而产生的类型体系结构。比如String继承自Object。由于子类是可以替换父类的。当需要Object类的引用的时候，如果传入一个String对象是没有任何问题的。但是反过来的话，即用父类的引用替换子类引用的时候，就需要进行强制类型转换。编译器并不能保证运行时刻这种转换一定是合法的。这种自动的子类替换父类的类型转换机制，对于数组也是适用的。 String[]可以替换Object[]。但是泛型的引入，对于这个类型系统产生了一定的影响。正如前面提到的List<String>是不能替换掉List<Object>的。
引入泛型之后的类型系统增加了两个维度：一个是类型参数自身的继承体系结构，另外一个是泛型类或接口自身的继承体系结构。第一个指的是对于 List<String>和List<Object>这样的情况，类型参数String是继承自Object的。而第二种指的是 List接口继承自Collection接口。对于这个类型系统，有如下的一些规则：

相同类型参数的泛型类的关系取决于泛型类自身的继承体系结构。即List<String>是Collection<String> 的子类型，List<String>可以替换Collection<String>。这种情况也适用于带有上下界的类型声明。

当泛型类的类型声明中使用了通配符的时候， 其子类型可以在两个维度上分别展开。如对Collection<? extends Number>来说，其子类型可以在Collection这个维度上展开，即List<? extends Number>和Set<? extends Number>等；也可以在Number这个层次上展开，即Collection<Double>和 Collection<Integer>等。如此循环下去，ArrayList<Long>和 HashSet<Double>等也都算是Collection<? extends Number>的子类型。

如果泛型类中包含多个类型参数，则对于每个类型参数分别应用上面的规则。

理解了上面的规则之后，就可以很容易的修正实例分析中给出的代码了。只需要把List<Object>改成List<?>即可。List<String>是List<?>的子类型，因此传递参数时不会发生错误。

开发自己的泛型类和泛型方法

1.开发泛型类

泛型类与一般的Java类基本相同，只是在类和接口定义上多出来了用<>声明的类型参数。一个类可以有多个类型参数，如 MyClass<X, Y, Z>。 每个类型参数在声明的时候可以指定上界。所声明的类型参数在Java类中可以像一般的类型一样作为方法的参数和返回值，或是作为域和局部变量的类型。但是由于类型擦除机制，类型参数并不能用来创建对象或是作为静态变量的类型。考虑下面的泛型类中的正确和错误的用法。

[java] view plaincopy





class ClassTest<X extends Number, Y, Z> {

private X x;

private static Y y; //编译错误，不能用在静态变量中

public X getFirst() { //正确用法

return x;

}

public void wrong() {

Z z = new Z(); //编译错误，不能创建对象 ，因为泛型类并没有自己独立的Class类对象

}

}

2.使用泛型方法
要定义泛型方法，只需要将泛型参数列表置于返回值之前，如同下面：

[java] view plaincopy





public <T> T f(T x){

return x;

}

这里面说明一点：当使用泛型类时，必须在创建对象的时候指定参数类型的值，而使用泛型方法的时候，通常不必指明参数类型，因为编译器会为我们找出具体的类型，这叫做"类型参数推断“。我们可以像调用普通方法一样调用f()。泛型方法它独立于类，对于这个方法的使用，一般只要可能的话，尽量使用泛型方法。

3.容器类的使用
BruceEckel说过："使用泛型类关于类型机制最吸引人的地方在于容器类的使用。”
如下代码：

[java] view plaincopy





public class ListMaker<T>{

private Class<T> kind;

T[] create(){

return (T[])Array.newInstance(kind, 100);

}

}

由于擦除，kind将被存储为Class，没有任何参数，因此，使用它创建数组时候，Array.newInstance（）并没有拥有kind所蕴含的类型信息，这不会产生具体的结果，所以要转型，这会产生一条警告，但是如果创建的是一个容器，编译器将不会给出任何警告，如下：

[java] view plaincopy





public class ListMaker<T>{

List<T> create(){

return new ArrayList<T>();

}

}

尽管在create()内部的new ArrayList<T>中的<T>被除去了，看起来没有任何意义，但是如何将表达式改成new ArrayList()；编译器就会给出警告。事实上，尽管编译器无法知道有关create()中的T的任何信息，但是它仍旧可以确保返回的对象具有T类型，使其适合ArrayList<T>，因此，即使擦除在方法或者类内部移除了有关实际类型的信息，但是编译器仍旧可以确保在方法或类中使用的类型的内部一致性。
由于容器在泛型机制上的优势，将在后面的部分对容器进行实例操作。

最佳实践

在使用泛型的时候可以遵循一些基本的原则，从而避免一些常见的问题。

在代码中避免泛型类和原始类型的混用。比如List<
String>和List不应该共同使用。
这样会产生一些编译器警告和潜在的运行时异常。当需要利用JDK 5之前开发的遗留代码，而不得不这么做时，
也尽可能的隔离相关的代码。

在使用带通配符的泛型类的时候，需要明确通配符所代表的一组类型的概念。
由于具体的类型是未知的，很多操作是不允许的。

泛型类最好不要同数组一块使用。你只能创建new List<?>[10]这样的数组，无法创建new List<String>[10]这样的。
这限制了数组的使用能力，而且会带来很多费解的问题。因此，
当需要类似数组的功能时候，使用集合类即可。

不要忽视编译器给出的警告信息。