什么叫做协变(covariance)和逆变(contravariance)?
在变成语言的类型框架中,协变和逆变是指宽类型和窄类型在某种情况下(如参数,泛型,返回值)替换或交换的特性,简单的说,协变是用一个窄类型替换宽类型,而逆变则是用宽类型覆盖窄类型.
协变:宽类型------>窄类型
逆变:窄类型------>宽类型
class Base{
public Number doStuff(){
return 0;
}
}
class Sub extends Base{
@Override
public Integer doStuff(){
return 0;
}
}
子类的 doStuff 方法返回值的类型比父类方法要窄（Integer extend Number），此时 doStuff 方法就是一个协变方法，同时根据 Java 的覆写定义来看，这又属于覆写。那什么是逆变呢？代码如下：
class Base{
public void doStuff(Integer i){
}
}
class Sub extends Base{
public void doStuff(Number n){
}
}
子类的 doStuff 方法的参数类型比父类要宽，此时就是一个逆变方法，子类扩大了父类方法的输入参数，但是根据覆写定义来看，doStuff 不属于覆写，只是重载而已。
由于此时的doStuff方法已经与父类没有任何关系了,只是子类独立扩展出的 一个行为,所以是否声明为doStuff方法名意义不大,逆变已经不具有特别的意义了.我们来重点关注一下协变.
public class Client {
public static void main(String[] args) {
Base base = new Sub();
}
}
base变量是否发生了协变?是的....发生了协变,base变量是Base类型,它是父类,而其赋值却是子类实例,也就是用窄类型覆盖了宽类型,这也叫做多态(Polymorphism),两者相同含义,在Java世界里,"重复发明"*的事情多了去了.
泛型是既不支持协变也不支持逆变.为什么?
(1)泛型不支持协变
数组和泛型很相似,一个是中括号,一个是尖括号,那我们就以数组为参照对象,看代码:
public class Client {
public static void main(String[] args) {
//数组支持协变
Number[] n = new Integer[10];
//编译不通过，泛型不支持协变
//List<Number> ln = new ArrayList<Integer>();//报错
//Type mismatch: cannot convert from ArrayList<Integer> to List<Number>
}
}
ArrayList是List的子类型,Integer是Number的子类型,里氏替换原则在此行不通了,原因就是Java为了保证运行期的安全性,必须保证泛型参数类型是固定的.
所以它不允许一个泛型参数可以同时包含两种类型,即使是父子类关系也不行.
泛型不支持协变,但可以使用通配符(Wildcard)模拟协变.代码如下:
//Number的子类型都可以是泛型参数类型
List<? extends Number> ln = new ArrayList<Integer>();
"? extends Number" 表示的意思是,允许Number所有的子类(包括自身)作为泛型参数类型,但在运行期只能是一个具体类型,或者是Integer或者是Double类型,
或者是Number类型,也就是说通配符只是在编码期有效,运行期必须是一个确定类型.
(2)泛型不支持逆变
Java虽然可以允许逆变存在,单在对类型赋值上是不允许逆变的,你不能把一个父类实例对象赋值给一个子类类型变量,泛型自然也不允许此种情况发生了,
但是它可以使用super关键字来模拟实现.代码如下:
//Integer的父类型(包括Integer)都可以是泛型参数类型
List<? super Integer> li = new ArrayList<Number>();
"
"? super Integer" 的意思是可以把所有Integer父类型(自身,父类或接口)作为泛型参数,这里看着就像是把一个Number类型的ArrayList赋值给了Integer类型的List,
其外观类似于使用一个宽类型覆盖一个窄类型,它模拟了逆变的实现.
泛型既不支持协变也不支持逆变,带有泛型参数的子类型定义与我们经常使用的类类型也不相同,其基本的类型关系如下: 泛型通配符的Q&A
1.Integer是Number的子类型 √
2.ArrayList<Integer>是List<Integer>的子类型 √
3.Integer[] 是Number[] 的子类型 √
4.List<Integer> 是List<Number>的子类型 ×
5.List<Integer> 是List<? extends Integer>的子类型 ×
6.
List<Integer> 是List<? super Integer>的子类型 ×
Java的泛型不支持逆变和协变,只是能够实现逆变和协变.