Java泛型里super T与extends T的差异

在Java泛型的世界里，super T和extends T是两个重要且容易混淆的概念，它们在泛型类型的限定上有着不同的作用和应用场景。

首先来看看extends T。当我们使用extends T来限定泛型类型时，它表示该泛型类型必须是T类型或者是T的子类型。例如，我们定义一个泛型方法public static <T extends Number> void print(T t)，这意味着传入这个方法的参数t必须是Number类型或者是Number的子类型，比如Integer、Double等。这种限定使得我们可以在方法内部安全地调用Number类中定义的方法，因为传入的对象肯定具有Number类的特性。它主要用于获取泛型对象的值，保证了读取操作的类型安全。

而super T则有着不同的含义。当使用super T来限定泛型类型时，它表示该泛型类型必须是T类型或者是T的父类型。比如public static <T> void add(List<? super T> list, T t)，这里的List<? super T>表示这个列表可以存储T类型或者T的父类型的元素。super T常用于向泛型对象中写入数据，因为它确保了写入的数据类型是符合要求的。例如，我们可以将一个Integer对象放入一个存储Number类型或其父类型的列表中。

在实际应用中，extends T更侧重于读取数据，因为它保证了读取到的数据类型是已知的，不会出现类型不匹配的问题。而super T更侧重于写入数据，能够确保写入的数据类型是合适的。

需要注意的是，使用extends T时，不能向泛型对象中写入数据（除了null），因为具体的类型可能是T的某个子类型，写入其他类型的数据可能会导致类型错误。而使用super T时，读取数据时只能将其赋值给Object类型的变量，因为具体的类型是未知的。

理解super T和extends T的差异对于正确使用Java泛型至关重要，能够帮助我们编写更加安全和高效的代码。