AI 助理
文档备案控制台
开发者社区 大数据与机器学习 文章 正文

Java泛型类型擦除以及类型擦除带来的问题

2025-12-30 163
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： Java泛型在编译时会进行类型擦除，所有泛型信息被移除，仅保留原始类型（如Object或限定类型）。这导致虽能在编译期实现类型安全检查，但运行时无法获取泛型信息，引发诸如反射可插入不兼容类型、无法使用基本类型、静态成员不能引用泛型参数等问题。同时，为保证多态，编译器通过桥方法解决擦除后的重写冲突，并自动插入强制类型转换，确保取值时无需手动转型。

Java泛型类型擦除以及类型擦除带来的问题
1.什么是泛型擦除
我们都知道Java的泛型是伪泛型，即编译期间所有的泛型信息都会被擦除，如我们代码定义了：List和List，但是对于JVM而言，看到的只有List，由泛型附加的类型信息对于JVM而言是看不到的。代码说明如下：
1.1 原始类型擦除后相等
在这个例子中，我们定义了两个ArrayList数组，不过一个是ArrayList泛型类型的，只能存储字符串；一个是ArrayList泛型类型的，只能存储整数，最后，我们通过list1对象和list2对象的getClass()方法获取他们的类的信息，最后发现结果为true。说明泛型类型String和Integer都被擦除掉了，只剩下原始类型。
1.2 反射添加的元素被擦除
如果直接调用add()方法，那么只能存储整数数据，不过当我们利用反射调用add()方法的时候，却可以存储字符串，这说明了Integer泛型实例在编译之后被擦除掉了，只保留了原始类型。
2.什么是泛型擦除后保留的原始类型
原始类型 就是擦除去了泛型信息，最后在字节码中的类型变量的真正类型，无论何时定义一个泛型，相应的原始类型都会被自动提供，类型变量擦除，并使用其限定类型（无限定的变量用Object）替换。举例说明
其对应的原始类型就是
但如果该类的定义有限定，比如继承了，那么就会产生变化：
此时原始类型就是Comparable，而不再是Object
3.泛型擦除引起的问题及解决方法
3.1 先检查，再编译以及编译的对应和引用传递问题
这里我们可能会有一个疑问，既然说类型变量会在编译的时候擦除掉，那为什么上面的ArrayList中添加String类型的时候就报错了呢，因为String编译时候也会变成Object啊？
A：因为JAVA编译器是通过先检查代码中泛型的类型，然后再进行类型擦除，再进行编译的。那么这个检查到底是针对谁的，我们需要再明确下
A2：如我们上面代码是：
现在我们写成：
此时如果我们与之前的代码兼容，各种引用传值之间，必然会出现下面情况：
这样没错，但是会有个编译时警告，不过在第一种情况下，可以实现与完全使用泛型参数一样的效果，但是第二种没有效果。
因为类型检查是编译时完成的，new ArrayList()只是在内存中开辟一个存储空间，可以存储任何类型的对象，而真正涉及类型检查的是“它的引用”，即list1的方法调用，如add方法，所以list1引用能够完成泛型类型检查(前面声明了String)，但是list2(后面声明的只是开辟内存空间，不涉及)由于前面的声明没有添加泛型，所以不行。
所以这里我们也大概知道了，所谓的类型(泛型)检查，是针对引用的。谁是一个引用，用这个引用调用泛型方法，就会对这个引用所调用的方法进行类型检查，而无关它真正引用的对象。
3.2 自动类型转换
因为类型擦除的问题，所以所有的泛型类型变量在最后都会被替换成原始类型，既然都被替换了，那么为什么获取的时候，不需要进行强制类型转换呢？可以看下 ArrayList.get() 方法
可以看到，在return之前，会根据泛型变量进行强转。假设泛型类型变量为Date，虽然泛型信息会被擦除掉，但是会将(E) elementData[index]，编译为(Date) elementData[index]。所以我们不用自己进行强转。当存取一个泛型域时也会自动插入强制类型转换。假设Pair类的value域是public的，那么表达式：
也会自动地在结果字节码中插入强制类型转换。
3.3 泛型擦除与多态的冲突与解决方法
假设有一个泛型类
然后有一个子类需要继承
在这个子类中，我们设定父类的泛型类型为Pair，在子类中，我们覆盖了父类的两个方法，我们的原意是这样的：将父类的泛型类型限定为Date，那么父类里面的两个方法的参数都为Date类型。
所以，我们在子类中重写这两个方法一点问题也没有，实际上，从他们的@Override标签中也可以看到，一点问题也没有，实际上是这样的吗？
分析：实际上，类型擦除后，父类的的泛型类型全部变为了原始类型Object，所以父类编译之后会变成下面的样子：
Java
运行代码
复制代码
1
2
3
4
5
6
7
8
9
10
11
class Pair {
private Object value; 
public Object getValue() {  
    return value;  
}  

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

}
而此时，子类中类型依然是Date，这如果还是在继承关系中，那么根本就不是重写，而是重载了。通过反编译会发现子类中的方法Object getValue()和Date getValue()是同 时存在的，可是如果是常规的两个方法，他们的方法签名是一样的，也就是说虚拟机根本不能分别这两个方法。如果是我们自己编写Java代码，这样的代码是无法通过编译器的检查的，但是虚拟机却是允许这样做的，因为虚拟机通过参数类型和返回类型来确定一个方法，所以编译器为了实现泛型的多态允许自己做这个看起来“不合法”的事情，然后交给虚拟器去区别。
3.4 泛型类型变量不能是基本数据类型
不能用类型参数替换基本类型。就比如，没有ArrayList，只有ArrayList。因为当类型擦除后，ArrayList的原始类型变为Object，但是Object类型不能存储double值，只能引用Double的值。
3.5 编译时集合的instanceof(可能面试考察)
Java
运行代码
复制代码
1
ArrayList arrayList = new ArrayList();
因为类型擦除之后，ArrayList只剩下原始类型，泛型信息String不存在了。那么，编译时进行类型查询的时候使用下面的方法是错误的
Java
运行代码
复制代码
1
if( arrayList instanceof ArrayList)
3.6 泛型在静态方法和静态类中的问题(可能面试考察)
泛型类中的静态方法和静态变量不可以使用泛型类所声明的泛型类型参数，举例说明：
Java
运行代码
复制代码
1
2
3
4
5
6
public class Test2 {
public static T one; //编译错误
public static T show(T one){ //编译错误
return null;
}
}
因为泛型类中的泛型参数的实例化是在对象定义时候指定的，而静态变量和静态方法是不需要通过对象来调用的，对象都没有创建，如何确定这个泛型是何类型呢？所以说上面的代码明显是错误的。
但是需要注意下面的一种特殊情况
Java
运行代码
复制代码
1
2
3
4
5
public class Test2 {
public static T show(T one){ //这是正确的
return null;
}
}
因为这是一个泛型方法，在泛型方法中使用过的T是自己在方法中定义的T，而不是泛型中的T

文章标签：
Java
存储
编译器
安全
游客pgsmpobfp2oac
目录
相关文章
周周的奇妙编程
|
存储 算法 NoSQL
还分不清 Cookie、Session、Token、JWT？看这一篇就够了
Cookie、Session、Token 和 JWT（JSON Web Token）都是用于在网络应用中进行身份验证和状态管理的机制。虽然它们有一些相似之处，但在实际应用中有着不同的作用和特点，接下来就让我们一起看看吧，本文转载至http://juejin.im/post/5e055d9ef265da33997a42cc
周周的奇妙编程
52553 16
游客472mxcrxda2he
|
存储 网络协议 数据库
【计算机网络】第四章：网络层 （万字详解）
要让事情改变，先改变我自己;要让事情变得更好，先让自己变得更好。
游客472mxcrxda2he
1372 0
【计算机网络】第四章：网络层 （万字详解）
9589
|
8月前
|
前端开发 PHP 数据库
不止于 Web：PHP 的发展、特性与全场景应用解析
PHP（Hypertext Preprocessor，超文本预处理器）作为一门开源脚本语言，自 1995 年诞生以来，始终以 “简单高效、灵活易用” 的核心优势，稳居 Web 开发领域的主流地位。
9589
684 3
萤火虫的小尾巴
|
存储 缓存 人工智能
[计算机网络(谢希仁 第八版)]第一章 概述（小节随堂测验+答案解析）
[计算机网络(谢希仁 第八版)]第一章 概述（小节随堂测验+答案解析）
萤火虫的小尾巴
2332 0
Y2000104
|
5G 网络安全 数据安全/隐私保护
小米路由器MINI刷Breed并刷写第三方潘多拉固件教程（上）
小米路由器MINI刷Breed并刷写第三方潘多拉固件教程
Y2000104
1633 0
长梦
|
Java 编译器 Maven
Java一分钟之-AspectJ：AOP库
【6月更文挑战第13天】AspectJ是Java的AOP框架，扩展了语言并提供编译时和加载时织入，便于模块化横切关注点。关键概念包括编织、切面、切点和通知。常见问题涉及编译时织入配置、切点表达式误用、异常处理和版本兼容性。通过正确配置构建工具、精准设计切点、妥善处理异常和确保版本兼容，可避免这些问题。文中还提供了一个记录服务层方法执行时间的代码示例，帮助读者快速上手AspectJ。
长梦
865 2
古明地盆
|
IDE 编译器 开发工具
Cython 模块之间的相互导入，组织你的 Cython 代码
Cython 模块之间的相互导入，组织你的 Cython 代码
古明地盆
564 0
栈江湖
|
消息中间件 存储 负载均衡
2024消息队列“四大天王”：Rabbit、Rocket、Kafka、Pulsar巅峰对决
本文对比了 RabbitMQ、RocketMQ、Kafka 和 Pulsar 四种消息队列系统，涵盖架构、性能、可用性和适用场景。RabbitMQ 以灵活路由和可靠性著称；RocketMQ 支持高可用和顺序消息；Kafka 专为高吞吐量和低延迟设计；Pulsar 提供多租户支持和高可扩展性。性能方面，吞吐量从高到低依次为
栈江湖
8244 1
泡沫o0
|
存储 安全 编译器
【C++ 多态 】深入理解C++的运行时类型信息（RTTI）：dynamic_cast和typeid的应用与原理
【C++ 多态 】深入理解C++的运行时类型信息（RTTI）：dynamic_cast和typeid的应用与原理
泡沫o0
1993 1
游客iyfakqyinfxv2
|
关系型数据库 数据库 PostgreSQL
POSTGRESQL中时间戳的奥秘timestamptz
探索 PostgreSQL 中的时间戳类型：timestamp 代表无时区的时间点，而 timestamptz 包含时区信息，可转换。了解它们的区别对于数据库操作至关重要。使用 `AT TIME ZONE` 关键字可实现两者间的转换。关注木头左，获取更多数据库知识！
游客iyfakqyinfxv2
2145 1
POSTGRESQL中时间戳的奥秘timestamptz

大数据与机器学习

热门文章

最新文章

  • 1
    【玩转数据系列十】利用阿里云机器学习在深度学习框架下实现智能图片分类
  • 2
    你刚吃的兰州牛肉面，背后就藏着大数据
  • 3
    大数据环境下该如何优雅地设计数据分层
  • 4
    MaxCompute执行作业慢的原因排查
  • 5
    阿里云MaxCompute（大数据）公开数据集---带你玩转人工智能
  • 6
    2017杭州云栖大会FAQ（持续更新中）
  • 7
    独家专访阿里集团副总裁贾扬清：我为什么选择加入阿里巴巴？
  • 8
    品《阿里巴巴大数据实践-大数据之路》一书（上）
  • 9
    流计算StreamCompute
  • 10
    Flume+Kafka+Flink+Redis构建大数据实时处理系统：实时统计网站PV、UV展示
  • 1
    ES 0.90 的 percolator 把查询存进索引，再拿文档去问它
    19
  • 2
    刚敲两个字母就有提示，ES 0.90 的 completion suggester 是怎么提前算好的
    17
  • 3
    考古｜query 和 filter 曾经是两回事，ES 2.0 合成一套后老写法要重新验
    16
  • 4
    考古｜ES 1.0 收掉了旧查询和 _boost，老代码里要验哪几处
    19
  • 5
    考古｜搬迁 percolator 要先保住规则身份，ES 1.0 把它挪进了索引内
    17
  • 6
    考古｜mapping 有冲突，ES 2.0 起集群直接启动不了
    17
  • 7
    考古｜rivers、facets、MVEL 在 ES 2.0 被删，同步数据不再是 ES 自己的活
    19
  • 8
    理解 Harness 工程：从 Agent 循环到上下文、沙箱、验证与长时运行
    16
  • 9
    小团队做AI问答内容整理：先拆清谁出题、谁把关、谁记录
    25
  • 10
    企业 AI 开发团队核验实务：分清三类、核验三处与验收办法
    21

    • 相关电子书

    更多
  • 低代码开发师（初级）实战教程
  • 冬季实战营第三期：MySQL数据库进阶实战
  • 阿里巴巴DevOps 最佳实践手册
    • 下一篇
    一条命令迁移，帮你实现 OpenClaw 与 Hermes Agent 记忆互通！