Java泛型类实现类型安全封装方法

Java泛型类通过将“类型”抽象为参数，在编译期实现严格的类型安全与逻辑复用——声明时用T等占位符配合边界约束（如extends）保障通用操作的合法性，实例化时填入具体引用类型（如String、Integer）让编译器自动拦截非法赋值与强转，再结合? extends/? super通配符在集合交互中平衡灵活性与安全性；尽管受运行时类型擦除限制无法直接判型或new T()，但借助Supplier、Class对象或静态方法独立泛型参数等技巧，仍能优雅绕过障碍，真正实现“写一次，处处安全复用”。

直接用泛型类封装通用逻辑，核心是把“类型”变成参数，让编译器替你盯住类型匹配——写对一次，所有类型都能安全复用。

定义带类型参数的泛型类

在类名后加 （T 是占位符，也可用 E、K、V 等），成员变量、方法参数和返回值都用 T 表示实际类型：

• 声明时只写占位符，不写具体类型，例如：private T data;、public void set(T value)
• T 可以有边界约束，如 ，确保能调用 doubleValue() 等共通方法
• 避免用原始类型（如 Object）替代泛型，否则失去类型检查能力

实例化时指定具体类型

创建对象时填入真实类型，编译器立即锁定该实例的合法操作范围：

• Box strBox = new Box<>(); → 只允许存 String，取出来直接是 String，不用强转
• Box intBox = new Box<>(); → 存 42 合法，存 "abc" 编译报错
• 尖括号里的类型必须是引用类型，不能写 Box（可用 Integer）

配合通配符提升灵活性与安全性

当方法接收或返回泛型容器时，用通配符避免类型僵化，同时守住读/写边界：

• 只读场景用 ：例如 printAll(List list)，可传入 List 或 List，但不能往里 add 非 null 元素
• 只写场景用 ：例如 addIntegers(Collection coll)，可接受 Collection 或 Collection