泛型是java中在编译期实现类型安全的参数化类型机制，通过类型占位符（如t）和编译时校验，提前拦截类型错误，避免运行时classcastexception，并提升代码可读性与复用性。

泛型是Java中把“类型”当作参数来用的一种机制，不是运行时才确定类型，而是在写代码时就声明、在编译时就校验。它的核心作用，就是把本该在运行时才能发现的类型错误，提前到编译阶段拦截住。

泛型本质是参数化类型

你可以把它理解成“模板”：定义类、方法或接口时不写死具体类型（比如String或Integer），而是用一个占位符（如）代替；真正使用时再填入实际类型。例如：

• List 表示这个列表只接受字符串，编译器会阻止你往里加数字或对象；
• Box 表示这个盒子只能装整数，调用getItem()直接返回Integer，不用强转；
• 如果误写 list.add(123) 到 List 中，编译器立刻报错，不生成字节码。

它怎么实现编译期类型安全

泛型的安全性不是靠虚拟机或运行时检查，而是编译器在编译过程中做静态分析：

Java Maven Code Review

审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。

下载

• 对所有泛型结构（如ArrayList）进行类型推导，验证插入、读取、赋值是否符合声明的类型约束；
• 擦除（Type Erasure）后保留的桥接方法和类型检查逻辑，仍足以捕获不合法操作；
• 一旦类型不匹配，比如把Double塞进List，根本通不过编译，不会等到运行时报ClassCastException。

对比没有泛型的老写法

JDK 1.5之前，集合全用Object，导致两个典型问题：

• 存的时候没限制——list.add("hello") 和 list.add(new Date()) 都能通过；
• 取的时候要强转——String s = (String) list.get(0)，一旦里面其实是Date，运行就崩；
• 泛型把这两步都解决了：存的时候卡住非法类型，取的时候自动推导类型，无需括号强转。

泛型提升的不只是安全性，还有可读性与复用性

看到 Map>，你就清楚这是“订单列表按用户ID索引”的结构；写一个泛型方法 public T getFirst(List list)，就能同时用于String、User、BigDecimal等任意类型，逻辑只写一遍。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南