Android中的泛型类型变化

泛型是一种强大的编程概念，它可以在编译时提供类型安全性，并允许我们在不同的数据类型上编写通用的代码。在Android开发中，泛型类型变化（Generic Type Variance）是一个重要的主题，它允许我们在一些情况下更灵活地使用泛型类型。本文将详细介绍Android中的泛型类型变化，并提供相应的源代码示例。

什么是泛型类型变化？

泛型类型变化是指在使用泛型时，对泛型类型参数的灵活使用方式。在Java中，泛型类型参数可以具有协变性（covariant）、逆变性（contravariant）和不变性（invariant）。协变性表示类型参数可以向上转型，逆变性表示类型参数可以向下转型，而不变性表示类型参数只能使用指定的类型。

泛型类型通配符

在Android中，我们可以使用通配符来表示泛型类型变化。通配符有两种形式：上界通配符（<? extends T>）和下界通配符（<? super T>）。上界通配符表示泛型类型参数的上限，即类型参数必须是指定类型或其子类。下界通配符表示泛型类型参数的下限，即类型参数必须是指定类型或其父类。

下面是一个简单的示例，演示了上界通配符的使用：

class Animal {