HoRain云小助手个人主页 个人专栏: 《Linux 系列教程》《c语言教程》⛺️生活的理想就是为了理想的生活!⛳️ 推荐前些天发现了一个超棒的服务器购买网站性价比超高大内存超划算忍不住分享一下给大家。点击跳转到网站。专栏介绍专栏名称专栏介绍《C语言》本专栏主要撰写C干货内容和编程技巧让大家从底层了解C把更多的知识由抽象到简单通俗易懂。《网络协议》本专栏主要是注重从底层来给大家一步步剖析网络协议的奥秘一起解密网络协议在运行中协议的基本运行机制《docker容器精解篇》全面深入解析 docker 容器从基础到进阶涵盖原理、操作、实践案例助您精通 docker。《linux系列》本专栏主要撰写Linux干货内容从基础到进阶知识由抽象到简单通俗易懂帮你从新手小白到扫地僧。《python 系列》本专栏着重撰写Python相关的干货内容与编程技巧助力大家从底层去认识Python将更多复杂的知识由抽象转化为简单易懂的内容。《试题库》本专栏主要是发布一些考试和练习题库涵盖软考、HCIE、HRCE、CCNA等目录⛳️ 推荐专栏介绍一、泛型的核心作用1. 强制编译期类型安全检查2. 消除显式类型转换3. 提升代码复用性与可读性二、泛型的三种主要使用方式1. 泛型类2. 泛型方法3. 泛型接口三、通配符的关键特性1. 上界通配符 ? extends T协变2. 下界通配符 ? super T逆变3. 无界通配符 ?四、类型擦除机制1. 核心原理2. 关键影响五、使用注意事项Java 泛型是通过类型参数化实现编译期类型安全检查的机制核心价值在于避免运行时类型转换错误如ClassCastException同时提升代码复用性与可读性。其本质是将类型作为参数传递在编译阶段而非运行时验证数据类型一致性但受类型擦除机制影响运行时泛型信息会被擦除为原始类型如ListString擦除后为List。以下从关键维度展开说明一、泛型的核心作用1.强制编译期类型安全检查使用泛型后编译器会在代码编译阶段验证类型匹配性而非等到运行时才发现错误。例如ListString只能存储String类型若尝试添加Integer编译器会直接报错避免运行时ClassCastException。对比非泛型代码List list new ArrayList(); list.add(Hello); String str (String) list.get(0); // 需手动强转若误存其他类型会运行时报错2.消除显式类型转换泛型方法或集合在获取元素时自动完成类型转换无需手动强转ListString list new ArrayList(); list.add(Hello); String str list.get(0); // 无需 (String) 强转显著减少冗余代码同时避免因遗漏强转导致的运行时异常。3.提升代码复用性与可读性一套泛型逻辑可适配多种类型如ListInteger、ListString共用ArrayList实现。代码直接体现类型约束如MapInteger, String明确键值类型增强可维护性。二、泛型的三种主要使用方式1.泛型类在类定义时声明类型参数适用于需跨多个方法共享类型场景如集合类public class BoxT { private T value; public void setValue(T value) { this.value value; } public T getValue() { return value; } } // 使用 BoxString strBox new Box(); strBox.setValue(Hello);注意静态成员无法引用类级别的泛型参数如static T field非法因静态成员在类加载时初始化而泛型类型由实例化时确定。2.泛型方法在方法签名中独立声明类型参数适用于单次操作的类型通用化public static T void printArray(T[] array) { for (T item : array) System.out.print(item ); } // 调用时自动推断类型 printArray(new Integer[]{1, 2, 3}); printArray(new String[]{A, B});关键区别泛型方法的T位于返回值前且类型参数作用域仅限该方法。3.泛型接口接口定义中使用类型参数实现类需指定具体类型或传递泛型public interface GeneratorT { T generate(); } // 实现时指定类型 class NumberGenerator implements GeneratorInteger { public Integer generate() { return 100; } }常用于标准库如ComparableT、IteratorT。三、通配符的关键特性1.上界通配符? extends T协变表示T或其子类型适用于只读场景可安全读取T类型数据public static double sum(List? extends Number list) { double total 0; for (Number num : list) total num.doubleValue(); return total; } // 可传入 ListInteger、ListDouble 等限制无法向集合中写入除null外的任何元素因编译器无法确定具体子类型。2.下界通配符? super T逆变表示T或其父类型适用于只写场景可安全写入T及其子类型public static void addIntegers(List? super Integer list) { list.add(100); // 允许写入 Integer } // 可传入 ListInteger、ListNumber、ListObject限制读取时只能得到Object类型因父类型不确定。3.无界通配符?表示未知类型适用于仅需调用与类型无关的方法如size()、clear()public static void printSize(List? list) { System.out.println(Size: list.size()); }四、类型擦除机制1.核心原理Java 泛型通过编译期擦除类型信息实现运行时所有泛型类型均退化为原始类型ListString→ListListInteger→List类型参数被替换为其上界默认Object例如class PairT extends ComparableT { ... } // 擦除后等效于 class Pair { Comparable value; }擦除是为兼容 JVM 旧版本的设计选择非缺陷。2.关键影响无法实例化泛型类型new T()非法因运行时无T信息。无法使用instanceof检查泛型类型obj instanceof ListString语法错误。泛型数组不可创建new ArrayListString编译失败但new ArrayList?允许。五、使用注意事项泛型仅支持引用类型基本类型需用包装类如ListInteger而非Listint。避免原始类型Raw TypeList list new ArrayList()会绕过编译检查应始终显式指定泛型参数。通配符的读写限制? extends T适合读取? super T适合写入遵循 PECS 原则Producer-extends, Consumer-super。运行时类型安全需额外保障通过反射或跨模块传递数据时需手动校验类型如clazz.isInstance(item)因擦除后无泛型信息。泛型是 Java 集合框架与类型安全的基石合理使用可显著提升代码质量但需深刻理解其擦除机制以规避隐式类型风险。❤️❤️❤️本人水平有限如有纰漏欢迎各位大佬评论批评指正如果觉得这篇文对你有帮助的话也请给个点赞、收藏下吧非常感谢! Stay Hungry Stay Foolish 道阻且长,行则将至,让我们一起加油吧
