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>—— 缺少类型参数，应为Box<t></t> - 正确写法：
public class Box<t> implements Comparable<box>></box></t> - 泛型方法必须显式声明类型参数：
public <t> T getFirst(List<t> list)</t></t>，不能省略<t></t> - 静态方法不能访问外部类的类型参数，所以必须自己声明：
public static <t> void print(T item)</t>
通配符 ?、? extends T 和 ? super T 的实际用途
通配符解决泛型不可协变的问题（List<string></string> 不是 List<object></object> 的子类型）。选择取决于你是「读」还是「写」数据。
Java注释规范Skills
下载
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式，或要求按照代码注释规范处理 Java 文件时，使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则，并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括：补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
-
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></string> 和 List<integer></integer> 的区别，只有原始类型 List。这导致一些直觉上可行的操作无法实现。
立即学习“Java免费学习笔记（深入）”；
- 不能用
new T()：改用Supplier<t></t>或传入Class<t></t>对象 - 不能
if (obj instanceof T)：擦除后T不存在，只能判断原始类型（如obj instanceof List） - 不能定义
static T field：静态变量属于类而非实例，而类型参数属于实例化时的类型，二者不匹配 - 数组不能是具体泛型类型：
new ArrayList<string>[10]</string>编译失败；可用new ArrayList[10]（原始类型数组），但会警告 unchecked
最常被忽略的一点：泛型异常类不能捕获具体类型参数，catch (MyException<string> e)</string> 是非法语法——异常类型本身不能带泛型参数，因为 JVM 异常处理依赖运行时类型，而泛型已被擦除。
