黑马程序员泛型与使用举例

泛型是在java5.0中引进的，是java中类型安全的又一 重要改进。

表面上看起来，无论语法还是应用的环境（比如容器类），泛型类型（或者泛型）都类似于 C++ 中的模板。但是这种相似性仅限于表面，Java 语言中的泛型基本上完全在编译器中实现，由编译器执行类型检查和类型推断，然后生成普通的非泛型的字节码。这种实现技术称为 擦除（erasure）（编译器使用泛型类型信息保证类型安全，然后在生成字节码之前将其清除），这项技术有一些奇怪，并且有时会带来一些令人迷惑的后果。虽然范型是 Java 类走向类型安全的一大步，但是在学习使用泛型的过程中几乎肯定会遇到头痛（有时候让人无法忍受）的问题。

泛型不是协变的

虽然将集合看作是数组的抽象会有所帮助，但是数组还有一些集合不具备的特殊性质。Java 语言中的数组是协变的（covariant），也就是说，如果 Integer扩展了 Number（事实也是如此），那么不仅 Integer是 Number，而且 Integer[]也是 Number[]，在要求 Number[]的地方完全可以传递或者赋予 Integer[]。（更正式地说，如果 Number是 Integer的超类型，那么 Number[]也是 Integer[]的超类型）。您也许认为这一原理同样适用于泛型类型 —— List<Number>是 List<Integer>的超类型，那么可以在需要 List<Number>的地方传递 List<Integer>。不幸的是，情况并非如此。

不允许这样做有一个很充分的理由：这样做将破坏要提供的类型安全泛型。如果能够将 List<Integer>赋给 List<Number>。那么下面的代码就允许将非 Integer的内容放入 List<Integer>：

 List<Integer> li = new ArrayList<Integer>(); 
 List<Number> ln = li; // illegal 
 ln.add(new Float(3.1415));

因为 ln是 List<Number>，所以向其添加 Float似乎是完全合法的。但是如果 ln是 li的别名，那么这就破坏了蕴含在 li定义中的类型安全承诺 —— 它是一个整数列表，这就是泛型类型不能协变的原因。

其他的协变问题

数组能够协变而泛型不能协变的另一个后果是，不能实例化泛型类型的数组（new List<String>[3]是不合法的），除非类型参数是一个未绑定的通配符（new List<?>[3]是合法的）。让我们看看如果允许声明泛型类型数组会造成什么后果：

 List<String>[] lsa = new List<String>[10]; // illegal 
 Object[] oa = lsa;  // OK because List<String> is a subtype of Object 
 List<Integer> li = new ArrayList<Integer>(); 
 li.add(new Integer(3)); 
 oa[0] = li; 
 String s = lsa[0].get(0);

最后一行将抛出 ClassCastException，因为这样将把 List<Integer>填入本应是 List<String>的位置。因为数组协变会破坏泛型的类型安全，所以不允许实例化泛型类型的数组（除非类型参数是未绑定的通配符，比如 List<?>）。

回页首

构造延迟

因为可以擦除功能，所以 List<Integer>和 List<String>是同一个类，编译器在编译 List<V>时只生成一个类（和 C++ 不同）。因此，在编译 List<V>类时，编译器不知道 V所表示的类型，所以它就不能像知道类所表示的具体类型那样处理 List<V>类定义中的类型参数（List<V>中的 V）。

因为运行时不能区分 List<String>和 List<Integer>（运行时都是 List），用泛型类型参数标识类型的变量的构造就成了问题。运行时缺乏类型信息，这给泛型容器类和希望创建保护性副本的泛型类提出了难题。

比如泛型类 Foo：

 class Foo<T> { 
  public void doSomething(T param) { ... } 
 }

假设 doSomething()方法希望复制输入的 param参数，会怎么样呢？没有多少选择。您可能希望按以下方式实现 doSomething()：

 public void doSomething(T param) { 
  T copy = new T(param);  // illegal 
 }

但是您不能使用类型参数访问构造函数，因为在编译的时候还不知道要构造什么类，因此也就不知道使用什么构造函数。使用泛型不能表达“T必须拥有一个拷贝构造函数（copy constructor）”（甚至一个无参数的构造函数）这类约束，因此不能使用泛型类型参数所表示的类的构造函数。

clone()怎么样呢？假设在 Foo的定义中，T扩展了 Cloneable：

 class Foo<T extends Cloneable> { 
  public void doSomething(T param) { 
    T copy = (T) param.clone();  // illegal 
  } 
 }

不幸的是，仍然不能调用 param.clone()。为什么呢？因为 clone()在 Object中是保护访问的，调用 clone()必须通过将 clone()改写公共访问的类引用来完成。但是重新声明 clone()为 public 并不知道 T，因此克隆也无济于事。

构造通配符引用

因此，不能复制在编译时根本不知道是什么类的类型引用。那么使用通配符类型怎么样？假设要创建类型为 Set<?>的参数的保护性副本。您知道 Set有一个拷贝构造函数。而且别人可能曾经告诉过您，如果不知道要设置的内容的类型，最好使用 Set<?>代替原始类型的 Set，因为这种方法引起的未检查类型转换警告更少。于是，可以试着这样写：

 class Foo { 
  public void doSomething(Set<?> set) { 
    Set<?> copy = new HashSet<?>(set);  // illegal 
  } 
 }

不幸的是，您不能用通配符类型的参数调用泛型构造函数，即使知道存在这样的构造函数也不行。不过您可以这样做：

 class Foo { 
  public void doSomething(Set<?> set) { 
    Set<?> copy = new HashSet<Object>(set);  
  } 
 }

这种构造不那么直观，但它是类型安全的，而且可以像 new HashSet<?>(set)那样工作。

构造数组

如何实现 ArrayList<V>？假设类 ArrayList管理一个 V数组，您可能希望用 ArrayList<V>的构造函数创建一个 V数组：

 class ArrayList<V> { 
  private V[] backingArray; 
  public ArrayList() { 
    backingArray = new V[DEFAULT_SIZE]; // illegal 
  } 
 }

但是这段代码不能工作 —— 不能实例化用类型参数表示的类型数组。编译器不知道 V到底表示什么类型，因此不能实例化 V数组。

Collections 类通过一种别扭的方法绕过了这个问题，在 Collections 类编译时会产生类型未检查转换的警告。ArrayList具体实现的构造函数如下：

 class ArrayList<V> { 
  private V[] backingArray; 
  public ArrayList() { 
    backingArray = (V[]) new Object[DEFAULT_SIZE]; 
  } 
 }

为何这些代码在访问 backingArray时没有产生 ArrayStoreException呢？无论如何，都不能将 Object数组赋给 String数组。因为泛型是通过擦除实现的，backingArray的类型实际上就是 Object[]，因为 Object代替了 V。这意味着：实际上这个类期望 backingArray是一个Object数组，但是编译器要进行额外的类型检查，以确保它包含 V类型的对象。所以这种方法很奏效，但是非常别扭，因此不值得效仿（甚至连泛型 Collections 框架的作者都这么说，请参阅 参考资料）。

还有一种方法就是声明 backingArray为 Object数组，并在使用它的各个地方强制将它转化为 V[]。仍然会看到类型未检查转换警告（与上一种方法一样），但是它使一些未明确的假设更清楚了（比如 backingArray不应逃避 ArrayList的实现）。

其他方法

最好的办法是向构造函数传递类文字（Foo.class），这样，该实现就能在运行时知道 T的值。不采用这种方法的原因在于向后兼容性 —— 新的泛型集合类不能与 Collections 框架以前的版本兼容。

下面的代码中 ArrayList采用了以下方法：

 public class ArrayList<V> implements List<V> { 
  private V[] backingArray; 
  private Class<V> elementType; 
  public ArrayList(Class<V> elementType) { 
    this.elementType = elementType; 
    backingArray = (V[]) Array.newInstance(elementType, DEFAULT_LENGTH); 
  } 
 }

但是等一等！仍然有不妥的地方，调用 Array.newInstance()时会引起未经检查的类型转换。为什么呢？同样是由于向后兼容性。Array.newInstance()的签名是：

 public static Object newInstance(Class<?> componentType, int length)

而不是类型安全的：

 public static<T> T[] newInstance(Class<T> componentType, int length)

为何 Array用这种方式进行泛化呢？同样是为了保持向后兼容。要创建基本类型的数组，如 int[]，可以使用适当的包装器类中的 TYPE字段调用 Array.newInstance()（对于 int，可以传递 Integer.TYPE作为类文字）。用 Class<T>参数而不是 Class<?>泛化Array.newInstance()，对于引用类型有更好的类型安全，但是就不能使用 Array.newInstance()创建基本类型数组的实例了。也许将来会为引用类型提供新的 newInstance()版本，这样就两者兼顾了。

在这里可以看到一种模式 —— 与泛型有关的很多问题或者折衷并非来自泛型本身，而是保持和已有代码兼容的要求带来的副作用。

回页首

泛化已有的类

在转化现有的库类来使用泛型方面没有多少技巧，但与平常的情况相同，向后兼容性不会凭空而来。我已经讨论了两个例子，其中向后兼容性限制了类库的泛化。

另一种不同的泛化方法可能不存在向后兼容问题，这就是 Collections.toArray(Object[])。传入 toArray()的数组有两个目的 —— 如果集合足够小，那么可以将其内容直接放在提供的数组中。否则，利用反射（reflection）创建相同类型的新数组来接受结果。如果从头开始重写 Collections 框架，那么很可能传递给 Collections.toArray()的参数不是一个数组，而是一个类文字：

 interface Collection<E> { 
  public T[] toArray(Class<T super E> elementClass); 
 }

因为 Collections 框架作为良好类设计的例子被广泛效仿，但是它的设计受到向后兼容性约束，所以这些地方值得您注意，不要盲目效仿。

首先，常常被混淆的泛型 Collections API 的一个重要方面是 containsAll()、removeAll()和 retainAll()的签名。您可能认为 remove()和removeAll()的签名应该是：

 interface Collection<E> { 
  public boolean remove(E e);  // not really 
  public void removeAll(Collection<? extends E> c);  // not really 
 }

但实际上却是：

 interface Collection<E> { 
  public boolean remove(Object o);  
  public void removeAll(Collection<?> c); 
 }

为什么呢？答案同样是因为向后兼容性。x.remove(o)的接口表明“如果 o包含在 x中，则删除它，否则什么也不做。”如果 x是一个泛型集合，那么 o不一定与 x的类型参数兼容。如果 removeAll()被泛化为只有类型兼容时才能调用（Collection<? extends E>），那么在泛化之前，合法的代码序列就会变得不合法，比如：

 // a collection of Integers 
 Collection c = new HashSet(); 
 // a collection of Objects 
 Collection r = new HashSet(); 
 c.removeAll(r);

如果上述片段用直观的方法泛化（将 c设为 Collection<Integer>，r设为 Collection<Object>），如果 removeAll()的签名要求其参数为Collection<? extends E>而不是 no-op，那么就无法编译上面的代码。泛型类库的一个主要目标就是不打破或者改变已有代码的语义，因此，必须用比从头重新设计泛型所使用类型约束更弱的类型约束来定义 remove()、removeAll()、retainAll()和 containsAll()。

在泛型之前设计的类可能阻碍了“显然的”泛型化方法。这种情况下就要像上例这样进行折衷，但是如果从头设计新的泛型类，理解 Java 类库中的哪些东西是向后兼容的结果很有意义，这样可以避免不适当的模仿。

回页首

擦除的实现

因为泛型基本上都是在 Java 编译器中而不是运行库中实现的，所以在生成字节码的时候，差不多所有关于泛型类型的类型信息都被“擦掉”了。换句话说，编译器生成的代码与您手工编写的不用泛型、检查程序的类型安全后进行强制类型转换所得到的代码基本相同。与 C++ 不同，List<Integer>和 List<String>是同一个类（虽然是不同的类型但都是 List<?>的子类型，与以前的版本相比，在 JDK 5.0 中这是一个更重要的区别）。

擦除意味着一个类不能同时实现 Comparable<String>和 Comparable<Number>，因为事实上两者都在同一个接口中，指定同一个compareTo()方法。声明 DecimalString类以便与 String与 Number比较似乎是明智的，但对于 Java 编译器来说，这相当于对同一个方法进行了两次声明：

public class DecimalString implements Comparable<Number>, Comparable<String>
{ ... } // nope

擦除的另一个后果是，对泛型类型参数是用强制类型转换或者 instanceof毫无意义。下面的代码完全不会改善代码的类型安全性：

 public <T> T naiveCast(T t, Object o) { return (T) o; }

编译器仅仅发出一个类型未检查转换警告，因为它不知道这种转换是否安全。naiveCast()方法实际上根本不作任何转换，T直接被替换为Object，与期望的相反，传入的对象被强制转换为 Object。

擦除也是造成上述构造问题的原因，即不能创建泛型类型的对象，因为编译器不知道要调用什么构造函数。如果泛型类需要构造用泛型类型参数来指定类型的对象，那么构造函数应该接受类文字（Foo.class）并将它们保存起来，以便通过反射创建实例。

下面是java泛型的使用举例：

普通泛型

       
       
class Point< T>{  // 此处可以随便写标识符号，T是type的简称  
 private T var ; // var的类型由T指定，即：由外部指定  
 public T getVar(){ // 返回值的类型由外部决定  
  return var ;  
 }  
 public void setVar(T var){ // 设置的类型也由外部决定  
  this.var = var ;  
 }  
};  
public class GenericsDemo06{  
 public static void main(String args[]){  
  Point< String> p = new Point< String>() ; // 里面的var类型为String类型  
  p.setVar("it") ;  // 设置字符串  
  System.out.println(p.getVar().length()) ; // 取得字符串的长度  
 }  
};  

----------------------------------------------------------

       
       
class Notepad< K,V>{  // 此处指定了两个泛型类型  
 private K key ;  // 此变量的类型由外部决定  
 private V value ; // 此变量的类型由外部决定  
 public K getKey(){  
  return this.key ;  
 }  
 public V getValue(){  
  return this.value ;  
 }  
 public void setKey(K key){  
  this.key = key ;  
 }  
 public void setValue(V value){  
  this.value = value ;  
 }  
};  
public class GenericsDemo09{  
 public static void main(String args[]){  
  Notepad< String,Integer> t = null ;  // 定义两个泛型类型的对象  
  t = new Notepad< String,Integer>() ;  // 里面的key为String，value为Integer  
  t.setKey("汤姆") ;  // 设置第一个内容  
  t.setValue(20) ;   // 设置第二个内容  
  System.out.print("姓名；" + t.getKey()) ;  // 取得信息  
  System.out.print("，年龄；" + t.getValue()) ;  // 取得信息  
 
 }  
};  
   

通配符

       
       
class Info< T>{  
 private T var ;  // 定义泛型变量  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
 public String toString(){ // 直接打印  
  return this.var.toString() ;  
 }  
};  
public class GenericsDemo14{  
 public static void main(String args[]){  
  Info< String> i = new Info< String>() ;  // 使用String为泛型类型  
  i.setVar("it") ;       // 设置内容  
  fun(i) ;  
 }  
 public static void fun(Info< ?> temp){  // 可以接收任意的泛型对象  
  System.out.println("内容：" + temp) ;  
 }  
};  
  

受限泛型

       
       
class Info< T>{  
 private T var ;  // 定义泛型变量  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
 public String toString(){ // 直接打印  
  return this.var.toString() ;  
 }  
};  
public class GenericsDemo17{  
 public static void main(String args[]){  
  Info< Integer> i1 = new Info< Integer>() ;  // 声明Integer的泛型对象  
  Info< Float> i2 = new Info< Float>() ;   // 声明Float的泛型对象  
  i1.setVar(30) ;         // 设置整数，自动装箱  
  i2.setVar(30.1f) ;        // 设置小数，自动装箱  
  fun(i1) ;  
  fun(i2) ;  
 }  
 public static void fun(Info< ? extends Number> temp){ // 只能接收Number及其Number的子类  
  System.out.print(temp + "、") ;  
 }  
};  

----------------------------------------------------------

       
       
 
class Info< T>{  
 private T var ;  // 定义泛型变量  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
 public String toString(){ // 直接打印  
  return this.var.toString() ;  
 }  
};  
public class GenericsDemo21{  
 public static void main(String args[]){  
  Info< String> i1 = new Info< String>() ;  // 声明String的泛型对象  
  Info< Object> i2 = new Info< Object>() ;  // 声明Object的泛型对象  
  i1.setVar("hello") ;  
  i2.setVar(new Object()) ;  
  fun(i1) ;  
  fun(i2) ;  
 }  
 public static void fun(Info< ? super String> temp){ // 只能接收String或Object类型的泛型  
  System.out.print(temp + "、") ;  
 }  
};  
  

Java泛型无法向上转型

       
       
class Info< T>{  
 private T var ;  // 定义泛型变量  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
 public String toString(){ // 直接打印  
  return this.var.toString() ;  
 }  
};  
public class GenericsDemo23{  
 public static void main(String args[]){  
  Info< String> i1 = new Info< String>() ;  // 泛型类型为String  
  Info< Object> i2 = null ;  
  i2 = i1 ;        //这句会出错 incompatible types  
 }  
};  
  

Java泛型接口

       
       
interface Info< T>{  // 在接口上定义泛型  
 public T getVar() ; // 定义抽象方法，抽象方法的返回值就是泛型类型  
}  
class InfoImpl< T> implements Info< T>{ // 定义泛型接口的子类  
 private T var ;    // 定义属性  
 public InfoImpl(T var){  // 通过构造方法设置属性内容  
  this.setVar(var) ;   
 }  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
};  
public class GenericsDemo24{  
 public static void main(String arsg[]){  
  Info< String> i = null;  // 声明接口对象  
  i = new InfoImpl< String>("汤姆") ; // 通过子类实例化对象  
  System.out.println("内容：" + i.getVar()) ;  
 }  
};  

----------------------------------------------------------

       
       
 
interface Info< T>{  // 在接口上定义泛型  
 public T getVar() ; // 定义抽象方法，抽象方法的返回值就是泛型类型  
}  
class InfoImpl implements Info< String>{ // 定义泛型接口的子类  
 private String var ;    // 定义属性  
 public InfoImpl(String var){  // 通过构造方法设置属性内容  
  this.setVar(var) ;   
 }  
 public void setVar(String var){  
  this.var = var ;  
 }  
 public String getVar(){  
  return this.var ;  
 }  
};  
public class GenericsDemo25{  
 public static void main(String arsg[]){  
  Info i = null;  // 声明接口对象  
  i = new InfoImpl("汤姆") ; // 通过子类实例化对象  
  System.out.println("内容：" + i.getVar()) ;  
 }  
};  
  

Java泛型方法

       
       
class Demo{  
 public < T> T fun(T t){   // 可以接收任意类型的数据  
  return t ;     // 直接把参数返回  
 }  
};  
public class GenericsDemo26{  
 public static void main(String args[]){  
  Demo d = new Demo() ; // 实例化Demo对象  
  String str = d.fun("汤姆") ; // 传递字符串  
  int i = d.fun(30) ;  // 传递数字，自动装箱  
  System.out.println(str) ; // 输出内容  
  System.out.println(i) ;  // 输出内容  
 }  
};  
  

通过泛型方法返回泛型类型实例

       
       
class Info< T extends Number>{ // 指定上限，只能是数字类型  
 private T var ;  // 此类型由外部决定  
 public T getVar(){  
  return this.var ;   
 }  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public String toString(){  // 覆写Object类中的toString()方法  
  return this.var.toString() ;   
 }  
};  
public class GenericsDemo27{  
 public static void main(String args[]){  
  Info< Integer> i = fun(30) ;  
  System.out.println(i.getVar()) ;  
 }  
 public static < T extends Number> Info< T> fun(T param){//方法中传入或返回的泛型类型由调用方法时所设置的参数类型决定  
  Info< T> temp = new Info< T>() ;  // 根据传入的数据类型实例化Info  
  temp.setVar(param) ;  // 将传递的内容设置到Info对象的var属性之中  
  return temp ; // 返回实例化对象  
 }  
};  
  

使用泛型统一传入的参数类型

       
       
class Info< T>{ // 指定上限，只能是数字类型  
 private T var ;  // 此类型由外部决定  
 public T getVar(){  
  return this.var ;   
 }  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public String toString(){  // 覆写Object类中的toString()方法  
  return this.var.toString() ;   
 }  
};  
public class GenericsDemo28{  
 public static void main(String args[]){  
  Info< String> i1 = new Info< String>() ;  
  Info< String> i2 = new Info< String>() ;  
  i1.setVar("HELLO") ;  // 设置内容  
  i2.setVar("汤姆") ;  // 设置内容  
  add(i1,i2) ;  
 }  
 public static < T> void add(Info< T> i1,Info< T> i2){  
  System.out.println(i1.getVar() + " " + i2.getVar()) ;  
 }  
};  
  

Java泛型数组

       
       
public class GenericsDemo30{  
 public static void main(String args[]){  
  Integer i[] = fun1(1,2,3,4,5,6) ; // 返回泛型数组  
  fun2(i) ;  
 }  
 public static < T> T[] fun1(T...arg){ // 接收可变参数  
  return arg ;   // 返回泛型数组  
 }  
 public static < T> void fun2(T param[]){ // 输出  
  System.out.print("接收泛型数组：") ;  
  for(T t:param){  
   System.out.print(t + "、") ;  
  }  
 }  
};  
  

Java泛型的嵌套设置

       
       
class Info< T,V>{  // 接收两个泛型类型  
 private T var ;  
 private V value ;  
 public Info(T var,V value){  
  this.setVar(var) ;  
  this.setValue(value) ;  
 }  
 public void setVar(T var){  
  this.var = var ;  
 }  
 public void setValue(V value){  
  this.value = value ;  
 }  
 public T getVar(){  
  return this.var ;  
 }  
 public V getValue(){  
  return this.value ;  
 }  
};  
class Demo< S>{  
 private S info ;  
 public Demo(S info){  
  this.setInfo(info) ;  
 }  
 public void setInfo(S info){  
  this.info = info ;  
 }  
 public S getInfo(){  
  return this.info ;  
 }  
};  
public class GenericsDemo31{  
 public static void main(String args[]){  
  Demo< Info< String,Integer>> d = null ;  // 将Info作为Demo的泛型类型  
  Info< String,Integer> i = null ; // Info指定两个泛型类型  
  i = new Info< String,Integer>("汤姆",30) ;  // 实例化Info对象  
  d = new Demo< Info< String,Integer>>(i) ; // 在Demo类中设置Info类的对象  
  System.out.println("内容一：" + d.getInfo().getVar()) ;  
  System.out.println("内容二：" + d.getInfo().getValue()) ;  
 }  
};  

回页首