關(guān)于泛型

• 靜態(tài)方法無法訪問泛型的類型參數(shù)崔步。（C++可以）
• Java泛型使用擦除實(shí)現(xiàn)源梭，如運(yùn)行時(shí)，List<A>稍味，List<B>的類型參數(shù)會(huì)被擦除废麻，都為List類型。
• 由于Java泛型使用擦除實(shí)現(xiàn)模庐，在泛型代碼內(nèi)部烛愧，無法獲取任何有關(guān)泛型參數(shù)類型的信息。
• 雖然無法再泛型中獲取任何有關(guān)泛型參數(shù)類型的信息赖欣，但是使用了泛型能讓編譯器在編譯期保證所有相同泛型參數(shù)類型具有一致性屑彻。
• 泛型類沒有明確寫上類型實(shí)參的時(shí)候验庙，默認(rèn)為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>用于泛型類型參數(shù)時(shí)
        D<? super B> l1 = new D<A>();
        D<? super B> l2 = new D<B>();
        D<? super B> l3 = new D<C>();  // 錯(cuò)誤

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

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

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

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

        // <? extends B>用于返回值
        a = l5.fun2();
        b = l5.fun2();
        c = l5.fun2();  // 錯(cuò)誤悴了，需要強(qiáng)制類型轉(zhuǎn)換
    }
}

• extends通配符：可以改成接受Object類型解決extends通配符用于方法參數(shù)時(shí)無法接受任何實(shí)參的問題。
• 無界通配符：用來提示編譯器不要使用原生類型违寿，而使用泛型湃交。（因?yàn)镴ava泛型雞肋，從原生類型發(fā)展而來藤巢，所以大部分時(shí)候沒什么卵用搞莺。List<?>看起來跟List沒什么區(qū)別。）
• 通配符要點(diǎn)：通配符代表著一個(gè) 類型范圍 掂咒，而不是具體某個(gè)類型才沧，也不是自動(dòng)類型推斷，不會(huì)推斷為一個(gè)具體類型绍刮。
• 任何基本類型不能作為泛型類型參數(shù)温圆，可以使用包裝器取而代之。

自限定

循環(huán)泛型

• 循環(huán)泛型：因?yàn)镴ava的泛型中的類型參數(shù)僅僅影響的只是方法參數(shù)和方法返回值孩革，所以不需要定義了B才能用B作為類型參數(shù)岁歉。

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

自限定泛型類

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

自限定泛型方法

• 自限定泛型方法：強(qiáng)制泛型參數(shù)T為循環(huán)泛型類。

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());
    }
}

注意事項(xiàng)

• 自限定的價(jià)值在于產(chǎn)生 參數(shù)類型協(xié)變 ：不用改變基類代碼就可以使基類方法參數(shù)類型會(huì)隨子類而變化膝蜈。（ C++只能返回類型協(xié)變锅移？ ）
• 自限定雖然也能使 返回類型協(xié)變 ，但是意義不大饱搏，SE5開始Java就能不用通過自限定的方式實(shí)現(xiàn)返回類型協(xié)變（不需要泛型非剃，單繼承就能實(shí)現(xiàn)）。