泛型的门道伪泛型的真相Java基础系列 · 第3期| 第1期为什么学集合框架 | 第2期时间与空间的博弈一、大厂真实面试真题引入二、底层的时空解构与源码透视2.1 类型擦除编译器动的手脚2.2 Signature 属性表擦不掉的签名2.3 通配符与 PECS 原则三、「纯手工、零依赖」原创案例实战四、源码避坑指南与 Debug 日记五、大厂面试连环炮Mock Interview六、通俗类比小结与思考题从学 C 语言开始我对类型的理解就是四个字变量声明。int x 1x 就是 int 类型这事没什么好说的。直到学 Java 泛型时被室友一个问题噎住了——他说Java 的泛型是假泛型跟 C 模板完全不是一回事。我当时不信写代码一测愣了半天。ArrayListStringstrListnewArrayList();ArrayListIntegerintListnewArrayList();System.out.println(strList.getClass()intList.getClass());// true两个不同泛型参数的 ArrayListgetClass() 竟然是同一个对象。C 里vectorint和vectorstring是两种完全不同的类型编译后会生成两份独立的机器码。Java 凭什么说它们是同一个 Class这就是类型擦除——Java 泛型最反直觉的地方。一、大厂真实面试真题引入泛型是基础面试里最容易被连环追问到哑火的知识点。我在牛客上翻了一下午面经整理了三道最典型的字节跳动一面“Java 泛型是真泛型吗ListString和ListInteger编译后一样吗为什么”美团二面追问“既然运行时类型被擦除了那你怎么通过反射拿到一个泛型 List 的元素类型底层机制是什么”阿里二面“List? extends Number和List? super Number有什么区别什么时候用 extends什么时候用 super”第一题考概念第二题考机制第三题考工程判断。三道题串成一条线类型擦除 → Signature 签名 → PECS 原则。二、底层的时空解构与源码透视2.1 类型擦除编译器动的手脚先做一个区分很多人把类型擦除和泛型不存在混为一谈。Java 泛型有两面性编译期严格的类型检查。ArrayListString不能 add 一个 Integer编译器会直接报错。这是泛型存在的意义——把类型错误从运行时提前到编译期。运行时泛型参数被擦除。JVM 的字节码里ArrayListString和ArrayListInteger存储的都是ArrayList元素全当 Object 处理。所以一句话总结Java 泛型是真·编译期检查假·运行时类型。那编译器具体怎么擦除的两条规则规则一无界泛型 → Object// 源代码publicclassBoxT{privateTdata;publicTget(){returndata;}}// 编译擦除后等效代码非真实字节码publicclassBox{privateObjectdata;publicObjectget(){returndata;}}规则二上界泛型 → 上界类型// 源代码publicclassNumBoxTextendsNumber{privateTdata;publicTget(){returndata;}}// 编译擦除后publicclassNumBox{privateNumberdata;publicNumberget(){returndata;}}T extends Number告诉编译器T 至少是一个 Number。擦除后 JVM 里所有 T 被替换为 Number。这样就比 Object 多了一些能力比如可以直接调用data.intValue()因为擦除后 data 就是 Number 类型。桥接方法是一个容易忽视的细节。假设子类覆盖父类泛型方法classParentT{publicTget(Tt){returnt;}}classChildextendsParentString{OverridepublicStringget(Strings){returnchild: s;}}编译后Parent 的 get 方法签名为Object get(Object)而 Child 的为String get(String)。这两个方法签名在 JVM 层面是不同的——不存在重写关系。为了让多态正常工作编译器会给 Child 生成一个桥接方法// 编译器自动生成publicObjectget(Objects){returnthis.get((String)s);// 调用真正的 String get(String)}这就是桥接一个 Object→Object 的壳方法内部强转并调用真正的 String→String 实现。没有这个桥Parent p new Child(); p.get(obj)就会直接报方法找不到。2.2 Signature 属性表擦不掉的签名接开头的问题既然运行时被擦成了 Object为什么反射还能拿到泛型信息// 定义一个泛型方法publicclassDemo{publicTListTquery(Tparam){returnnewArrayList();}}// 通过反射获取泛型返回类型MethodmDemo.class.getMethod(query,Object.class);TypereturnTypem.getGenericReturnType();// ListTSystem.out.println(returnType);// java.util.ListT如果运行时泛型完全消失了getGenericReturnType()怎么可能吐出ListT答案藏在字节码的Signature 属性表里。Java 的.class文件不只是存方法名和指令它还附加了很多元信息表。泛型相关的就有 Signature 属性——它以一个字符串的形式记录了类、字段、方法的原始泛型声明。用javap -v Demo.class查看反编译结果query 方法下面会有这样一段Signature: #35 // T:Ljava/lang/Object;(TT;)Ljava/util/ListTT;;这串符号的含义T:Ljava/lang/Object;—— 声明类型参数 T上界是 Object(TT;)—— 参数列表一个 T 类型的参数Ljava/util/ListTT;;—— 返回类型ListT编译器擦除了方法体的类型但把这个签名字符串塞进了字节码的常量池。反射调getGenericReturnType()时JVM 读的就是这个字符串然后解析成ParameterizedType对象。时间线很清晰源代码泛型声明 ↓ 编译器 字节码方法体全部擦除为 Object Signature 表保留原始签名 ↓ 运行时反射 JVM 读取 Signature 字符串 → 重建 ParameterizedType → 返回给开发者面试时的高分回答可以一刀封喉类型擦除只擦方法体和字段引用但字节码的 Signature 属性表保留了完整的泛型签名字符串。反射通过解析这个字符串还原泛型参数。这是 JVM 规范 4.7.9 节规定的。如果你能补上规范编号面试官基本不会再追着问了。2.3 通配符与 PECS 原则泛型的类型安全是一把双刃剑它防止你往ListString里塞 Integer但也让你没法处理我想接受任意 Number 子类型的列表这种需求。通配符就是在严格类型安全和灵活复用之间找平衡。三种通配符的形式写法含义读能力写能力List?未知类型列表只能读 Object不能写null 除外List? extends T接受 T 及其子类可以读 T 类型不能写List? super T接受 T 及其父类只能读 Object可以写 T 类型这个读写不对称的规则就是 PECS 原则的前半部分。PECSProducer ExtendsConsumer Super如果要从集合里读取数据生产者用? extends T。你能安全读到 T 类型但无法写入——因为? extends Number可能是ListInteger也可能是ListDouble编译器无法确定你写入的值是否兼容所有可能。如果要往集合里写入数据消费者用? super T。你能安全写入 T 类型但读出来只能是 Object——因为? super Integer可能是ListNumber也可能是ListObject编译器只知道至少是个 Object。最经典的例子来自 JDK 源码——Collections.copy// JDK 源码简化版publicstaticTvoidcopy(List?superTdest,List?extendsTsrc){for(inti0;isrc.size();i){dest.set(i,src.get(i));}}src是生产者只读取元素用? extends Tdest是消费者只写入元素用? super T我当初硬背 PECS 一周没记住后来发现一个记忆法Extends Export导出/读取Super Store存储/写入。Effective Java 作者 Joshua Bloch 叫它 “Get and Put Principle”。比死记四个字母快多了。有个常被问到的边界场景List? extends Number读出来的不一定是 Number实际上ListInteger是List? extends Number的子类型而 Integer 继承自 Number所以Number n list.get(0)是安全的。真正的坑在写入方向 —— 你往List? extends Number里塞 Integer 可能报错万一实际类型是ListDouble就炸了所以编译器直接禁止写任何非 null。PECS 本质上就是 JVM 类型安全约束的自然推论不是什么设计哲学。三、「纯手工、零依赖」案例实战场景设定写一个 RPG 游戏的装备背包系统。两种装备武器Weapon和防具Armor。规则很简单武器背包只能装武器防具背包只能装防具混放就编译报错。这是泛型的典型用法用类型参数约束集合的元素类型。装备模型/** 装备基类 */abstractclassEquipment{protectedStringname;protectedintlevel;publicEquipment(Stringname,intlevel){this.namename;this.levellevel;}publicabstractStringgetType();OverridepublicStringtoString(){returnString.format([%s] %s (Lv.%d),getType(),name,level);}}/** 武器 */classWeaponextendsEquipment{privateintattack;publicWeapon(Stringname,intlevel,intattack){super(name,level);this.attackattack;}OverridepublicStringgetType(){return武器;}publicintgetAttack(){returnattack;}OverridepublicStringtoString(){returnsuper.toString() ATK:attack;}}/** 防具 */classArmorextendsEquipment{privateintdefense;publicArmor(Stringname,intlevel,intdefense){super(name,level);this.defensedefense;}OverridepublicStringgetType(){return防具;}publicintgetDefense(){returndefense;}OverridepublicStringtoString(){returnsuper.toString() DEF:defense;}}泛型背包importjava.util.*;/** 泛型装备背包T 限定为 Equipment 及其子类 */publicclassBackpackTextendsEquipment{privatefinalListTitemsnewArrayList();privatefinalintcapacity;publicBackpack(intcapacity){this.capacitycapacity;}/** 添加装备。编译期保证只能放入 T 类型 */publicbooleanadd(Titem){if(items.size()capacity){System.out.println(背包已满 (capacity 格) !);returnfalse;}items.add(item);returntrue;}/** 获取背包内所有装备 */publicListTgetAll(){returnCollections.unmodifiableList(items);}/** 统计总属性这里需要用 instanceof 区分武器/防具 */publicintgetTotalAttack(){inttotal0;for(Titem:items){if(iteminstanceofWeapon){total((Weapon)item).getAttack();}}returntotal;}publicintgetTotalDefense(){inttotal0;for(Titem:items){if(iteminstanceofArmor){total((Armor)item).getDefense();}}returntotal;}/** 将当前背包内容转移到另一个背包使用 PECS 原则 */publicvoidtransferTo(Backpack?superTother){for(Titem:items){other.add(item);}items.clear();}OverridepublicStringtoString(){returnitems.toString();}}测试用例publicclassRPGBackpackTest{publicstaticvoidmain(String[]args){// 武器背包只能装 WeaponBackpackWeaponweaponBagnewBackpack(3);weaponBag.add(newWeapon(铁剑,1,12));weaponBag.add(newWeapon(法杖,3,18));// weaponBag.add(new Armor(皮甲, 1, 5)); ← 编译错误类型不匹配// 防具背包只能装 ArmorBackpackArmorarmorBagnewBackpack(3);armorBag.add(newArmor(皮甲,1,5));armorBag.add(newArmor(铁盾,2,10));// 泛型背包可装任意装备BackpackEquipmentmiscBagnewBackpack(5);miscBag.add(newWeapon(弓箭,1,8));miscBag.add(newArmor(布衣,1,2));// 转移武器到杂项背包 —— 这里用到 PECS// BackpackWeapon → 消费者的目标是 Backpack? super WeaponweaponBag.transferTo(miscBag);// Equipment 是 Weapon 的父类合法System.out.println( 背包状态 );System.out.println(武器背包weaponBag);// 空已转移System.out.println(防具背包armorBag);System.out.println(杂项背包miscBag);System.out.println(总攻击力miscBag.getTotalAttack());System.out.println(总防御力miscBag.getTotalDefense());// 泛型约束验证不能反向转移// miscBag.transferTo(weaponBag);// ↑ 编译错误BackpackEquipment 不能传给 Backpack? super Weapon}}运行结果武器背包[] 防具背包[[防具] 皮甲 (Lv.1) DEF:5, [防具] 铁盾 (Lv.2) DEF:10] 杂项背包[[武器] 弓箭 (Lv.1) ATK:8, [防具] 布衣 (Lv.1) DEF:2, [武器] 铁剑 (Lv.1) ATK:12, [武器] 法杖 (Lv.3) ATK:18] 总攻击力38 总防御力2上面这个案例覆盖了泛型的三个核心点类型约束BackpackWeapon编译期阻止防具混入、通配符? super T让武器背包转移到BackpackEquipment、上界限定T extends Equipment保证元素一定有 name/level/getType()。都是真实开发里会碰到的场景。四、源码避坑指南与 Debug 日记写这个案例的过程中我自己踩了三个泛型相关的坑。坑一泛型数组的编译错误做背包系统时我第一反应是用了数组而非 ListpublicclassBackpackT{privateT[]items;publicBackpack(intcap){itemsnewT[cap];// 编译错误Type parameter T cannot be instantiated directly}}Java 禁止直接创建泛型数组。原因很直白数组在运行时保留元素类型信息String[]和Integer[]是不同的 Class而泛型在运行时被擦除了——JVM 不知道 T 是啥没法创建正确的数组。如果你非要数组能力有两种迂回方式// 方案A创建 Object 数组再强转会触发unchecked警告但运行时安全items(T[])newObject[cap];// 方案B用 ArrayList 代替数组推荐privatefinalListTitemsnewArrayList();方案B就是我在最终代码里用的——ArrayList 底层也是数组但封装了强转细节。坑二泛型与 instanceof 的局限instanceof是运行时检查泛型是编译期约束。下面这行会直接编译报错if(objinstanceofListString)// 编译错误擦除后运行时只有ListJVM 无法区分ListString和ListInteger。解决方案是用通配符if(objinstanceofList?)// 合法坑三static 方法中的泛型参数类上的泛型参数T属于实例不属于类。static 方法里不能直接用类级别的 TpublicclassBackpackT{publicstaticTgetDefaultItem(){...}// 编译错误}static 方法如果需要泛型必须在方法签名上单独声明publicstaticEEgetDefaultItem(Efallback){returnfallback;}这个方法的E和类的T是两个独立的类型参数只是写在同一个文件里而已。五、大厂面试连环炮Mock Interview面试官“Java 泛型和 C 模板有什么本质区别”我“C 模板是编译期代码膨胀——vectorint和vectorstring会生成两份独立的二进制代码每份针对具体类型做优化。Java 泛型是编译期检查 运行时擦除——ArrayListString和ArrayListInteger在运行时共用一个 Class 对象元素全部被擦除为 Object。代价是 Java 泛型不能使用基本类型、性能略低多了装箱拆箱收益是二进制兼容性更好、没有代码膨胀。”面试官“既然运行时擦除了反射怎么拿到泛型类型”我“字节码的 Signature 属性表保留了原始泛型签名字符串。编译时方法体被擦除为 Object但泛型声明以字符串形式写入了常量池——JVM 规范 4.7.9 节有明确规定。反射 API 的getGenericReturnType()就是读这个字符串再解析成 ParameterizedType 对象所以运行时虽然 JVM 不关心泛型但反射工具链可以还原出来。”面试官“List? extends Number和List? super Number各有什么读写限制”我“extends 是生产者——可以读 Number 类型不能写入任何非 null 值因为集合的实际类型可能是 Number 的任意子类型。super 是消费者——可以写入 Number 及其子类型但读出来只能是 Object因为编译器只知道元素至少是 Object。Joshua Bloch 总结为 Get and Put Principle——从 producer 读往 consumer 写。JDK 源码里Collections.copy就是经典应用dest参数用? super Tsrc参数用? extends T。”面试官“那你觉得实际业务中extends 和 super 哪个用得更多”我“extends 更常见。大多数场景都是从集合里取数据展示或处理真正需要往父类型容器写子类型数据的场景比较少。我写的 RPG 背包系统里transferTo(Backpack? super T other)就是少见的 super 场景——把武器背包的内容转移到更宽泛的BackpackEquipment里。”六、通俗类比小结与思考题我理解泛型的直觉模型是机场安检。过安检时工作人员检查你身上有没有违禁品这是编译期检查。过了安检门进候机大厅没人再管你的身份和航班号你在系统里只是一个已安检旅客——类型擦除后全是 Object。Weapon和Armor是不同种类的行李泛型约束确保武器包BackpackWeapon里没有防具混进来——安检口的分类检查。武器包进了通用货仓BackpackEquipment之后就和其他包裹混在一起了擦除但系统里还留有一条记录写着此包裹原属武器类——这就是 Signature 属性表的作用。PECS 原则说白了就是你想从包裹里取东西得知道里面至少是什么extends你想往里放东西得确认容量能兼容super。亲们我是小z咱们评论区见感谢阅读再来个收藏加点赞
【Java基础】泛型的门道：伪泛型的真相
泛型的门道伪泛型的真相Java基础系列 · 第3期| 第1期为什么学集合框架 | 第2期时间与空间的博弈一、大厂真实面试真题引入二、底层的时空解构与源码透视2.1 类型擦除编译器动的手脚2.2 Signature 属性表擦不掉的签名2.3 通配符与 PECS 原则三、「纯手工、零依赖」原创案例实战四、源码避坑指南与 Debug 日记五、大厂面试连环炮Mock Interview六、通俗类比小结与思考题从学 C 语言开始我对类型的理解就是四个字变量声明。int x 1x 就是 int 类型这事没什么好说的。直到学 Java 泛型时被室友一个问题噎住了——他说Java 的泛型是假泛型跟 C 模板完全不是一回事。我当时不信写代码一测愣了半天。ArrayListStringstrListnewArrayList();ArrayListIntegerintListnewArrayList();System.out.println(strList.getClass()intList.getClass());// true两个不同泛型参数的 ArrayListgetClass() 竟然是同一个对象。C 里vectorint和vectorstring是两种完全不同的类型编译后会生成两份独立的机器码。Java 凭什么说它们是同一个 Class这就是类型擦除——Java 泛型最反直觉的地方。一、大厂真实面试真题引入泛型是基础面试里最容易被连环追问到哑火的知识点。我在牛客上翻了一下午面经整理了三道最典型的字节跳动一面“Java 泛型是真泛型吗ListString和ListInteger编译后一样吗为什么”美团二面追问“既然运行时类型被擦除了那你怎么通过反射拿到一个泛型 List 的元素类型底层机制是什么”阿里二面“List? extends Number和List? super Number有什么区别什么时候用 extends什么时候用 super”第一题考概念第二题考机制第三题考工程判断。三道题串成一条线类型擦除 → Signature 签名 → PECS 原则。二、底层的时空解构与源码透视2.1 类型擦除编译器动的手脚先做一个区分很多人把类型擦除和泛型不存在混为一谈。Java 泛型有两面性编译期严格的类型检查。ArrayListString不能 add 一个 Integer编译器会直接报错。这是泛型存在的意义——把类型错误从运行时提前到编译期。运行时泛型参数被擦除。JVM 的字节码里ArrayListString和ArrayListInteger存储的都是ArrayList元素全当 Object 处理。所以一句话总结Java 泛型是真·编译期检查假·运行时类型。那编译器具体怎么擦除的两条规则规则一无界泛型 → Object// 源代码publicclassBoxT{privateTdata;publicTget(){returndata;}}// 编译擦除后等效代码非真实字节码publicclassBox{privateObjectdata;publicObjectget(){returndata;}}规则二上界泛型 → 上界类型// 源代码publicclassNumBoxTextendsNumber{privateTdata;publicTget(){returndata;}}// 编译擦除后publicclassNumBox{privateNumberdata;publicNumberget(){returndata;}}T extends Number告诉编译器T 至少是一个 Number。擦除后 JVM 里所有 T 被替换为 Number。这样就比 Object 多了一些能力比如可以直接调用data.intValue()因为擦除后 data 就是 Number 类型。桥接方法是一个容易忽视的细节。假设子类覆盖父类泛型方法classParentT{publicTget(Tt){returnt;}}classChildextendsParentString{OverridepublicStringget(Strings){returnchild: s;}}编译后Parent 的 get 方法签名为Object get(Object)而 Child 的为String get(String)。这两个方法签名在 JVM 层面是不同的——不存在重写关系。为了让多态正常工作编译器会给 Child 生成一个桥接方法// 编译器自动生成publicObjectget(Objects){returnthis.get((String)s);// 调用真正的 String get(String)}这就是桥接一个 Object→Object 的壳方法内部强转并调用真正的 String→String 实现。没有这个桥Parent p new Child(); p.get(obj)就会直接报方法找不到。2.2 Signature 属性表擦不掉的签名接开头的问题既然运行时被擦成了 Object为什么反射还能拿到泛型信息// 定义一个泛型方法publicclassDemo{publicTListTquery(Tparam){returnnewArrayList();}}// 通过反射获取泛型返回类型MethodmDemo.class.getMethod(query,Object.class);TypereturnTypem.getGenericReturnType();// ListTSystem.out.println(returnType);// java.util.ListT如果运行时泛型完全消失了getGenericReturnType()怎么可能吐出ListT答案藏在字节码的Signature 属性表里。Java 的.class文件不只是存方法名和指令它还附加了很多元信息表。泛型相关的就有 Signature 属性——它以一个字符串的形式记录了类、字段、方法的原始泛型声明。用javap -v Demo.class查看反编译结果query 方法下面会有这样一段Signature: #35 // T:Ljava/lang/Object;(TT;)Ljava/util/ListTT;;这串符号的含义T:Ljava/lang/Object;—— 声明类型参数 T上界是 Object(TT;)—— 参数列表一个 T 类型的参数Ljava/util/ListTT;;—— 返回类型ListT编译器擦除了方法体的类型但把这个签名字符串塞进了字节码的常量池。反射调getGenericReturnType()时JVM 读的就是这个字符串然后解析成ParameterizedType对象。时间线很清晰源代码泛型声明 ↓ 编译器 字节码方法体全部擦除为 Object Signature 表保留原始签名 ↓ 运行时反射 JVM 读取 Signature 字符串 → 重建 ParameterizedType → 返回给开发者面试时的高分回答可以一刀封喉类型擦除只擦方法体和字段引用但字节码的 Signature 属性表保留了完整的泛型签名字符串。反射通过解析这个字符串还原泛型参数。这是 JVM 规范 4.7.9 节规定的。如果你能补上规范编号面试官基本不会再追着问了。2.3 通配符与 PECS 原则泛型的类型安全是一把双刃剑它防止你往ListString里塞 Integer但也让你没法处理我想接受任意 Number 子类型的列表这种需求。通配符就是在严格类型安全和灵活复用之间找平衡。三种通配符的形式写法含义读能力写能力List?未知类型列表只能读 Object不能写null 除外List? extends T接受 T 及其子类可以读 T 类型不能写List? super T接受 T 及其父类只能读 Object可以写 T 类型这个读写不对称的规则就是 PECS 原则的前半部分。PECSProducer ExtendsConsumer Super如果要从集合里读取数据生产者用? extends T。你能安全读到 T 类型但无法写入——因为? extends Number可能是ListInteger也可能是ListDouble编译器无法确定你写入的值是否兼容所有可能。如果要往集合里写入数据消费者用? super T。你能安全写入 T 类型但读出来只能是 Object——因为? super Integer可能是ListNumber也可能是ListObject编译器只知道至少是个 Object。最经典的例子来自 JDK 源码——Collections.copy// JDK 源码简化版publicstaticTvoidcopy(List?superTdest,List?extendsTsrc){for(inti0;isrc.size();i){dest.set(i,src.get(i));}}src是生产者只读取元素用? extends Tdest是消费者只写入元素用? super T我当初硬背 PECS 一周没记住后来发现一个记忆法Extends Export导出/读取Super Store存储/写入。Effective Java 作者 Joshua Bloch 叫它 “Get and Put Principle”。比死记四个字母快多了。有个常被问到的边界场景List? extends Number读出来的不一定是 Number实际上ListInteger是List? extends Number的子类型而 Integer 继承自 Number所以Number n list.get(0)是安全的。真正的坑在写入方向 —— 你往List? extends Number里塞 Integer 可能报错万一实际类型是ListDouble就炸了所以编译器直接禁止写任何非 null。PECS 本质上就是 JVM 类型安全约束的自然推论不是什么设计哲学。三、「纯手工、零依赖」案例实战场景设定写一个 RPG 游戏的装备背包系统。两种装备武器Weapon和防具Armor。规则很简单武器背包只能装武器防具背包只能装防具混放就编译报错。这是泛型的典型用法用类型参数约束集合的元素类型。装备模型/** 装备基类 */abstractclassEquipment{protectedStringname;protectedintlevel;publicEquipment(Stringname,intlevel){this.namename;this.levellevel;}publicabstractStringgetType();OverridepublicStringtoString(){returnString.format([%s] %s (Lv.%d),getType(),name,level);}}/** 武器 */classWeaponextendsEquipment{privateintattack;publicWeapon(Stringname,intlevel,intattack){super(name,level);this.attackattack;}OverridepublicStringgetType(){return武器;}publicintgetAttack(){returnattack;}OverridepublicStringtoString(){returnsuper.toString() ATK:attack;}}/** 防具 */classArmorextendsEquipment{privateintdefense;publicArmor(Stringname,intlevel,intdefense){super(name,level);this.defensedefense;}OverridepublicStringgetType(){return防具;}publicintgetDefense(){returndefense;}OverridepublicStringtoString(){returnsuper.toString() DEF:defense;}}泛型背包importjava.util.*;/** 泛型装备背包T 限定为 Equipment 及其子类 */publicclassBackpackTextendsEquipment{privatefinalListTitemsnewArrayList();privatefinalintcapacity;publicBackpack(intcapacity){this.capacitycapacity;}/** 添加装备。编译期保证只能放入 T 类型 */publicbooleanadd(Titem){if(items.size()capacity){System.out.println(背包已满 (capacity 格) !);returnfalse;}items.add(item);returntrue;}/** 获取背包内所有装备 */publicListTgetAll(){returnCollections.unmodifiableList(items);}/** 统计总属性这里需要用 instanceof 区分武器/防具 */publicintgetTotalAttack(){inttotal0;for(Titem:items){if(iteminstanceofWeapon){total((Weapon)item).getAttack();}}returntotal;}publicintgetTotalDefense(){inttotal0;for(Titem:items){if(iteminstanceofArmor){total((Armor)item).getDefense();}}returntotal;}/** 将当前背包内容转移到另一个背包使用 PECS 原则 */publicvoidtransferTo(Backpack?superTother){for(Titem:items){other.add(item);}items.clear();}OverridepublicStringtoString(){returnitems.toString();}}测试用例publicclassRPGBackpackTest{publicstaticvoidmain(String[]args){// 武器背包只能装 WeaponBackpackWeaponweaponBagnewBackpack(3);weaponBag.add(newWeapon(铁剑,1,12));weaponBag.add(newWeapon(法杖,3,18));// weaponBag.add(new Armor(皮甲, 1, 5)); ← 编译错误类型不匹配// 防具背包只能装 ArmorBackpackArmorarmorBagnewBackpack(3);armorBag.add(newArmor(皮甲,1,5));armorBag.add(newArmor(铁盾,2,10));// 泛型背包可装任意装备BackpackEquipmentmiscBagnewBackpack(5);miscBag.add(newWeapon(弓箭,1,8));miscBag.add(newArmor(布衣,1,2));// 转移武器到杂项背包 —— 这里用到 PECS// BackpackWeapon → 消费者的目标是 Backpack? super WeaponweaponBag.transferTo(miscBag);// Equipment 是 Weapon 的父类合法System.out.println( 背包状态 );System.out.println(武器背包weaponBag);// 空已转移System.out.println(防具背包armorBag);System.out.println(杂项背包miscBag);System.out.println(总攻击力miscBag.getTotalAttack());System.out.println(总防御力miscBag.getTotalDefense());// 泛型约束验证不能反向转移// miscBag.transferTo(weaponBag);// ↑ 编译错误BackpackEquipment 不能传给 Backpack? super Weapon}}运行结果武器背包[] 防具背包[[防具] 皮甲 (Lv.1) DEF:5, [防具] 铁盾 (Lv.2) DEF:10] 杂项背包[[武器] 弓箭 (Lv.1) ATK:8, [防具] 布衣 (Lv.1) DEF:2, [武器] 铁剑 (Lv.1) ATK:12, [武器] 法杖 (Lv.3) ATK:18] 总攻击力38 总防御力2上面这个案例覆盖了泛型的三个核心点类型约束BackpackWeapon编译期阻止防具混入、通配符? super T让武器背包转移到BackpackEquipment、上界限定T extends Equipment保证元素一定有 name/level/getType()。都是真实开发里会碰到的场景。四、源码避坑指南与 Debug 日记写这个案例的过程中我自己踩了三个泛型相关的坑。坑一泛型数组的编译错误做背包系统时我第一反应是用了数组而非 ListpublicclassBackpackT{privateT[]items;publicBackpack(intcap){itemsnewT[cap];// 编译错误Type parameter T cannot be instantiated directly}}Java 禁止直接创建泛型数组。原因很直白数组在运行时保留元素类型信息String[]和Integer[]是不同的 Class而泛型在运行时被擦除了——JVM 不知道 T 是啥没法创建正确的数组。如果你非要数组能力有两种迂回方式// 方案A创建 Object 数组再强转会触发unchecked警告但运行时安全items(T[])newObject[cap];// 方案B用 ArrayList 代替数组推荐privatefinalListTitemsnewArrayList();方案B就是我在最终代码里用的——ArrayList 底层也是数组但封装了强转细节。坑二泛型与 instanceof 的局限instanceof是运行时检查泛型是编译期约束。下面这行会直接编译报错if(objinstanceofListString)// 编译错误擦除后运行时只有ListJVM 无法区分ListString和ListInteger。解决方案是用通配符if(objinstanceofList?)// 合法坑三static 方法中的泛型参数类上的泛型参数T属于实例不属于类。static 方法里不能直接用类级别的 TpublicclassBackpackT{publicstaticTgetDefaultItem(){...}// 编译错误}static 方法如果需要泛型必须在方法签名上单独声明publicstaticEEgetDefaultItem(Efallback){returnfallback;}这个方法的E和类的T是两个独立的类型参数只是写在同一个文件里而已。五、大厂面试连环炮Mock Interview面试官“Java 泛型和 C 模板有什么本质区别”我“C 模板是编译期代码膨胀——vectorint和vectorstring会生成两份独立的二进制代码每份针对具体类型做优化。Java 泛型是编译期检查 运行时擦除——ArrayListString和ArrayListInteger在运行时共用一个 Class 对象元素全部被擦除为 Object。代价是 Java 泛型不能使用基本类型、性能略低多了装箱拆箱收益是二进制兼容性更好、没有代码膨胀。”面试官“既然运行时擦除了反射怎么拿到泛型类型”我“字节码的 Signature 属性表保留了原始泛型签名字符串。编译时方法体被擦除为 Object但泛型声明以字符串形式写入了常量池——JVM 规范 4.7.9 节有明确规定。反射 API 的getGenericReturnType()就是读这个字符串再解析成 ParameterizedType 对象所以运行时虽然 JVM 不关心泛型但反射工具链可以还原出来。”面试官“List? extends Number和List? super Number各有什么读写限制”我“extends 是生产者——可以读 Number 类型不能写入任何非 null 值因为集合的实际类型可能是 Number 的任意子类型。super 是消费者——可以写入 Number 及其子类型但读出来只能是 Object因为编译器只知道元素至少是 Object。Joshua Bloch 总结为 Get and Put Principle——从 producer 读往 consumer 写。JDK 源码里Collections.copy就是经典应用dest参数用? super Tsrc参数用? extends T。”面试官“那你觉得实际业务中extends 和 super 哪个用得更多”我“extends 更常见。大多数场景都是从集合里取数据展示或处理真正需要往父类型容器写子类型数据的场景比较少。我写的 RPG 背包系统里transferTo(Backpack? super T other)就是少见的 super 场景——把武器背包的内容转移到更宽泛的BackpackEquipment里。”六、通俗类比小结与思考题我理解泛型的直觉模型是机场安检。过安检时工作人员检查你身上有没有违禁品这是编译期检查。过了安检门进候机大厅没人再管你的身份和航班号你在系统里只是一个已安检旅客——类型擦除后全是 Object。Weapon和Armor是不同种类的行李泛型约束确保武器包BackpackWeapon里没有防具混进来——安检口的分类检查。武器包进了通用货仓BackpackEquipment之后就和其他包裹混在一起了擦除但系统里还留有一条记录写着此包裹原属武器类——这就是 Signature 属性表的作用。PECS 原则说白了就是你想从包裹里取东西得知道里面至少是什么extends你想往里放东西得确认容量能兼容super。亲们我是小z咱们评论区见感谢阅读再来个收藏加点赞
