使用泛型约束列表元素类型：确保 Op 类仅接受单一类型及其子类-java教程-PHP中文网

使用泛型约束列表元素类型：确保 Op 类仅接受单一类型及其子类

本文介绍如何通过 java 泛型改造 op 类，使其内部列表只允许添加指定类型（如 a）及其子类实例，而拒绝其他无关类型（如 b），在编译期即报错，实现类型安全。

本文介绍如何通过 java 泛型改造 op 类，使其内部列表只允许添加指定类型（如 a）及其子类实例，而拒绝其他无关类型（如 b），在编译期即报错，实现类型安全。

要实现“一个 Op 实例只能容纳某类（如 A）及其所有子类对象，但不能混入其他类（如 B）的对象”，核心思路是将类型约束前移到类实例化阶段，而非运行时检查。Java 泛型正是为此类场景设计的——它允许我们在声明 Op<a></a> 时就锁定该实例合法操作的类型边界。

正确的实现方式是将 Op 定义为泛型类，并让其内部列表与泛型参数 T 严格对齐：

import java.util.ArrayList;
import java.util.List;

class Op<t> {
    private final List<t> objects = new ArrayList();

    public void addObj(T o) {
        objects.add(o);
    }

    // 可选：提供安全的只读视图
    public List<t> getObjects() {
        return List.copyOf(objects); // Java 10+，或返回 Collections.unmodifiableList(objects)
    }
}</t></t></t>

在使用时，需显式指定类型参数：

public class Main {
    public static void main(String[] args) {
        A a1 = new A();
        Aa a2 = new Aa();
        B b1 = new B();
        Bb b2 = new Bb();

        Op<a> opA = new Op();
        opA.addObj(a1); // ✅ 编译通过：A 是 T
        opA.addObj(a2); // ✅ 编译通过：Aa 是 A 的子类，可赋值给 A 类型引用
        // opA.addObj(b1); // ❌ 编译错误：B 无法赋值给 A 类型参数

        Op<b> opB = new Op();
        opB.addObj(b1); // ✅
        opB.addObj(b2); // ✅
        // opB.addObj(a1); // ❌
    }
}</b></a>

✅ 关键原理说明：

Op<a></a> 中的 T 被推断为 A，因此 addObj(A) 方法只接受 A 或其子类（如 Aa）的实例——这是 Java 的协变赋值规则（子类对象可赋值给父类引用）在泛型方法参数上的自然体现。
不需要写成 Op extends A> 或 addObj(? extends T)：通配符 ? 会削弱类型写入能力（如无法向 List extends A> 添加任何元素），而此处我们需要的是类型固定 + 子类兼容，这正是裸泛型 Op<t></t> 在实例化后提供的行为。
private List<t> objects</t> 确保了类型一致性；final 修饰可防止意外替换列表引用，增强封装性。