java的泛型程序设计

java泛型程序设计

基本语法

一个泛型类就是具有一个或多个泛型变量的类。

public class Pair<T> {
  
  private T first;
  
  public Pair(){
    this.first = null;
  }
  
  public T getfirst(){
    return first;
  }
  
  public void setFirst(T value){
    this.first = value;
  }
}

泛型方法

  public static <T> T getMiddle(T...a){
    return a[a.length/2];
  }

容易想到，我们如何保证泛型对象的一致性呢？总不能全都强转一下吧！实际上可以通过对类型变量设置限定（bound）实现这一点。

//表示T应该是绑定类型的子类型
public static <T extends Comparable> T min(T[] a){
	......
} 
//可以是有多个限定
public static <T extends Comparable&Serilizable> T min(T[] a){
	......
} 

泛型代码与虚拟机

虚拟机中没有泛型，只有普通的类与方法。所有的类型参数都用他们的限定类型替换
桥方法被 合成用来保持多态。同时为保证类型安全性，必须插入强制类型转换。

无论何时定义一个泛型类型，都自动提供了一个相应的原始类型(raw type）。原始类型的名字就是删去类型参数的泛型类型名。擦除类型变量并替换为限定类型（无限定用Object）。
例如上文的Pair泛型类，我们给它限定一下。

public class Pair<T extends Comparable & Serilizable> implements Seriliazble {
  
  private T first;
  
  public Pair(){
    ......
  }
  ......
}

那么它的原始类型如下。原始类型会用第一个限定的类型变量即Comparable 来替换，如果没有给定就用Object替换。

public class Pair implements Seriliazble {
  
  private Comparable first;
  
  public Pair(){
    ......
  }
  ......
}

约束与局限性

参见大佬的博客 https://www.cnblogs.com/ixenos/p/5645851.html

通配符类型

Pair <? extends Employee>
Pair<? super Employee>