Java泛型深入解析：extends与super的使用与区别

"Java泛型的理解，包括通配符`extends`和`super`的使用以及它们的区别。" Java泛型是Java编程语言中的一个重要特性，它允许在编译时检查类型安全，并且可以消除类型转换的需要。泛型通过在类、接口和方法声明中使用类型参数来实现。本文将探讨Java泛型中的两个关键概念：`extends`和`super`通配符，以帮助你深入理解它们的区别和用途。 1. `? extends T` `? extends T` 是一个表示类型的上界通配符，意味着参数化类型可以是T或者T的任何子类。这意味着你可以从这样的泛型集合中读取T或其子类的对象，但不能添加非null的元素，因为编译器无法确保添加的元素类型是否兼容。 例如： ```java List<? extends Fruit> flist = new ArrayList<Apple>(); ``` 在这个例子中，`flist`可以存放任何`Fruit`或其子类的对象，如`Apple`和`RedApple`。但由于类型不确定，你只能从中取出`Fruit`类型的对象，不能添加新的元素，除了`null`。 2. `? super T` `? super T` 是表示类型的下界通配符，意味着参数化类型是T或者是T的任意超类。因此，你可以向这样的集合中添加T或其超类的对象，但无法读取具体类型，因为编译器无法确定元素的确切类型。 例如： ```java List<? super Fruit> flist = new ArrayList<Fruit>(); flist.add(new Fruit()); flist.add(new Apple()); flist.add(new RedApple()); ``` 在这个例子中，`flist`可以接受`Fruit`、`Apple`及其子类的实例，因为你向集合中添加的是T或其超类型。然而，由于类型信息丢失，你只能以`Object`类型取出元素。 3. 区别与应用场景 `extends`适用于读操作，因为它允许你从集合中取出任何T或其子类的对象，而不会遇到类型转换异常。它通常用于函数参数，当函数只需要读取集合内容时。 `super`适用于写操作，因为你可以添加T或其超类的元素到集合中。它在你需要向方法传递可以接收多种类型参数的集合时非常有用，例如，当你有一个方法接受可以存放任何`Fruit`对象的容器时。 4. 泛型与`contains`方法 `contains`方法在`Collection`接口中定义，接受`Object`作为参数。因此，无论使用`extends`还是`super`通配符，都可以调用`contains`方法检查集合中是否存在某个对象，因为`Object`是所有类型的超类。 总结来说，理解和熟练运用`extends`和`super`通配符是掌握Java泛型的关键。它们提供了一种灵活的方式来处理类型安全的集合，使得代码更加健壮和易于维护。通过正确地使用这些通配符，你可以编写出更加泛化的代码，同时避免在运行时出现类型转换异常。