泛型类通过编译期类型约束与类型擦除后的运行时保障确保类型安全：声明时由实参锁定成员变量类型，赋值时编译器拦截非法类型，读取时自动插入安全转换，擦除后仍靠桥接方法和运行时检查兜底。

泛型类通过编译期类型约束 + 类型擦除后的运行时保障，确保成员变量在声明、赋值、读取全过程保持类型一致，避免运行时类型错误。

声明即锁定：成员变量类型由实例化时的实参决定

泛型类中用类型参数（如 T）声明的成员变量，其实际类型不是在类定义时确定的，而是在创建对象时由传入的具体类型实参绑定。例如：

public class Box { private T value; }

当写 Box box = new Box(); 时，value 在整个生命周期中就只能是 String 类型——编译器会强制所有对该变量的赋值和读取都遵循这一约定。

赋值受检：编译器拦截非法类型写入

对泛型成员变量的赋值操作，编译器会在编译阶段检查右侧表达式的类型是否与当前泛型实参匹配：

• box.set("hello"); → 合法（String → String）
• box.set(123); → 编译报错（Integer ≠ String）

这种检查直接堵住了错误类型“混入”的源头，比运行时抛异常更早、更安全。

读取免转：自动插入类型转换，消除手动强转风险

访问泛型成员变量时，编译器会自动添加隐式类型转换，保证返回值无需额外 cast 就能直接使用：

String s = box.get(); → 编译后等价于 String s = (String) box.get();

由于赋值已被严格限制，此处的转换必然成功。相比原始类型（Object）集合需手动强转且可能崩溃，泛型让类型安全成为默认行为。

擦除不破环：字节码中仍靠桥接方法与运行时检查兜底

虽然泛型信息在编译后被擦除（Box 变成原始类型 Box），但 JVM 通过桥接方法和字段访问逻辑维持一致性：

• 若通过反射绕过编译检查写入错误类型（如把 Integer 强塞进 Box），后续调用 get() 时，编译器生成的自动转换代码仍会触发 ClassCastException，立即暴露问题；
• 泛型类的 setter/getter 方法签名在擦除后仍保留类型适配逻辑，确保运行时行为与编译期语义一致。