Java中的泛型詳解

所謂泛型：就是允許在定義類別、介面指定類型形參，這個類型形參在將在宣告變數、建立物件時決定（即傳入實際的型別參數，也可稱為型別實參）

泛型類別或介面

「菱形」語法

//定义
 
public interface List<E> extends Collection<E>  
 
public class HashMap<K,V> extends AbstractMap<K,V>  implements Map<K,V>, Cloneable, Serializable 
//使用
 
List<String> list = new ArrayList();
 
//Java7以后可以省略后面尖括号的类型参数
 
List<String> list = new ArrayList<>();

從泛型類派生子類

//方式1
 
public class App extends GenericType<String>
 
//方式2
 
public class App<T> extends GenericType<T>
 
//方式3
 
public class App extends GenericType

偽泛型

不存在真正的泛型類，泛型類對Java虛擬機來說是透明的. JVM並不知道泛型類別的存在,換句話說,JVM處理泛型類別和普通類別沒什麼區別的.因此在靜態方法、靜態初始化區塊、靜態變數裡面不允許使用類型形參。
- 以下方式都是錯誤的

private static T data;
 
static{
 
    T f;
 
}
 
public static void func(){
 
    T name = 1;
 
}

下面的例子可以從側面驗證不存在泛型類

public static void main(String[] args){
 
        List<String> a1 = new ArrayList<>();
        List<Integer> a2 = new ArrayList<>();  
    System.out.println(a1.getClass() == a2.getClass());
 
    System.out.println(a1.getClass());
 
    System.out.println(a2.getClass());
 
}

輸出

true
 
class java.util.ArrayList
 
class java.util.ArrayList

類型通配符

首先必須明確,假如FooListBar是一點的父類，但< Foo>並不是List的父類別.為了表示各種泛型的父類別,Java使用"?"來表示泛型通配.即List來表示各種泛型List的父類別.帶這種通配符List泛型不能設定（set）元素，只能取得（get）元素。因為程式無法確定List中的類型，所以不能新增物件。但取得的物件肯定是Object類型。

以下方法會編譯出錯：

List<?> list = new ArrayList<>();
 
list.add(new Object());

主意幾點：

1.List物件不能被當成List