關于泛型

• 靜態方法無法訪問泛型的類型參數。（C++可以）
• Java泛型使用擦除實現，如運行時，List<A>，List<B>的類型參數會被擦除，都為List類型。
• 由于Java泛型使用擦除實現，在泛型代碼內部，無法獲取任何有關泛型參數類型的信息。
• 雖然無法再泛型中獲取任何有關泛型參數類型的信息，但是使用了泛型能讓編譯器在編譯期保證所有相同泛型參數類型具有一致性。
• 泛型類沒有明確寫上類型實參的時候，默認為Object。

泛型邊界

• <T extends A & B>：所有繼承A和B的類。
• <T super A>：不存在這種用法。

通配符

class A {}
class B extends A {}
class C extends B {}
class D<T> {
    D() { }

    void fun1(T t) { }

    T fun2() { return null; }
}

public class E {
    public static void main(String[] args) {
        A a = null;
        B b = null;
        C c = null;

        // super
        // <? super B>用于泛型類型參數時
        D<? super B> l1 = new D<A>();
        D<? super B> l2 = new D<B>();
        D<? super B> l3 = new D<C>();  // 錯誤

        // <? super B>用于方法參數時
        l1.fun1(new A());  // 錯誤
        l1.fun1(new B());
        l1.fun1(new C());

        // <? super B>用于返回值
        a = l1.fun2();  // 錯誤
        b = l1.fun2();  // 錯誤
        c = l1.fun2();  // 錯誤

        // extends
        // <? extends B>用于泛型類型參數
        D<? extends B> l4 = new D<A>();  // 錯誤
        D<? extends B> l5 = new D<B>();
        D<? extends B> l6 = new D<C>();

        // <? extends B>用于方法參數
        l5.fun1(new A());  // 錯誤
        l5.fun1(new B());  // 錯誤
        l5.fun1(new C());  // 錯誤

        // <? extends B>用于返回值
        a = l5.fun2();
        b = l5.fun2();
        c = l5.fun2();  // 錯誤，需要強制類型轉換
    }
}

• extends通配符：可以改成接受Object類型解決extends通配符用于方法參數時無法接受任何實參的問題。
• 無界通配符：用來提示編譯器不要使用原生類型，而使用泛型。（因為Java泛型雞肋，從原生類型發展而來，所以大部分時候沒什么卵用。List<?>看起來跟List沒什么區別。）
• 通配符要點：通配符代表著一個 類型范圍 ，而不是具體某個類型，也不是自動類型推斷，不會推斷為一個具體類型。
• 任何基本類型不能作為泛型類型參數，可以使用包裝器取而代之。

自限定

循環泛型

• 循環泛型：因為Java的泛型中的類型參數僅僅影響的只是方法參數和方法返回值，所以不需要定義了B才能用B作為類型參數。

interface A<T> {}
class B implements A<B> {}

自限定泛型類

// 自限定泛型
class SelfBounded<T extends SelfBounded<T>> {}
// 強制用循環泛型的方式使用自限定泛型
class A extends SelfBounded<A> {}
class D {}
// 禁止如下使用自限定泛型
class E extends SelfBounded<D> {}  // 錯誤
// 神奇
class F extends SelfBounded {}
public class SelfBounding {
    public static void main(String[] args) { }
}

自限定泛型方法

• 自限定泛型方法：強制泛型參數T為循環泛型類。

class SelfBounded<T extends SelfBounded<T>> {}
class A extends SelfBounded<A> {}

public class SelfBoundingMethods {
    private static <T extends SelfBounded<T>> T fun(T arg) {
        return arg;
    }
    public static void main(String[] args) {
        A a = fun(new A());
    }
}

注意事項

• 自限定的價值在于產生 參數類型協變 ：不用改變基類代碼就可以使基類方法參數類型會隨子類而變化。（ C++只能返回類型協變？ ）
• 自限定雖然也能使 返回類型協變 ，但是意義不大，SE5開始Java就能不用通過自限定的方式實現返回類型協變（不需要泛型，單繼承就能實現）。