Java泛型是编译期机制，运行时类型被擦除，仅提供编译时类型检查和减少强制转换；不能用于基本类型，不支持运行时类型判断，需避免原始类型和不当继承。
泛型声明时就锁定类型，不是运行时检查
Java 泛型是编译期机制，ArrayList<string></string> 在编译后会被擦除为 ArrayList，JVM 运行时并不知道它本该只存 String。所以泛型限制只在编译阶段生效——你写 list.add(123) 会直接报错，但通过反射或原始类型绕过编译检查，就能塞进任意对象。
这意味着：别指望泛型能防止运行时类型污染；它只是帮你提前发现错误、减少强制转换。
- 声明集合时必须指定类型参数，如
new ArrayList<integer>()</integer>，不能只写new ArrayList()（虽然语法允许，但会失去类型安全） - 方法参数/返回值用泛型时，类型变量需在类或方法签名中声明，例如：
public <t> T getFirst(List<t> list)</t></t> - 通配符
?用于放宽使用限制，比如void printAll(List extends Number> nums)允许传入List<integer></integer>或List<double></double>，但不能往里 add（除了null）
别用原始类型（raw type）初始化泛型集合
写 ArrayList list = new ArrayList(); 看似能用，但会关闭泛型检查，导致后续操作完全失控。比如：
ArrayList list = new ArrayList();
list.add("hello");
list.add(42); // 编译通过！但破坏了类型契约
String s = (String) list.get(1); // 运行时报 ClassCastException
这种写法等于主动放弃泛型保护，和没用泛型一样危险。
立即学习“Java免费学习笔记（深入）”；
- 始终用带类型参数的声明：优先写
ArrayList<string> list = new ArrayList();</string>（Java 7+ 支持菱形运算符） - 如果从旧代码迁移，逐个补全类型，不要保留
ArrayList list这类写法 - IDE（如 IntelliJ）通常会标黄警告 raw type 使用，别忽略它
泛型不能用于基本类型，得用包装类
ArrayList<int></int> 是非法的，Java 不允许基本类型作为泛型参数。必须用 Integer、Boolean 等包装类。
这带来两个实际影响：自动装箱/拆箱开销，以及 null 值可能引发 NullPointerException。
- 写
ArrayList<integer></integer>没问题，但注意list.get(i) == 100可能因缓存机制偶然成立，而list.get(i).equals(100)更稳妥 - 如果性能敏感（如高频数值计算），考虑用第三方库（如 Eclipse Collections 的
IntList）或数组替代 - 不要为了“省事”用
ArrayList<object></object>来假装支持多类型——这等于退化成无类型容器，编译器不再帮你校验
泛型类继承时类型参数容易被意外擦除
定义子类继承泛型父类时，若未显式传递类型参数，父类泛型信息可能丢失。例如：
class Box<T> { T value; }
class StringBox extends Box<String> { } // ✅ 正确：明确绑定 T = String
class RawBox extends Box { } // ❌ 错误：Box 是 raw type，value 字段变成 Object
这种写法会让子类所有泛型成员都退化为 Object，丧失类型约束。
- 子类继承泛型类，要么指定具体类型（如
extends Box<string></string>），要么自己也声明类型参数（如class GenericBox<u> extends Box<u></u></u>） - 避免在泛型类中用
instanceof T判断类型——因为类型擦除，T在运行时不存在，只能判断是否为某个具体类（如obj instanceof String） - 静态方法无法访问类的类型参数，所以
static <t> void doSomething(T t)</t>必须把T声明在方法上，而不是依赖外部类参数
泛型真正的复杂点不在语法，而在理解「擦除」带来的边界：它不提供运行时类型保障，也不支持基本类型，更不能靠继承或反射绕过设计初衷去强行突破限制。用对的地方，它省心；想绕开它，反而更费劲。
