协变和逆变

        什么叫协变（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 不属于覆写，只是重载而已。