协变是指一个类型随着它关联的类型一起变化,有点抽像,java中体现协变的包括两点:
[color=red]
[size=large]1.数组[/size][/color]
如果 A 是 B 的超类,则 A[] 也是 B[] 的超类,所有需要 A[] 的地方都可以用 B[] 代替。
[size=large][color=red]2.override[/color][/size]
允许 子类的覆盖父类函数的返回类型 是 父类被覆盖函数返回类型 的子类
[size=large][color=red]3.范型不能协变[/color][/size]
如果 A 是 B 的超类,则 List<A> 和 List<B> 无关,需要 List<A> 的地方不可以用 List<B> 代替。
参考:
[url=http://yiminghe.iteye.com/blog/677332]类型,转换,数组,协变及其他 [/url]
[color=red]
[size=large]1.数组[/size][/color]
如果 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));
}
}
[size=large][color=red]2.override[/color][/size]
允许 子类的覆盖父类函数的返回类型 是 父类被覆盖函数返回类型 的子类
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);
}
}
[size=large][color=red]3.范型不能协变[/color][/size]
如果 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);
}
}
参考:
[url=http://yiminghe.iteye.com/blog/677332]类型,转换,数组,协变及其他 [/url]