Java数据结构 (泛型第二节) 泛型擦除机制/泛型的限制/上界下界

news2024/9/19 23:48:32

书接上回：Java数据结构 (泛型第一节) 为什么要有泛型/泛型语法/泛型方法-CSDN博客

访问作者Github:
https://github.com/Joeysoda/Github_java/blob/main/20240908%E6%B3%9B%E5%9E%8B/src/%E6%B3%9B%E5%9E%8B.java

目录

1. 为什么要有擦除机制？

2. 类型擦除的工作原理

2.1 泛型类的类型擦除

2.2 泛型方法的类型擦除

3. 泛型的上界与下界

3.1 指定上界的泛型

4. 类型擦除带来的限制

4.1 无法创建泛型数组

4.2 无法使用 instanceof 检查泛型类型

4.3 无法创建泛型实例

1. 为什么要有擦除机制？

Java 在 1.5 版本引入了泛型，但 Java 语言的设计理念是保证向下兼容。这意味着即使引入了泛型，Java 程序仍然要能够与不使用泛型的老版本代码（比如 Java 1.4 及更早的代码）兼容。为了实现这一点，Java 的泛型设计为在编译时执行类型检查，而在运行时完全去除泛型信息。这种机制被称为类型擦除。

如果没有类型擦除机制，使用泛型的 Java 程序在运行时将需要处理更多的类型信息，这可能会导致与现有 Java 代码的兼容性问题，并且会增加运行时的复杂性。

2. 类型擦除的工作原理

泛型的类型参数 T 在编译后会被替换为其上界（Upper Bound），如果没有指定上界，则默认为 Object。编译器会在编译时插入必要的类型转换代码，以确保类型安全。

2.1 泛型类的类型擦除

示例代码：

public class Box<T> {
    private T value;

    public void setValue(T value) {
        this.value = value;
    }

    public T getValue() {
        return value;
    }
}

public class Main {
    public static void main(String[] args) {
        Box<String> box = new Box<>();
        box.setValue("Hello");
        String value = box.getValue();
        System.out.println(value);  // 输出: Hello
    }
}

编译时类型擦除后的代码：

public class Box {
    private Object value;  // T 被替换为 Object

    public void setValue(Object value) {
        this.value = value;
    }

    public Object getValue() {
        return value;
    }
}

public class Main {
    public static void main(String[] args) {
        Box box = new Box();
        box.setValue("Hello");
        String value = (String) box.getValue();  // 编译器自动插入类型转换
        System.out.println(value);  // 输出: Hello
    }
}

解释：

  • 在编译后的代码中，泛型类型 T 被擦除为 Object，这就是类型擦除的工作方式。
  • 在运行时，Box 类实际上只保存了 Object 类型，而不是 String 类型。
  • 编译器自动插入了类型转换 (String) box.getValue()，以保证类型安全。
2.2 泛型方法的类型擦除

泛型方法示例：

public static <T> void printArray(T[] array) {
    for (T element : array) {
        System.out.println(element);
    }
}

编译时类型擦除后的代码：

public static void printArray(Object[] array) {  // T 被擦除为 Object
    for (Object element : array) {
        System.out.println(element);
    }
}

解释：

  • 在泛型方法的编译后，类型参数 T 被替换为了 Object，这意味着在运行时，方法 printArray 接受的参数类型就是 Object[]，而不再区分具体的泛型类型。

3. 泛型的上界与下界

当泛型类或方法定义了类型边界时，类型擦除后泛型类型会被替换为其上界。如果没有指定上界，则替换为 Object。

3.1 指定上界的泛型

代码示例：

public class NumberBox<T extends Number> {  // T 的上界是 Number
    private T value;

    public void setValue(T value) {
        this.value = value;
    }

    public T getValue() {
        return value;
    }
}

编译后的代码：

public class NumberBox {
    private Number value;  // T 被替换为 Number

    public void setValue(Number value) {
        this.value = value;
    }

    public Number getValue() {
        return value;
    }
}

解释：

  • 在编译后，泛型类型 T 被替换为了 Number，因为在定义时我们指定了 T extends Number，即 T 的上界是 Number。
  • 这意味着编译后的 NumberBox 类可以接受任何 Number 类型的子类对象（如 Integer, Double），但所有泛型信息在运行时都被擦除了。

4. 类型擦除带来的限制

由于泛型的类型擦除机制，Java 中的泛型有一些限制。以下是类型擦除带来的一些常见问题：

4.1 无法创建泛型数组

由于类型擦除，泛型类型在运行时被擦除为 Object，因此 Java 不允许直接创建泛型数组。因为在运行时无法知道数组元素的具体类型。

T[] array = new T[10];  // 错误：不能创建泛型数组

解决方案： 可以通过强制类型转换来创建泛型数组，使用 Object[] 来存储泛型类型。

T[] array = (T[]) new Object[10];  // 通过类型转换创建泛型数组

但这种方式会导致编译器发出未经检查的转换警告，因为无法在运行时确定数组的实际类型。

4.2 无法使用 instanceof 检查泛型类型

由于泛型在运行时被擦除为 Object，所以不能使用 instanceof 检查泛型类型。

错误示例：

if (obj instanceof T) {  // 错误，无法进行泛型类型检查
    // ...
}

解决方案： 可以通过检查擦除后的类型来替代 instanceof，比如使用泛型的上界。

if (obj instanceof Number) {  // T extends Number，可以检查 Number 类型
    // ...
}
4.3 无法创建泛型实例

由于泛型在运行时类型被擦除为 Object 或其上界，因此不能在类中直接创建泛型类型的实例。

错误示例：

T obj = new T();  // 错误：无法实例化泛型类型

解决方案： 可以通过传递一个类的引用（Class<T> 对象）来间接创建泛型对象。

示例：

class Box<T> {
    private T value;

    public Box(Class<T> clazz) throws IllegalAccessException, InstantiationException {
        // 使用传递的 Class 对象创建泛型实例
        this.value = clazz.newInstance();
    }
}

面试题目:

1. 为什么 T[] ts = new T[5]; 是不对的？为什么不能直接创建泛型数组？

问题：
既然在编译时泛型 T 会被替换为 Object，为什么 T[] ts = new T[5]; 不能写成类似于 Object[] ts = new Object[5];？

答案解析：

泛型的类型擦除机制并不能直接与数组创建的机制兼容，因为数组在 Java 中具有 "协变性"（covariant）。这意味着，如果 Integer[] 是 Object[] 的子类型，那么可以将 Integer[] 赋值给 Object[] 类型的变量。这会导致潜在的类型安全问题，尤其是在数组的运行时类型检查过程中，泛型类型擦除与数组的运行时行为产生了冲突。

解决方案：
可以通过创建 Object[] 数组并进行类型转换的方式间接创建泛型数组，但这会发出未经检查的类型转换警告。

  1. 数组的运行时类型检查：数组在 Java 中保留其类型信息，并且能够在运行时进行类型检查。如果尝试在运行时向 Object[] 数组中插入不兼容的元素，Java 会抛出 ArrayStoreException，因为数组知道自己是存储哪种类型的对象的。

    例如：

    Object[] objects = new Integer[5];
objects[0] = "Hello";  // 运行时会抛出 ArrayStoreException

  2. 泛型的类型擦除：Java 的泛型在编译时擦除类型信息，所以如果我们能够创建 T[] ts = new T[5];，编译器无法确保数组的类型安全，因为擦除后 T 被替换为了 Object。这意味着我们无法在运行时对数组的元素类型进行检查，可能会导致数组元素的类型与数组声明的类型不匹配。

具体原因总结：

  • 数组需要在运行时保留类型信息，而泛型在运行时会被擦除为 Object，因此创建泛型数组无法保证类型安全。
  • 如果允许 T[] 创建，会导致运行时无法检查数组的实际类型，可能会导致 ArrayStoreException。

解决方案：
可以通过创建 Object[] 数组并进行类型转换的方式间接创建泛型数组，但这会发出未经检查的类型转换警告。

@SuppressWarnings("unchecked")
T[] array = (T[]) new Object[5];  // 警告：未经检查的类型转换

2. 类型擦除一定是把 T 变成 Object 吗？

问题：
在类型擦除过程中，泛型 T 是否总是被擦除为 Object？

答案解析：

不一定。泛型 T 在类型擦除过程中，会根据类型参数的上界来进行替换。如果没有指定上界，那么 T 会被替换为 Object；但如果有上界，T 会被替换为它的上界类型。

  1. 无上界的类型擦除：当 T 没有上界时，T 会被擦除为 Object。

class Box<T> {
    private T value;

    public void setValue(T value) {
        this.value = value;
    }

    public T getValue() {
        return value;
    }
}

        经过类型擦除后：

class Box {
    private Object value;  // T 被擦除为 Object

    public void setValue(Object value) {
        this.value = value;
    }

    public Object getValue() {
        return value;
    }
}

有上界的类型擦除：如果 T 有上界，例如 T extends Number，那么在类型擦除时，T 会被替换为 Number。

代码示例：

class Box<T extends Number> {
    private T value;

    public void setValue(T value) {
        this.value = value;
    }

    public T getValue() {
        return value;
    }
}

经过类型擦除后：

class Box {
    private Number value;  // T 被擦除为 Number

    public void setValue(Number value) {
        this.value = value;
    }

    public Number getValue() {
        return value;
    }
}

总结：

  • 无上界泛型 T：擦除为 Object。
  • 有上界泛型 T：擦除为其上界类型。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/2147317.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

关于Java数据结构中集合的一个小知识

关于Java数据结构中集合的一个小知识

在我们以后刷题的过程&#xff0c;我们会遇到一些奇怪的集合数据类型。 如下图 这里&#xff0c;我们以顺序表的集合类为例&#xff0c;我们看到上图函数的返回值类型有点奇怪&#xff0c;其实并不奇怪&#xff0c;也就是穿过去的参数类型是一个顺序表的集合类型&#xff0c;也…
阅读更多...
Mysql高级篇（中）—— SQL优化

Mysql高级篇（中）—— SQL优化

SQL优化 一、SQL优化的计划或思路二、关联查询优化三、子查询优化四、exists 和 not exists1、exists 介绍2、exists 和 not exists 五、单路排序和多路排序&#xff08;了解&#xff09;六、排序分组优化1、order by&#xff08;1&#xff09;避免临时排序,使用索引排序&#…
阅读更多...
【LabVIEW】条件结构的使用

【LabVIEW】条件结构的使用

本篇文章记录LabVIEW条件结构的使用方法&#xff0c;希望我的分享能对你有所帮助&#xff01; 一、实践项目 二、工程详解 1、考虑到输入的数值需要判断一下是否是在0-100之间&#xff0c;故使用“判定范围并强制转换”模块 2、设置数值表示法和上下限 3、验证判断 4、最终程…
阅读更多...
（黑马点评）二、短信登录功能实现

（黑马点评）二、短信登录功能实现

2.1 基于传统Session实现的短信登录及其校验 2.1.1 基于Session登录校验的流程设计 2.1.2 实现短信验证码发送功能 请求接口/user/code请求类型post请求参数phone返回值无 /*** 发送手机验证码*/PostMapping("/code")public Result sendCode(RequestParam("ph…
阅读更多...
前端框架对比和选择

前端框架对比和选择

​ 大家好&#xff0c;我是程序员小羊&#xff01; 前言&#xff1a; 前端框架选择是前端开发中的关键决策&#xff0c;因为它影响项目的开发效率、维护成本和可扩展性。当前&#xff0c;最流行的前端框架主要包括 React、Vue 和 Angular。它们各有优劣&#xff0c;适用于不同…
阅读更多...
wallpaper engine壁纸提取

wallpaper engine壁纸提取

下载提取软件RavioliGameTools_v2.10.zip https://pan.baidu.com/s/14ZCVw3ucRERsB-GGGoCOqQ 2.运行RExtractor.exe 3.Input file(s)、Output directory填好 4.勾选Allow scanning of unkown files 5.点击Start
阅读更多...
智能办公新纪元：AI优秘圈引领未来工作方式

智能办公新纪元：AI优秘圈引领未来工作方式

随着人工智能技术的不断进步&#xff0c;它已经开始渗透到我们工作与生活的每一个角落。在这一背景下&#xff0c;AI优秘圈以其创新的智能办公解决方案&#xff0c;正在重新定义企业的工作方式。本文将探讨AI优秘圈如何利用AI技术提升工作效率&#xff0c;降低成本&#xff0c;…
阅读更多...
AI换脸等违法行为的最关键原因是个人隐私信息的泄露，避免在网络上发布包含个人敏感信息的照片。

AI换脸等违法行为的最关键原因是个人隐私信息的泄露，避免在网络上发布包含个人敏感信息的照片。

文章目录 引言I 避免在网络上发布包含个人敏感信息的照片不要晒家门钥匙、车牌等照片。不要发布各种票据类的照片不要公布手持身份证或手持白纸照II 相关反制技术的开发和应用III 犯罪案例： 通过“换脸”伪造不雅照当事人犯罪团伙引言 当前AI换脸技术比较成熟，能支持视频通话…
阅读更多...
25届和24届一样，涝的涝死旱的旱死

25届和24届一样，涝的涝死旱的旱死

还是秋招 今天无意间翻到一篇帖子&#xff1a; 帖子提到自己的求职经历&#xff1a;想找个产品实习岗&#xff0c;但连实习岗都会要求有相关工作经历... 经典的"蛋生鸡&#xff0c;鸡生蛋"问题。 在经历了完整的秋招后&#xff0c;总的感觉是"涝的涝死&#xff…
阅读更多...
基于MATLAB/Simulink的模型降阶方法介绍

基于MATLAB/Simulink的模型降阶方法介绍

降阶建模ROM(Reduced order modeling) 和模型降阶MOR(Model order reduction) 是降低全阶高保真模型的计算复杂性&#xff0c;同时在令人满意的误差范围内保持预期保真度的技术。 模型降阶技术可以解决科学计算邻域在建模仿真与工程应用中的几大痛点&#xff1a; 高保真模型计…
阅读更多...
从工厂打螺丝到数据库专家（上）

从工厂打螺丝到数据库专家（上）

可能是年纪大了&#xff0c;近期总是失眠&#xff01;不知为何&#xff0c;这段时间心情烦躁时&#xff0c;特别喜欢听老歌&#xff0c;难道这是中年人的通病&#xff1a;都喜欢怀旧&#xff1f; 在数据库恢复订阅伙伴群&#xff0c;大家经常讨论&#xff0c;总是在回味过去&a…
阅读更多...
文心一言 VS 讯飞星火 VS chatgpt （350）-- 算法导论24.1 1题

文心一言 VS 讯飞星火 VS chatgpt （350）-- 算法导论24.1 1题

一、在图 24-4上运行Bellman-Ford算法&#xff0c;使用结点 z z z作为源结点。在每一遍松弛过程中&#xff0c;以图中相同的次序对每条边进行松弛&#xff0c;给出每遍松弛操作后的 d d d值和 π π π值。然后&#xff0c;把边 ( z , x ) (z,x) (z,x)的权重改为 4 4 4&#xf…
阅读更多...
面试官：什么是CAS？存在什么问题？

面试官：什么是CAS？存在什么问题？

大家好&#xff0c;我是大明哥&#xff0c;一个专注「死磕 Java」系列创作的硬核程序员。 回答 CAS&#xff0c;Compare And Swap&#xff0c;即比较并交换&#xff0c;它一种无锁编程技术的核心机制。其工作方式分为两步&#xff1a; 比较&#xff1a;它首先会比较内存中的某…
阅读更多...
汉字转拼音工具类

汉字转拼音工具类

一&#xff0c;汉字转成拼音大写首字母 public static String chineseToPinyin(String chinese) {//创建一个 StringBuilder 对象用于存储转换后的拼音。StringBuilder pinyin new StringBuilder();//创建一个汉语拼音输出格式对象。HanyuPinyinOutputFormat format new Han…
阅读更多...
Redis-01 入门和十大数据类型

Redis-01 入门和十大数据类型

Redis支持两种持久化方式&#xff1a;RDB持久化和AOF持久化。 1.RDB持久化是将Redis的数据以快照的形式保存在磁盘上&#xff0c;可以手动触发或通过配置文件设置定时触发。RDB保存的是Redis在某个时间点上的数据快照&#xff0c;可以通过恢复RDB文件来恢复数据。 2.AOF持久化…
阅读更多...
MySQL 中的 EXPLAIN 命令：洞察查询性能的利器

MySQL 中的 EXPLAIN 命令：洞察查询性能的利器

《MySQL 中的 EXPLAIN 命令&#xff1a;洞察查询性能的利器》 在 MySQL 数据库的使用中&#xff0c;优化查询性能是至关重要的一项任务。而 EXPLAIN 命令就是我们用来深入了解查询执行计划的强大工具。今天&#xff0c;我们就来一起探讨如何在 MySQL 中使用 EXPLAIN 命令&…
阅读更多...
数据结构-3.2.栈的顺序存储实现

数据结构-3.2.栈的顺序存储实现

一.顺序栈的定义&#xff1a;top指针指向栈顶元素 1.图解&#xff1a; 2.代码&#xff1a; #include<stdio.h> #define MaxSize 10 //定义栈最多存入的元素个数 ​ typedef struct {int data[MaxSize]; //静态数组存放栈中元素int top; //栈顶指针 } SqStack; ​ int…
阅读更多...
python mysql pymysql 数据库操作，常用脚本，个人小工具

python mysql pymysql 数据库操作，常用脚本，个人小工具

起因&#xff0c; 目的: 整理 mysql 工具 启动数据库 检查服务器是否启动了: Get-Service -Name ‘mysql*’ 如果没启动的话&#xff0c;那么就启动: net start MySQL80 (最好是开启管理员权限) 1, 日常最常用的&#xff0c;创建连接 --> 查看所有数据库 —> 查看所有…
阅读更多...
预处理、makefile、静动态库编写、nfs挂载、快捷命令

预处理、makefile、静动态库编写、nfs挂载、快捷命令

c查看预处理后的文件 查看执行后的汇编代码 预处理过程 静态库和动态库 静态库编写 实践 a 动态库生成 查找文件命令 动态库升级 链接的库找不到 命名要为linfun.so 执行时-lfun才能找到 系统会将lfun补充成libfun查找&#xff08;系统默认路径/user/lib/...&#xff09; 链…
阅读更多...
C++：string 类详解

C++：string 类详解

目录 简介 使用 初始化(构造函数、拷贝构造函数) 析构函数 赋值运算符重载(operator) 成员常量(npos) 运算符重载[ ](operator[ ]) size() 和 length() 迭代器( begin() 和 end() ) 范围 for 迭代器和范围 for 的比较 反向迭代器( rbegin() 和 rend() ) const 迭…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023