Java泛型编程

1. 泛型类

  泛型类就是具有一个或者多个类型变量的类，在Java集合框架中大量使用了泛型类。通过泛型编程可以使编写的代码被很多不同的类型所共享，大大提高了代码的重用性。

  下面给出一个自定义泛型类的例子：

public class Pair
{
   private T first;
   private T second;
   
   public Pair(T first,T second)
  {
     this.first = first;
     this.second = second;
  }

  public T getFirst()
  { 
     return first;
  }
  
  public T getSecond()
  {
    return second; 
  }

 public void setFirst(T first)
 {
    this.first = first; 
 }
  
 public void setSecond(T second)
 { 
    this.second = second;
 }  
 
}

  使用普通的类名替换类型变量T就可以实例化泛型类型，如：Pair，Java的泛型类类似于C++的模板类。

 

2. 泛型方法

 Java还可以定义带有类型参数的方法，即泛型方法，泛型方法可以定义在泛型类中，也可以定义在普通类中。

public class ArrayHelper
{
    public static  T getMiddle(T[] array)
    {
        return array[array.length / 2];
    }
}

 上述的泛型方法，参数是泛型数组，返回值是泛型变量，在修饰符后面跟有表示这是泛型方法。调用一个泛型方法时在方法名前的"<>"加入具体类型，如：ArrayHelper.getMiddle(new String[]{"left","middle","right"}) ，其实大多数情况下也可以省略。

 

3. 类型变量的限定

  有些时候，我们希望能使用不同的类型，但又希望这类型能满足某些约束条件，这就要依靠对类型变量的限定。

public class ArrayHelper
{
  public static  T max(T[] array)
  { 
      T  max = array[0];
      for(int i = 1; i <  array.length; i++)
        if(array[i].compareTo(max) > 0)
         max = array[i];
      return max;
  }
}

 我们希望使用compareTo方法来比较泛型数组中的每个元素，从而选择出最大的那个元素，而这就要求类型必须实现了Comparable接口，我们就可以对类型变量T作出如下限定:

public class ArrayHelper
{
  public static extends Comparable> T max(T[] array)
  { 
      T  max = array[0];
      for(int i = 1; i <  array.length; i++)
        if(array[i].compareTo(max) > 0)
         max = array[i];
      return max;
  }
}

 一个类型变量可以有多个限定，如: 。

 

4. 类型擦除

 我们定义一个泛型类型后，就可以适配多种不同的类型，然而实际上虚拟机只知道一个原始类型，例如，对于上面定义个Pair，其对应的原始类型如下:

public class Pair
{
   private Object first;
   private Object second;
   
   public Pair(Object first,Object second)
  {
     this.first = first;
     this.second = second;
  }

  public Object getFirst()
  { 
     return first;
  }
  
  public Object getSecond()
  {
    return second; 
  }

 public void setFirst(Object first)
 {
    this.first = first; 
 }
  
 public void setSecond(Object second)
 { 
    this.second = second;
 }  
 
}

 即将T替换成了Object类，实际上是将T替换成限定的类型。假设，则就会将T替换成Comparable，如果有多个限定类型，则替换成第一个限定类型。如果没有限定类型，就替换成Object类，这个过程即类型擦除。

 所以泛型类编译成字节码后就是一个普通的类。

 

5. 泛型类的继承规则

（1）假设有一个print方法打印雇员对，参数是Pari

public void print(Pair)
{
   .....
}

      Manager类是Employee类的子类，那么Pair是Pair的子类么？，可以传入print方法么？答案是不行，Pair不是Pair的子类。

（2） 永远可以将参数化类型转换成原始类型，如：Pair  pair = new Pair("Jack","Mike"); 这是为了与泛型之前的遗留代码能够保持衔接。

（3）泛型类可以像普通类一样继承其他类，实现接口。如： class Pair  implements Comparable 。

 

6. 通配符类型

 Pair 表示任何泛型Pair类型，它的类型参数是Fruit的子类。Pair和Pair都是Pair的子类型。

 Pair表示任何泛型Pair类型，它的类型参数是Apple的父类。Pair和Pair