java泛型边界如何设置

在 Java 中，泛型边界（Generic Bounds）用于控制泛型类型参数可以取哪些类型。主要通过 extends 和 super 来设置，分别用于上界和下界，并结合通配符 ? 使用。

下面系统地说明。

一、上界（Upper Bound）

1. 限定类型参数必须是某类或其子类

<T extends Number>

表示：T 只能是 Number 或其子类（如 Integer、Double）。

示例：

public class Box<T extends Number> {
    private T value;

    public double doubleValue() {
        return value.doubleValue(); // Number 的方法可用
    }
}

✅ 合法：

Box<Integer> b1;
Box<Double> b2;

❌ 非法：

Box<String> b3; // 编译错误

2. 多重边界（&）

<T extends A & B & C>

• 只能有一个类（若有，必须放最前）
• 其余必须是接口

<T extends Comparable<T> & Serializable>

3. 通配符上界（? extends）

List<? extends Number>

表示：

• 可以是 List<Integer>
• 可以是 List<Double>
• 不能添加元素（除 null）

List<? extends Number> list = new ArrayList<Integer>();
// list.add(1); // 编译错误
Number n = list.get(0); // OK

✅ 适合读取

二、下界（Lower Bound）

1. 通配符下界（? super）

List<? super Integer>

表示：

• 可以是 List<Integer>
• 可以是 List<Number>
• 可以是 List<Object>

List<? super Integer> list = new ArrayList<Number>();
list.add(1); // OK
Object o = list.get(0); // 只能当 Object 用

✅ 适合写入

三、无界通配符

List<?>

等价于：

List<? extends Object>

只能：

• 读取为 Object
• 不能写入（除 null）

四、PECS 原则（重要）

Producer → Extends, Consumer → Super

• Producer（生产数据）：用 ? extends T
• Consumer（消费数据）：用 ? super T

// 复制集合
public static <T> void copy(
        List<? super T> dest,
        List<? extends T> src) {
    for (T item : src) {
        dest.add(item);
    }
}

五、泛型方法中的边界

public static <T extends Comparable<T>> T max(T a, T b) {
    return a.compareTo(b) > 0 ? a : b;
}

六、常见错误

❌ 不能实例化泛型

new T(); // 不行

❌ 不能用基本类型

Box<int> b; // 错误，必须用 Integer

七、总结表

如果你有具体使用场景（如集合、接口设计、回调函数），我可以给你更贴切的示例。