泛型中上下界限定符extends 和 super有什么区别？

 

在Java泛型中，extends和super分别表示上界限定符和下界限定符。它们通常用于限制泛型类型参数的范围，以实现更灵活、更安全的泛型编程。

extends（上界限定符）：表示泛型类型参数必须是指定类型的子类型（包括指定类型本身）。例如，<T extends Number>表示类型参数T必须是Number类或其子类。
 

public static <T extends Number> double sum(List<T> numbers) {
    double sum = 0.0;
    for (T number : numbers) {
        sum += number.doubleValue();
    }
    return sum;
}

在这个例子中，sum方法接受一个List，其中的元素类型必须是Number或其子类型。这保证了元素可以被安全地转换为double类型。

super（下界限定符）：表示泛型类型参数必须是指定类型的超类型（包括指定类型本身）。super通常用在通配符（?）上，表示方法可以接受一个更广泛的类型范围的参数。
 

public static void copy(List<? extends Number> source, List<? super Number> dest) {
    for (Number number : source) {
        dest.add(number);
    }
}

在这个例子中，copy方法接受两个List参数。第一个参数的类型限定为? extends Number，表示元素类型是Number或其子类型。第二个参数的类型限定为? super Number，表示元素类型是Number或其超类型。这使得方法可以处理更广泛的类型范围，例如从List<Integer>复制到List<Number>或List<Object>。

总之，extends和super分别用于限定泛型类型参数的上界和下界，实现更灵活、更安全的泛型编程。在实际应用中，选择哪种限定符取决于你想要实现的功能和类型安全性需求。