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<A> 和 List<B> 无关，需要 List<A> 的地方不可以用 List<B> 代替。

?

public class Test2 {
    public static void main(String[] args) {
        List<Integer> ints = new ArrayList<Integer>();
        //incompatible type
        show(ints);
    }

    static void show(List<Number> ns) {
        System.out.println(ns);
    }
}

?

参考：

 

?

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

?

?