在 Java 泛型中,逆变(contravariance)和协变(covariance)是两个重要的概念。它们用于描述参数化类型在继承关系中的行为。本文将详细介绍逆变和协变的概念,并使用相应的源代码进行说明。
- 逆变(Contravariance)
逆变是指在继承关系中,子类型的参数化类型可以作为父类型的参数化类型的替代品。简而言之,逆变允许我们使用更泛化的类型作为方法参数类型。
在 Java 中,逆变可以通过通配符(wildcard)和超类型限定(super)实现。下面是一个示例:
class Animal {
}
class Dog extends Animal