摘要：如果需要收集參數化類型對象，只有使用警告這節討論，向參數可變的方法傳遞一個泛型類型的實例。異常不能拋出或捕獲泛型類的實例實際上，泛型類擴展也是不合法的。

java中每個類都是由它擴展而來，但是并不需要這樣寫：class Employee extends Object.如果沒有明確指出超類，Object類就被認為是這個的超類。
可以使用Object類型的變量引用任何類型的對象Object obj=new Employee().
在java中，只有基本類型(int,boolean,...)不是對象，所有的數組類型，不管是對象數組還是基本類型的數組都擴展自Object類。

Employee[] staff=new Employee[10];
Object obj=staff;//ok
obj=new int[10];//ok

有時需要將int這樣的基本類型轉換為對象，所有基本對象都有一個與之對應的類。如int->Integer.這些類稱為包裝類（wrapper）.具體的，包括Integer,Long,Float,Double,Short,Byte,Character,Void,Boolean,前6個派生于它們公共的超類Number.
對象包裝類是不可變的，一旦創建，就不允許更改包裝在其中的值。
對象包裝類還是final,不能定義它們的子類。
java5之后，調用list.add(3)將自動變換成list.add(Integer.valueOf(3)),這種變換稱為自動裝箱。相反的，將一個Integer對象賦值給一個int值時，會自動拆箱。

List list=new ArrayList();
list.add(3);
int n=list.get(0);//等同于list.get(0).intValue();

在算術表達式中，也可以自動裝箱，自動拆箱。

Integer n=3;
n++;//拆箱->自增->裝箱

==運算符用于比較包裝器對象，只不過檢測的是對象是否指向同一個存儲區域。因此，下面比較不會成立

        Integer a=1000;
        Integer b=1000;
        System.out.println(a==b);//false

但是如果包裝的值經常出現，==比較就有可能相等

        Integer a=100;
        Integer b=100;
        System.out.println(a==b);//true

這個和python類似

python并不是對創建的所有對象都會重新申請新的一塊內存空間。作為一種優化，python會緩存不變的對象（如數值較小的數字，字符串，元組等）并對其進行復用。

因此，java設定了自動裝箱規范

boolean

byte

char<=127

介于-128和127之間的short,int

被包裝到固定的對象中。
上面例子a,b是100,第二次賦值時，java不會重新申請新的一塊內存空間，存儲100這個值。

接口特性

接口不是類，不能使用new運算符實例化一個接口

可以聲明接口變量，但必須引用實現了接口的類對象

可以使用instanceof檢查一個對象是否實現了某個特定的接口

接口可以繼承接口InterfaceA extends InterfaceB

接口中不能包含實例變量或靜態方法，卻可以包含常量

public interface Interface {
    String name="aaa";//a public static final constant
}

常量會自動被設為public static final

盡管每個類只允許擁有一個超類，卻可以實現多個接口class Concrete implements InterfaceA,InterfaceB

內部類方法可以訪問該類所在的作用域中的數據，包括私有數據

內部類可以對同一個包中的其他類隱藏起來

當想要定義一個回調函數且不想寫大量代碼時，使用匿名內部類比較方便

泛型類：具有一個或多個類型變量的類。類型變量可以指定方法的返回類型以及類變量和局部變量的類型

public class Pair {
    T first;
    T second;
    Pair(){
        this.first=null;
        this.second=null;
    }
    Pair(T first,T second){
        this.first=first;
        this.second=second;
    }
    public T getFirst() {
        return first;
    }
    public void setFirst(T first) {
        this.first = first;
    }
    public T getSecond() {
        return second;
    }
    public void setSecond(T second) {
        this.second = second;
    }
}

Pair類引入一個類型變量T,用尖括號(<>)括起來，并放在類名的后面。
泛型可以有多個類型變量``

public class Pair {
    ...
}

實例化Pair pair=new Pair(),這時類型變量T就會被替換成String.這時，泛型類就可以看做普通類。

泛型方法可以定義在普通類中。

public  T getMethod(T... a){}

類型變量放在修飾符（這里是public）的后面，返回類型的前面
調用class.getMethod()
如果是上面情況，大多數時候，方法調用可以省略類型參數。編譯器有足夠的信息推斷出調用的方法。String[]與泛型類型T[]進行匹配，并推斷出T一定是String.
但是，如果是下面代碼

double result=class.getMethod(1.23,123,0);

編譯器會自動將參數打包為1個Double和2個Integer對象，然后尋找這些類的共同超類型,最終找到兩個這樣的超類Number和Comparable,其本身也是泛型類型，這種情況下，只有將所有的參數寫成double值。
如果想知道一個泛型方法最終推斷出哪種類型，可以有目的的引入一個錯誤，看產生的錯誤信息，比如

class.getMethod("aaa",0,null);
//found:java.lang.Object&java.io.Serializable&java.util.Comparable...

意思是可以將結果賦給Object,Serializable或Comparable.

 T min(T[] a);

上面代碼將T限制為實現了Comparable接口的類,這樣min方法只能被實現了實現了Comparable接口的類(如String,Date類)的數組調用。
注意這里用的是extends關鍵字
extends BoundingType表示T應該是綁定類型的子類型（subtype），T和綁定類型可以是類，也可以是接口.選擇extends關鍵字的原因是跟接近子類型的概念。
一個類型變量或通配符可以有多個限定，如T extends Serializable&Comparable.&隔開限定類型，,隔開類型變量。
由于對類是單繼承，對接口多重繼承，如果限定類型中有類又有接口，必須將類作為限定列表中的第一個。

大多數限制都是由類型擦除引起的，類型擦除可以參見Java泛型：類型擦除

不能用基本類型實例化類型參數。
沒有Pair,只有Pair,因為類型擦除之后，類型參數變為Pair