软件构造之逆变协变

协变（Covariance）是面向对象编程（OOP）中的一个概念，主要涉及继承体系中的返回类型变化。协变允许在子类中重写父类方法时，返回类型可以是父类方法返回类型的子类型。协变的对立概念是逆变（Contravariance），而不变（Invariant）则表示类型必须完全一致。理解协变需要一些相关的概念，如多态、重写（Override）、泛型等。下面详细介绍这些概念及其关联。

协变（Covariance）

协变返回类型

协变返回类型是指在子类重写父类方法时，子类方法的返回类型可以是父类方法返回类型的子类型。这种特性使得代码更加灵活，同时仍然保持类型安全。

示例：

class Animal {
    public Animal reproduce() {
        return new Animal();
    }
}

class Dog extends Animal {
    @Override
    public Dog reproduce() {  // 协变返回类型
        return new Dog();
    }
}

在这个示例中，Dog 类重写了 Animal 类的 reproduce 方法，且重写方法的返回类型是 Dog，这是合法的，因为 Dog 是 Animal 的子类型。

相关概念

多态（Polymorphism）

多态是OOP的一个基本特性，允许一个接口被多个不同类型的对象实现或继承，从而使同一个函数或方法可以表现出不同的行为。多态通常通过继承和接口实现。

重写（Override）

重写是子类提供对父类方法的具体实现。在重写时，子类方法必须具有与父类方法相同的名称、参数列表和返回类型（或协变返回类型）。重写的目的是提供特定于子类的实现，同时保持接口的一致性。

泛型（Generics）

泛型允许类、接口和方法能够操作对象的类型参数，从而提供类型安全的集合类。例如，List<T> 允许在编译时检查元素的类型。

协变与泛型

在Java中，泛型是不变的（Invariant），这意味着即使 Dog 是 Animal 的子类型，List<Dog> 也不是 List<Animal> 的子类型。因此，协变在泛型中表现为使用通配符 ? extends T。

示例：

List<? extends Animal> animals = new ArrayList<Dog>();

在这个示例中，animals 可以持有任何 Animal 的子类型的列表。

逆变（Contravariance）

逆变是指在方法参数类型中的类型变化，即子类方法参数可以是父类方法参数类型的父类型。Java中常见的逆变是通过泛型通配符 ? super T 实现的。

示例：

List<? super Dog> animals = new ArrayList<Animal>();

在这个示例中，animals 可以持有任何 Dog 的父类型的列表。

协变和逆变的对比

1. 协变（Covariance）：允许返回类型变化（子类型）。
   • 应用于返回类型。
   • 例如，Dog reproduce() 重写 Animal reproduce()。
2. 逆变（Contravariance）：允许参数类型变化（父类型）。
   • 应用于方法参数。
   • 例如，void feed(List<? super Dog> animals)。

实际应用

协变返回类型的实际应用

在设计类层次结构时，协变返回类型允许子类方法返回更具体的类型，从而使代码更加灵活和可重用。

示例：

class Animal {
    public Animal create() {
        return new Animal();
    }
}

class Cat extends Animal {
    @Override
    public Cat create() {
        return new Cat();
    }
}

这种设计模式允许在调用子类方法时直接使用具体类型，而不需要进行类型转换。

泛型中的协变和逆变

泛型中的协变和逆变使得我们可以编写更通用和灵活的代码。例如，协变可以用来读取泛型集合中的元素，而逆变可以用来向泛型集合中添加元素。

public void addAnimals(List<? super Animal> animals) {
    animals.add(new Dog());
    animals.add(new Cat());
}

public void printAnimals(List<? extends Animal> animals) {
    for (Animal animal : animals) {
        System.out.println(animal);
    }
}

总结

协变原则在OOP中提供了更大的灵活性和类型安全性，特别是在继承和泛型中。通过允许返回类型变化和使用泛型通配符，我们可以设计更灵活和可重用的代码。在实际开发中，理解和正确应用协变和逆变是编写高质量OOP代码的重要技能。