Java 泛型中的逆变与协变

在 Java 泛型中，逆变（contravariance）和协变（covariance）是两个重要的概念。它们用于描述参数化类型在继承关系中的行为。本文将详细介绍逆变和协变的概念，并使用相应的源代码进行说明。

1. 逆变（Contravariance）
   逆变是指在继承关系中，子类型的参数化类型可以作为父类型的参数化类型的替代品。简而言之，逆变允许我们使用更泛化的类型作为方法参数类型。

在 Java 中，逆变可以通过通配符（wildcard）和超类型限定（super）实现。下面是一个示例：

class Animal {
   }

class Dog extends Animal {
   }

interface AnimalShelter