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