Java核心技术----泛型程序设计

 

泛型类：具有一个或多个泛型变量的类

public class Pair<T>{

   private T first;

   private T second;

   public Pair() {first=null;second=null;}

   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 newValue) { first=newValue;}

    public void setSecond( T newValue) { second=newValue;}

}

多个类型变量：public class Pair<T,U>{...}

用具体的类型变量就可以实例化泛型类型：Pair<String>

泛型方法：可以在普通类中定义，也可以在泛型类中定义

   class ArrayAlg{

       public static <T> T getMiddle(T[] a){

            return a[a.length/2];

       }

   }//类型变量<T> 放在修饰符后面，返回类型的前面

类型变量的限定：<T extends Comparable>，多个限定<T extends Comparable & Serializable>

因为Java虚拟机没有泛型类型对象，因此，无论何时定义一个泛型类型，编译后类型会被自动转换成一个相应的原始类型。

类型擦除：擦除类型变量，替换成为限定类型，无限定的变量用Object。上述例子中Pair<T>转换成原始类型之后，类中的T全部替换为Object

泛型方法的类型擦除：public static <T extends Comparable> T min(T[] a) 擦除之后 public static Comparable min(Comparable[] a)

编译器采用桥方法的机制来避免类型擦除与多态发生冲突。

使用Java泛型时的一些限制：

   1)不能用基本类型实例化类型参数。没有Pair<double>只有Pair<Double>

   2)运行时类型查询只适用于原始类型。

   3)不能创建参数化类型的数组。Pair<String>[]  table=new Pair<String>[10] 错误，应通过ArrayList来收集参数化对象，ArrayList<Pair<T>>

   4)不能实例化类型变量。即不能使用new T(...)，new T[...]或T.class

   5)泛型类的静态上下文中类型变量无效。即泛型类不能在静态域或静态方法中引用类型变量

   6)不能抛出或捕获泛型类的实例。puclic class Problem<T> extends Exception{..}错误，泛型类不能继承Throwable类

泛型类型的继承规则：泛型类可以扩展或实现其他的泛型类，如ArrayList<T>类实现List<T>接口

通配符类型：

   1)子类型限定通配符。Pair<? extends Employee>//表示任何泛型Pair类型，它的类型参数是Employee的子类。

      子类型限定通配符可以从泛型类读取（get），但不能向泛型类写入（set）

   2)超类型限定通配符。Pair<? super Manager>//限制为所有Manager的所有超类型。

      超类型限定通配符可以从泛型类写入（set），但不能向泛型对象读取（get）

   3)无限定通配符。Pair<?> ，其get方法只能赋给一个Object，且只能调用set(null)