本文介绍如何通过泛型约束 Op 类，使其内部列表仅允许添加指定基类及其子类的实例，杜绝不同类型（如 A 与 B）混存，并在编译期报错拦截非法操作。
本文介绍如何通过泛型约束 `op` 类，使其内部列表仅允许添加指定基类及其子类的实例，杜绝不同类型（如 `a` 与 `b`）混存，并在编译期报错拦截非法操作。
在 Java 中，若需保证一个容器（如 List）仅容纳某类及其子类的实例，同时禁止跨继承体系混入其他无关类型（例如 A/Aa 与 B/Bb 互斥），最简洁、类型安全的方案是使用带类型参数的泛型类，而非运行时检查或通配符（? extends T）——后者会削弱写入能力，且无法满足“单继承体系锁定”的核心需求。
正确的实现方式是将 Op 定义为泛型类 Op<t></t>，其内部列表直接声明为 List<t></t>，addObj 方法接收 T 类型参数。这样，每次实例化 Op 时（如 new Op<a>()</a>），Java 编译器便将 T 绑定为具体类型（这里是 A），并自动允许传入 A 及其所有子类（如 Aa）的实例，同时严格拒绝 B 或 Bb 等无关类型：
import java.util.ArrayList;
import java.util.List;
class Op<t> {
private final List<t> objects = new ArrayList(); // 使用 final 更佳
public void addObj(T o) {
objects.add(o);
}
// 可选：提供只读访问以增强封装性
public List<t> getObjects() {
return List.copyOf(objects); // Java 10+，返回不可变副本
}
}</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 是 A 的实例
opA.addObj(a2); // ✅ 编译通过：Aa 是 A 的子类
// opA.addObj(b1); // ❌ 编译错误：B 不是 A 或其子类
Op<b> opB = new Op();
opB.addObj(b1); // ✅
opB.addObj(b2); // ✅
// opB.addObj(a1); // ❌
}
}</b></a>
⚠️ 关键说明与注意事项：
-
Op<t></t>中的T是类型形参，实例化时（如Op<a></a>）即完成类型绑定，编译器据此推导所有T出现位置的实际类型； -
List<t></t>允许添加T及其子类实例，这是 Java 泛型的协变写入规则（由类型擦除与编译期检查共同保障），无需额外声明? extends T； - 若误用
List extends T>，虽可读取为T，但无法向其中添加任何对象（除null外），因通配符使写入目标不明确，违背容器设计初衷； - 建议将
objects字段设为final并提供只读访问器（如getObjects()），避免外部直接修改内部状态，提升封装性与线程安全性（配合不可变视图）。
综上，泛型 Op<t></t> 以零运行时代价，在编译期即完成类型隔离，既满足“单继承体系独占容器”的业务约束，又保持代码简洁与类型安全。
