Java泛型是编译期机制,运行时类型被擦除,仅提供编译时类型检查和减少强制转换;不能用于基本类型,不支持运行时类型判断,需避免原始类型和不当继承。

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











