在Java中,泛型的extends和super关键字具有不同的作用和意义。
- extends:
extends关键字用于限制泛型参数的上界。它表示该泛型参数必须是给定类型或其子类型。这意味着,如果你有一个泛型类或方法,你可以使用extends来指定该泛型参数必须是某个类或接口的子类型。这有助于确保类型安全,并避免在运行时出现ClassCastException。
例如,假设你有一个泛型类Box,它可以容纳任何类型的对象。但是,你希望确保Box只能容纳那些实现了Comparable接口的对象。在这种情况下,你可以使用extends关键字来限制泛型参数T必须是Comparable或其子类型。
public class Box<T extends Comparable<T>> { private T item; public void set(T item) { this.item = item; } public T get() { return item; } public int compareTo(Box<T> other) { return item.compareTo(other.item); } }
- super:
super关键字用于限制泛型参数的下界。它表示该泛型参数必须是给定类型或其父类型。这意味着,如果你有一个泛型类或方法,你可以使用super来指定该泛型参数必须是某个类或接口的父类型。这有助于确保类型安全,并避免在运行时出现ClassCastException。
然而,需要注意的是,Java泛型中的super关键字与类中的super关键字有所不同。在类中,super表示父类,用于调用父类的方法或访问父类的成员变量。而在泛型中,super关键字用于限制泛型参数的下界,而不是表示父类。
例如,假设你有一个泛型方法,该方法接受一个列表作为参数,并返回该列表中的所有元素的总和。你可以使用super关键字来限制泛型参数List必须是Number或其子类型,以便在该方法中使用Number类的方法,如intValue()、doubleValue()等。
public static double sum(List<? super Number> list) { double sum = 0; for (Number n : list) { sum += n.doubleValue(); } return sum; }
在这个例子中,List<? super Number>表示一个列表,其元素类型可以是Number或其任何父类型(如Integer、Double等)。这使得该方法可以用于任何类型的Number列表,并确保类型安全。