Java泛型是编译期类型检查机制，非语法糖；擦除后运行时无泛型信息，故禁用new T()、instanceof T、T.class及泛型异常捕获。
Java泛型不是语法糖，而是编译期强制类型检查的机制；擦除后运行时无泛型信息，所以不能用 new T()、不能判断 instanceof T、也不能直接获取 T.class。
泛型类与泛型方法怎么声明才不报错
泛型类必须在类名后紧跟类型参数列表，方法则需在返回类型前声明；类型参数命名习惯用单个大写字母（E 表示 Element，K/V 表示 Key/Value），避免和已有类名冲突。
- 错误写法：
public class Box implements Comparable—— 缺少类型参数，应为Box - 正确写法：
public class Boximplements Comparable > - 泛型方法必须显式声明类型参数：
public，不能省略T getFirst(List list) - 静态方法不能访问外部类的类型参数，所以必须自己声明：
public staticvoid print(T item)
通配符 ?、? extends T 和 ? super T 的实际用途
通配符解决泛型不可协变的问题（List 不是 List 的子类型）。选择取决于你是「读」还是「写」数据。
-
List>：只允许调用返回Object的方法（如get()），不能add()任何对象（除了null） -
List extends Number>：可安全读取为Number，但不能add()（除了null），因为具体类型未知（可能是Integer或Double） -
List super Integer>：可安全写入Integer及其子类，但读取只能当Object用
public static double sumNumbers(List numbers) {
double sum = 0.0;
for (Number n : numbers) sum += n.doubleValue();
return sum;
}
public static void addToSuper(List dest, T item) {
dest.add(item); // 安全：T 一定兼容 ? super T
}
类型擦除带来的限制与绕过方式
泛型信息在编译后全部消失，JVM 看不到 List 和 List 的区别，只有原始类型 List。这导致一些直觉上可行的操作无法实现。
立即学习“Java免费学习笔记（深入）”；
- 不能用
new T()：改用Supplier或传入Class对象 - 不能
if (obj instanceof T)：擦除后T不存在，只能判断原始类型（如obj instanceof List） - 不能定义
static T field：静态变量属于类而非实例，而类型参数属于实例化时的类型，二者不匹配 - 数组不能是具体泛型类型：
new ArrayList编译失败；可用[10] new ArrayList[10]（原始类型数组），但会警告 unchecked
最常被忽略的一点：泛型异常类不能捕获具体类型参数，catch (MyException 是非法语法——异常类型本身不能带泛型参数，因为 JVM 异常处理依赖运行时类型，而泛型已被擦除。
