Java泛型之协变与逆变及extends与super选择（super extends）

目录什么是不变什么是协变什么是逆变extends 和 super使用extends还是super呢

要了解协变与逆变，首先要引入：

根据 Liskov替换原则，如果C是P的子类，则P可以代替C，即 P p = new C();C继承于P，记做为 C < P

什么是不变

如果F是不变，当 C <= P 时，那么 F(C) 和 F(P) 没有任何继承关系

除例如 Integer是 Number的子类，根据 Liskov替换原则

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

但是如果这样写就会报错

List list = new ArrayList(1); //error

虽然 NumbewwiCBfwr和 Integer存在继承关系：Integer < Number, 但在java里，泛型默认是不变的， 因此也可以看作为 List 和List 不存在任何继承关系

什么是协变

如果F是协变的，当 C <= P 时，那么 F(C) <= F(P)

Java 提供了一个extends来将不变转为协变，例如：

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

此时的List extends Number>可以看作为ArrayList的父类

? extend Number可以看作为一个类型范围，表示Number的某一个子类

数组默认是协变的

Number[] numbers = new Integer[3];

什么是逆变

如果F是逆变的，当 C <= P 时，那么 F(C) >= F(P)

Java 提供了一个super来将不变转为协变，例如：

List super Number> list = new ArrayList

此时的 List super Number>可以看作为 ArrayList

extends 和 super

首先，我们看看Collection.add的实现：

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

下面代码将会报错？? extends Number与Integer类型不匹配

List extends Number> list = new ArrayList(); // correct

list.add(Integer.valueOf(1)); //error

首先在调用add方法时，泛型E自动变成了 extends Number>

第二行报错，也就是说? extends Number不是Integer的父类。这里要将 List extends Number>是ArrayList的父类区分开。

? extends Number可以看作为一个类型范围中某一个类型，表示Number的某一个子类，但又没明确是哪个子类，可能是Float，可能是Short，也可能是Integer的子类（Integer被final修饰，不可能有子类，这里只是一种假设情况），它只确定了它的上界为 Number，并没有确定下界（有可能存在? extends Number< Integer），因此 ? extends Number不是Integer的父类

将上面代码稍做修改就正确了：

List super Number> list = new ArrayList

list.add(Integer.valueOf(1)); //correct

首先因为逆变，List super Number>是ArrayList

第二行：&http://nbsp;? super Number是Integer的父类，原因是：? super Number表示Number的某一wwiCBfw个父类，可能是Serializable也可能是 Object 但不管是哪个，Number的父类一定是Integer的父类，因此第二行也正确

使用extends还是super呢

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

public static 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

dest.set(i, src.get(i));

} else {

ListIterator super T> di=dest.listIterator();

ListIterator extends T> si=src.listIterator();

for (int i=0; i

di.next();

di.set(si.next());

}

}

}

要从泛型类取数据时，用extends；要往泛型类写数据时，用super；既要取又要写，就不用通配符（即extends与super都不用）

private static E getFirst(List extends E> list){

return list.get(0);

}

private static void setFirst(List super E> list, E firstElement){

list.add(firstElement);

}

public static void main(String[] args) {

List list = new ArrayList();

setFirst(list, 1);

Number number = getFirst(list);

}

dest.set(i, src.get(i));

} else {

ListIterator super T> di=dest.listIterator();

ListIterator extends T> si=src.listIterator();

for (int i=0; i

di.next();

di.set(si.next());

}

}

}

要从泛型类取数据时，用extends；要往泛型类写数据时，用super；既要取又要写，就不用通配符（即extends与super都不用）

private static E getFirst(List extends E> list){

return list.get(0);

}

private static void setFirst(List super E> list, E firstElement){

list.add(firstElement);

}

public static void main(String[] args) {

List list = new ArrayList();

setFirst(list, 1);

Number number = getFirst(list);

}

di.next();

di.set(si.next());

}

}

}

要从泛型类取数据时，用extends；要往泛型类写数据时，用super；既要取又要写，就不用通配符（即extends与super都不用）

private static E getFirst(List extends E> list){

return list.get(0);

}

private static void setFirst(List super E> list, E firstElement){

list.add(firstElement);

}

public static void main(String[] args) {

List list = new ArrayList();

setFirst(list, 1);

Number number = getFirst(list);

}

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。