面向对象编程中协变和逆变有什么区别？

深入理解协变和逆变

面向对象编程中的协变和逆变允许在保持类型安全性的前提下，在不同情况下替换不同的类型。

协变 (Covariance)

协变适用于将“超类型”（更通用）作为“子类型”（更具体）在输出位置（例如，作为返回值）的替代。在这种情况下，您可以将超类型的列表赋值给子类型的列表：

<code class="language-java">List<Fruit> fruits = new ArrayList<>();
List<Apple> apples = fruits; // 协变：List<Apple> 是 List<Fruit> 的子类型</code>

逆变 (Contravariance)

逆变适用于将“子类型”作为“超类型”在输入位置（例如，作为方法参数）的替代。在这种情况下，您可以将接受子类型的 lambda 表达式传递给期望超类型的 lambda 表达式：

<code class="language-java">Comparator<Apple> compareApples = (a, b) -> a.compareTo(b);
Comparator<Fruit> compareFruits = compareApples; // 逆变：Comparator<Apple> 是 Comparator<Fruit> 的子类型</code>

“in” 和 “out” 关键字

泛型中的“in”和“out”关键字用于指定泛型参数的方差。“out”表示协变，“in”表示逆变。

在 MyInterface 接口的示例中：

• 协变（返回值）：

<code class="language-java">interface MyInterface<out T> {
    T get(); // T 可以是 T 的原始类型的任何子类型
}</code>

• 逆变（输入参数）：

<code class="language-java">interface MyInterface<in T> {
    void set(T value); // T 必须是 T 的原始类型的子类型
}</code>

总而言之，协变和逆变允许根据泛型类型的预期用途进行安全的类型替换，从而在提供代码设计灵活性的同时确保类型安全。

以上是面向对象编程中协变和逆变有什么区别？的详细内容。更多信息请关注PHP中文网其他相关文章！