java的协变性_java中的协变

1.数组

假如 A 是 B 的超类，则 A[] 也是 B[] 的超类，所有需要 A[] 的地方都可以用 B[] 代替。

?

public class Test2 {

public static void main(String[] args){

Integer[] ints=new Integer[1];

ints[0]=99;

show(ints);

}

static void show(Number[] ns){

System.out.println(Arrays.toString(ns));

}

}

?

2.override

答应 子类的覆盖父类函数的返回类型 是 父类被覆盖函数返回类型 的子类

?

public class Test2 {

public static void main(String[] args){

P p=new C();

System.out.println(p.get());

}

}

class P{

public Number get(){

return new Integer(0);

}

}

class C extends P{

public Integer get(){

return new Integer(1);

}

}

?

3.范型不能协变

假如 A 是 B 的超类，则 List 和 List 无关，需要 List

?

public class Test2 {

public static void main(String[] args) {

List ints = new ArrayList();

//incompatible type

show(ints);

}

static void show(List ns) {

System.out.println(ns);

}

}

?

参考：

?

类型，转换，数组，协变及其他

?

?