【Java结构化梳理】泛型-初步了解-上

hello这篇文章是我近期再学习Java 基础根据自己的理解总结所得意在系统化、全局化、结构化学过的知识。这篇文章将系统化介绍泛型下图是本篇文章的框架图通篇会围绕此图展开。一、泛型的概念1. 定义与词源英文Generics中文「泛」字溯源本义水满漫出、向外扩散、漂浮延展。词义演化水流漫延扩散 → 范围广阔普遍 → 分散不聚焦浅表笼统→ 包容多类、不限单一。在「泛型」中的含义通用、广谱、不局限于某一种固定类型可适配多种类型。泛型的完整定义泛型是 JDK 5 引入的参数化类型机制允许在类、接口、方法中定义类型占位符使用时再指定具体类型实现一套模板适配多种数据类型。2. 5W2H 解析What —— 泛型是什么泛型是 JDK5 引入的参数化类型设计允许在类、接口、方法上定义类型占位符使用时再传入具体约束类型核心是类型参数化编译期做类型约束。Why —— 为什么需要泛型解决早期原始类型List无类型限制、随意存对象的问题编译期强类型检查提前规避强制类型转换异常消除重复代码一套容器 / 工具方法适配多种数据类型提升代码可读性直观标识集合、方法的存储与操作类型。When —— 何时使用泛型定义通用容器List、Set、Map 等集合类编写通用工具方法、通用父类 / 公共接口需要统一处理多类型、且要求类型安全的业务场景方法返回值 / 入参需要动态绑定不确定类型时。Where —— 泛型作用范围作用位置类、接口、成员方法、静态方法生效阶段仅编译期生效负责语法校验与类型推断失效阶段运行时因泛型擦除尖括号内类型信息丢失边界范围支持固定类型、上界限定、下界限定、无界通配符。Who —— 泛型由谁定义与使用设计者Java 官方 JDK5 版本新增语法规范执行者javac 编译器负责泛型校验、类型推断、自动擦除使用者业务开发人员在集合、通用工具类中日常编写使用。How —— 泛型如何实现 分类使用实现方式通过类型占位符语法声明编译期校验编译后执行泛型擦除。How Much —— 泛型带来的影响与代价正向收益杜绝类型强转、代码更简洁、类型安全、复用性强配合 PECS 原则精准控制读写权限提升代码健壮性。隐性代价运行时存在泛型擦除丢失容器泛型标记编译器需额外生成桥方法作为擦除后的多态适配衍生语法限制无法直接 new T、泛型数组、泛型 instanceof 判断下篇文章扩展3.6 种常见表示形式按约束从强到弱结合读写特性可分为两类表示形式读写特性说明ListString可读可写最具体、约束最强明确限定为String类型ListT可读可写定义泛型类 / 方法时使用代表 “确定的某个类型”List? super Fruit可读Object、可写Fruit 及子类下界通配符用于 “存数据” 的场景List? extends Fruit可读Fruit、不可写上界通配符用于 “取数据” 的场景List?可读Object、不可写无界通配符可接收任意泛型只读不写List原始类型可读可写无安全检查兼容老版本无泛型约束不推荐使用二、泛型擦除Java 1.5 才引入泛型为了让新的泛型代码能在旧 JVM 上运行同时兼容 1.5 之前的非泛型类库如List原始类型设计者选择了 “编译期检查 运行期擦除” 的折中方案。擦除后泛型代码编译出的字节码与旧版非泛型代码完全一致无需修改 JVM 即可兼容。What是什么定义泛型擦除Type Erasure是 Java 编译器在编译阶段执行的一种机制将代码中所有泛型类型信息内的类型参数删除仅保留原始类型Raw Type使运行时看不到任何泛型痕迹。本质为实现向后兼容而设计的 “编译期伪装”。Why为什么核心原因版本兼容When什么时候发生发生阶段编译期javac 处理.java文件生成.class字节码的过程中。不发生阶段运行期JVM 加载字节码后泛型信息已不存在。Where发生在哪里擦除的对象变量声明、方法参数、返回值上的泛型标记如ListString中的String、? extends Fruit中的边界。不擦除的对象堆中实例化的真实对象如new Apple()的类型信息永远保留。字节码中以Signature属性存储的泛型签名仅用于反射读取不参与运行时逻辑。Who由谁执行执行者Java 编译器javac开发者无需手动操作擦除是编译器自动完成的过程。开发者通过反射 API如getGenericType()可以读取字节码中残留的签名信息但无法阻止擦除。How如何执行编译器遵循两条核心规则进行擦除无界泛型T→ 擦除为Object示例public T get()→ 擦除后为public Object get()有界泛型T extends Number→ 擦除为上界类型如Number示例public void add(T t)→ 擦除后为public void add(Number t)How Much / How影响与结果直接结果所有ListString、List? extends Fruit等类型运行时均变为ArrayList原始类型。运行时 JVM 无法区分不同泛型参数的容器类型。带来的限制由擦除直接导致-下篇博客我们展开说无法直接 new T() / new T[]运行时不知道 T 的具体类型。无法使用 instanceof 判断泛型类型运行时无泛型信息。通配符 ? extends T 容器只能读、不能写编译器无法确定安全的写入类型三、桥方法What是什么桥方法是 Java 编译器在编译阶段自动生成的隐形适配方法。作用弥补泛型擦除带来的字节码方法签名差异保证继承与多态机制正常运行对开发者代码层完全隐藏。Why为什么出现——泛型擦除导致源码层规则Java 源码方法签名 方法名 参数列表不包含返回值协变返回视为合法重写。字节码 / JVM 规则JVM 方法描述符 方法名 参数列表 返回值返回值参与唯一区分。泛型擦除后果核心示例// 1. 泛型父类 abstract class ParentT { public abstract T getValue(); // 泛型方法 } // 2. 子类指定具体类型重写方法 class Child extends ParentString { Override public String getValue() { // 具体返回值String return hello; } }泛型擦除后父类方法擦除 →public abstract Object getValue();返回值抹平为 Object子类方法保留 →public String getValue();返回值仍为 String此时Object getValue()与String getValue()在字节码中是两个完全不同的方法无法构成重写多态直接断裂。因此需要桥方法补齐父类擦除后的方法签名完成适配转发。When何时生成编译期由 javac 自动生成触发条件子类继承泛型父类 / 泛型接口且重写了带有协变返回的泛型方法如上述示例中 Child 重写 Parent 的 getValue 方法。Where在哪里存在仅存在于子类.class字节码文件中源码、IDE 大纲、常规调用均不可见仅反射可检测。Who由谁生成、执行生成Java 编译器javac 自动处理调用JVM 在多态向上转型时自动调用编写开发者无需手动定义、无感知How如何工作父类泛型方法经擦除变为 Object 等上层类型返回值如Object getValue()编译器在子类自动生成同参数、父类统一返回值的桥方法隐形生成源码不可见// 编译器自动生成的桥方法源码中看不到 public Object getValue() { // 内部调用开发者手写的真实实现方法并完成类型强转 return this.getValue(); }桥方法内部强转并调用开发者手写的真实实现方法向上转型多态调用时JVM 匹配并执行桥方法间接执行子类逻辑// 多态调用示例 Parent p new Child(); p.getValue(); // JVM 先调用桥方法再转发到 String getValue()How Much带来的影响正面影响修复泛型擦除造成的多态断裂问题兼容源码层协变返回的重写语法保证泛型继承体系在 JVM 层面合法运行。负面影响 开发者感知字节码冗余类内部实际方法数量增加常规开发无感知IDE 自动隐藏桥方法日常编码完全感受不到反射场景会出现同名多方法可通过反射代码检测四、总结泛型——》安全优化——》约束类型——》老版本不兼容——》泛型擦除——》多态断裂——》打补丁——》桥方法像不像我们写代码优化的过程兼容打补丁。。。。多么熟悉的感觉这篇文章我们主要系统化的去认识泛型泛型擦除桥方法以及他们之间的关系。因为篇幅有限泛型的应用泛型的其他影响泛型与其他概念的关联我们放到下一篇博客中阐述。bye