要了解協(xié)變與逆變，首先要引入：

根據(jù) Liskov替換原則，如果C是P的子類(lèi)，則P可以代替C，即 P p = new C();
C繼承于P，記做為 C < P

什么是不變

如果F是不變，當(dāng) C <= P 時(shí)，那么 F(C) 和 F(P) 沒(méi)有任何繼承關(guān)系

除例如 Integer是 Number的子類(lèi)，根據(jù) Liskov替換原則

Number number = new Integer(1);  //correct

但是如果這樣寫(xiě)就會(huì)報(bào)錯(cuò)

List<Number> list = new ArrayList<Integer>(1);  //error

雖然 Number和 Integer存在繼承關(guān)系：Integer < Number, 但在Java里，泛型默認(rèn)是不變的， 因此也可以看作為 List<Number> 和List<Integer> 不存在任何繼承關(guān)系

什么是協(xié)變

如果F是協(xié)變的，當(dāng) C <= P 時(shí)，那么 F(C) <= F(P)

Java 提供了一個(gè)extends來(lái)將不變轉(zhuǎn)為協(xié)變，例如：

List<? extends Number> list = new ArrayList<Integer>(1);  //corrent

此時(shí)的List<? extends Number>可以看作為ArrayList<Integer>的父類(lèi)

? extend Number可以看作為一個(gè)類(lèi)型范圍，表示Number的某一個(gè)子類(lèi)

數(shù)組默認(rèn)是協(xié)變的

Number[] numbers = new Integer[3]; 

什么是逆變

如果F是逆變的，當(dāng) C <= P 時(shí)，那么 F(C) >= F(P)

Java 提供了一個(gè)super來(lái)將不變轉(zhuǎn)為協(xié)變，例如：

List<? super Number> list = new ArrayList<Object>(1);  //corrent

此時(shí)的 List<? super Number>可以看作為 ArrayList<Object>的父類(lèi)

extends 和 super

首先，我們看看Collection.add的實(shí)現(xiàn)：

public interface List<E> extends Collection<E> { boolean add(E e); }

下面代碼將會(huì)報(bào)錯(cuò)？? extends Number與Integer類(lèi)型不匹配

List<? extends Number> list = new ArrayList<Integer>(); // correct
list.add(Integer.valueOf(1));  //error

首先在調(diào)用add方法時(shí)，泛型E自動(dòng)變成了<? extends Number>

第二行報(bào)錯(cuò)，也就是說(shuō)? extends Number不是Integer的父類(lèi)。這里要將 List<? extends Number>是ArrayList<Integer>的父類(lèi)區(qū)分開(kāi)。

? extends Number可以看作為一個(gè)類(lèi)型范圍中某一個(gè)類(lèi)型，表示Number的某一個(gè)子類(lèi)，但又沒(méi)明確是哪個(gè)子類(lèi)，可能是Float，可能是Short，也可能是Integer的子類(lèi)（Integer被final修飾，不可能有子類(lèi)，這里只是一種假設(shè)情況），它只確定了它的上界為 Number，并沒(méi)有確定下界（有可能存在? extends Number< Integer），因此 ? extends Number不是Integer的父類(lèi)

將上面代碼稍做修改就正確了：

List<? super Number> list = new ArrayList<Object>(); // correct
list.add(Integer.valueOf(1));  //correct

首先因?yàn)槟孀儯?code>List<? super Number>是ArrayList<Object>的父類(lèi)，第一行正確。

第二行： ? super Number是Integer的父類(lèi)，原因是：? super Number表示Number的某一個(gè)父類(lèi)，可能是Serializable也可能是 Object 但不管是哪個(gè)，Number的父類(lèi)一定是Integer的父類(lèi)，因此第二行也正確

使用extends還是super呢

java.util.Collections的copy方法(JDK1.7)給了我們答案：

public static <T> void copy(List<? super T> dest, List<? extends T> src) {
    int srcSize = src.size();
    if (srcSize > dest.size())
        throw new IndexOutOfBoundsException("Source does not fit in dest");

    if (srcSize < COPY_THRESHOLD ||
        (src instanceof RandomAccess && dest instanceof RandomAccess)) {
        for (int i=0; i<srcSize; i++)
            dest.set(i, src.get(i));
    } else {
        ListIterator<? super T> di=dest.listIterator();
        ListIterator<? extends T> si=src.listIterator();
        for (int i=0; i<srcSize; i++) {
            di.next();
            di.set(si.next());
        }
    }
}

• 要從泛型類(lèi)取數(shù)據(jù)時(shí)，用extends；
• 要往泛型類(lèi)寫(xiě)數(shù)據(jù)時(shí)，用super；
• 既要取又要寫(xiě)，就不用通配符（即extends與super都不用）

private static <E> E getFirst(List<? extends E> list){
    return list.get(0);
}

private static <E> void setFirst(List<? super E> list, E firstElement){
    list.add(firstElement);
}

public static void main(String[] args) {
    List<Integer> list = new ArrayList<Integer>();
    setFirst(list, 1);
    Number number = getFirst(list);
}

到此這篇關(guān)于Java泛型之協(xié)變與逆變及extends與super選擇的文章就介紹到這了,更多相關(guān)Java泛型 內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論