Java 中的协变和逆变

10 Sept 2024 | 4 分钟阅读

协变和逆变的概念在复杂 Java 编程世界中作为构建可维护、灵活和适应性强的软件的关键组成部分浮出水面。这些概念源于多态领域，对于确定类型和方法之间的关系至关重要。了解协变和逆变的细微差别，对于开发人员来说，有助于我们更好地理解面向对象原则，并构建能够适应各种上下文的软件。

Java 中的协变

在重写方法时，返回类型是 Java 中协变交互的主要来源。当子类型提供的返回类型比其超类型更具体时，就会发生这种情况。在 Java 中，协变主要体现在方法重写中的返回类型。从根本上说，协变通过允许子类型提供比其超类型更精确的返回类型来提高代码的准确性和表达力。

协变示例

假设一个更具体的 Dog 类重写了标准的 Animal 类提供的 giveBirth() 方法，并具有 Dog 的特定返回类型。这种复杂的关联展示了协变。

Covariant.java

// Animal class representing a generic animal
class Animal {
    // Method to simulate giving birth
    Animal giveBirth() {
        // Some implementation
        System.out.println("An animal gives birth.");
        return new Animal();
    }
}
// Dog class extending Animal, representing a specific type of animal
class Dog extends Animal {
    // Overriding the giveBirth method with specific implementation for Dog
    @Override
    Dog giveBirth() {
        // Some implementation specific to Dog
        System.out.println("A dog gives birth to puppies.");
        return new Dog();
    }
}
// Main class to test the Animal and Dog classes
public class Covariant {
    public static void main(String[] args) {
        // Create an instance of Animal
        Animal genericAnimal = new Animal();
        // Call the giveBirth method on the genericAnimal
        Animal newAnimal = genericAnimal.giveBirth();
        System.out.println("New animal born!");
        // Create an instance of Dog
        Dog specificDog = new Dog();
        // Call the giveBirth method on the specificDog
        Dog newDog = specificDog.giveBirth();
        System.out.println("New dog born!");
    }
}

输出

An animal gives birth.
New animal born!
A dog gives birth to puppies.
New dog born!

解释

此代码中的 Animal 类的 giveBirth() 函数模拟动物生育。Dog 类扩展了 Animal，并针对狗实现了 giveBirth() 方法，从而覆盖了 Animal 的 giveBirth() 方法。为了展示如何使用这些类，Main 类中创建了 Animal 和 Dog 的实例，并调用了它们的 giveBirth() 方法。

Java 中的逆变

与协变不同，逆变关系涉及到方法的参数类型。当一个被子类型化的方法接受比其超类型更通用的参数时，就会发生这种情况。逆变提供了一个令人着迷的新维度，它是协变的对立面。具有接受比其超类型更通用参数的方法的子类型，在此概念中发挥作用。逆变带来的灵活性，使得程序能够优雅地处理各种更广泛的输入类型。

Contravariant.java

// Food class representing a generic type of food
class Food {}
// Fruit class extending Food, representing a specific type of food
class Fruit extends Food {}
// Generic Consumer class with a method to consume items of type T
class Consumer<T> {
    void consume(T item) {
        // Some implementation
        System.out.println("Consuming: " + item);
    }
}
// Specialized FruitConsumer class extending Consumer<Fruit> for consuming fruits
class FruitConsumer extends Consumer<Fruit> {
    // Overriding the consumption method with specific implementation for fruits
    @Override
    void consume(Fruit fruit) {
        // Some implementation specific to consuming fruits
        System.out.println("Eating a delicious fruit: " + fruit);
    }
}
// Main class to test the Consumer and FruitConsumer classes
public class Contravariant {
    public static void main(String[] args) {
        // Create an instance of Consumer for Food
        Consumer<Food> foodConsumer = new Consumer<>();
        // Consume a generic Food item
        foodConsumer.consume(new Food()); 
        // Create an instance of FruitConsumer
        FruitConsumer fruitConsumer = new FruitConsumer();
        // Consume a specific Fruit item using FruitConsumer
        fruitConsumer.consume(new Fruit()); 
    }
}

输出

Consuming: Food@65e579dc
Eating a delicious fruit: Fruit@768debd

解释

此代码代表了由 Food 类表示的通用食物类型，以及由扩展 Food 的 Fruit 类表示的特定食物类型。一个名为 Consumer 的通用类有一个用于消耗 T 类型对象的 consume 方法。FruitConsumer 类扩展了 Consumer<Fruit>，专注于水果消费。为了展示如何使用这些类，Main 类中创建了 FruitConsumer 和 Consumer 的实例，并调用了它们的 consume 方法。

结论

在我们对协变和逆变的研究中，我们考察了 Java 类型和方法之间的复杂交互。协变通过允许子类型定义更精确的返回类型来提高表达力和精度。子类型可以通过逆变接受更通用的参数，这增加了灵活性并促进了适应性。

泛型中的逆变通配符为灵活且适应性强的类提供了一个优雅的解决方案，而协变数组虽然提供了通用性，但需要小心。这些概念对于开发能够适应不断变化的需求的健壮、可扩展的软件至关重要。了解协变和逆变有助于开发人员在不断变化的 Java 开发世界中管理类型方差的复杂性。采用这些概念可以确保代码能够抵御软件开发需求的变化，并经久不衰。

下一个主题Java 中创建不可变自定义类

Java 中的协变和逆变