AI 助理
备案控制台
开发者社区 开发与运维 文章 正文

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

2024-01-31 31
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： 1

1.什么是泛型擦除
我们都知道Java的泛型是伪泛型，即编译期间所有的泛型信息都会被擦除，如我们代码定义了：List和List，但是对于JVM而言，看到的只有List，由泛型附加的类型信息对于JVM而言是看不到的。代码说明如下：
1.1 原始类型擦除后相等
public class Test {
public static void main(String[] args) {
ArrayList list1 = new ArrayList();
list1.add("abc"); 
    ArrayList<Integer> list2 = new ArrayList<Integer>();
    list2.add(123);

    System.out.println(list1.getClass() == list2.getClass());
}

}
在这个例子中，我们定义了两个ArrayList数组，不过一个是ArrayList泛型类型的，只能存储字符串；一个是ArrayList泛型类型的，只能存储整数，最后，我们通过list1对象和list2对象的getClass()方法获取他们的类的信息，最后发现结果为true。说明泛型类型String和Integer都被擦除掉了，只剩下原始类型。
1.2 反射添加的元素被擦除
public static void main(String[] args)
throws NoSuchMethodException, InvocationTargetException, IllegalAccessException {
ArrayList list = new ArrayList();
list.add(1); //这样调用 add 方法只能存储整形，因为泛型类型的实例为 Integer
list.getClass().getMethod("add", Object.class).invoke(list, "asd");

    for (int i = 0; i < list.size(); i++) {
        // 输出1    asd
        System.out.println(list.get(i));
    }
}

如果直接调用add()方法，那么只能存储整数数据，不过当我们利用反射调用add()方法的时候，却可以存储字符串，这说明了Integer泛型实例在编译之后被擦除掉了，只保留了原始类型。
2.什么是泛型擦除后保留的原始类型
原始类型 就是擦除去了泛型信息，最后在字节码中的类型变量的真正类型，无论何时定义一个泛型，相应的原始类型都会被自动提供，类型变量擦除，并使用其限定类型（无限定的变量用Object）替换。举例说明
class Pair {
private T value;
public T getValue() {
return value;
}
public void setValue(T value) {
this.value = value;
}
}
其对应的原始类型就是
class Pair {
private Object value;
public Object getValue() {
return value;
}
public void setValue(Object value) {
this.value = value;
}
}
但如果该类的定义有限定，比如继承了，那么就会产生变化：
public class Pair {}
此时原始类型就是Comparable，而不再是Object
3.泛型擦除引起的问题及解决方法
3.1 先检查，再编译以及编译的对应和引用传递问题
这里我们可能会有一个疑问，既然说类型变量会在编译的时候擦除掉，那为什么上面的ArrayList中添加String类型的时候就报错了呢，因为String编译时候也会变成Object啊？
A：因为JAVA编译器是通过先检查代码中泛型的类型，然后再进行类型擦除，再进行编译的。那么这个检查到底是针对谁的，我们需要再明确下
A2：如我们上面代码是：
ArrayList list = new ArrayList();
现在我们写成：
ArrayList list = new ArrayList();
此时如果我们与之前的代码兼容，各种引用传值之间，必然会出现下面情况：
ArrayList list1 = new ArrayList(); //第一种 情况
ArrayList list2 = new ArrayList(); //第二种 情况
这样没错，但是会有个编译时警告，不过在第一种情况下，可以实现与完全使用泛型参数一样的效果，但是第二种没有效果。
因为类型检查是编译时完成的，new ArrayList()只是在内存中开辟一个存储空间，可以存储任何类型的对象，而真正涉及类型检查的是“它的引用”，即list1的方法调用，如add方法，所以list1引用能够完成泛型类型检查(前面声明了String)，但是list2(后面声明的只是开辟内存空间，不涉及)由于前面的声明没有添加泛型，所以不行。

所以这里我们也大概知道了，所谓的类型(泛型)检查，是针对引用的。谁是一个引用，用这个引用调用泛型方法，就会对这个引用所调用的方法进行类型检查，而无关它真正引用的对象。
3.2 自动类型转换
因为类型擦除的问题，所以所有的泛型类型变量在最后都会被替换成原始类型，既然都被替换了，那么为什么获取的时候，不需要进行强制类型转换呢？可以看下 ArrayList.get() 方法
public E get(int index) { 

RangeCheck(index);  

return (E) elementData[index];

}
可以看到，在return之前，会根据泛型变量进行强转。假设泛型类型变量为Date，虽然泛型信息会被擦除掉，但是会将(E) elementData[index]，编译为(Date) elementData[index]。所以我们不用自己进行强转。当存取一个泛型域时也会自动插入强制类型转换。假设Pair类的value域是public的，那么表达式：
Date date = pair.value;
也会自动地在结果字节码中插入强制类型转换。
3.3 泛型擦除与多态的冲突与解决方法
假设有一个泛型类
class Pair { 

private T value;  

public T getValue() {  
    return value;  
}  

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

}
然后有一个子类需要继承
class DateInter extends Pair { 

@Override  
public void setValue(Date value) {  
    super.setValue(value);  
}  

@Override  
public Date getValue() {  
    return super.getValue();  
}

}
在这个子类中，我们设定父类的泛型类型为Pair，在子类中，我们覆盖了父类的两个方法，我们的原意是这样的：将父类的泛型类型限定为Date，那么父类里面的两个方法的参数都为Date类型。
所以，我们在子类中重写这两个方法一点问题也没有，实际上，从他们的@Override标签中也可以看到，一点问题也没有，实际上是这样的吗？
分析：实际上，类型擦除后，父类的的泛型类型全部变为了原始类型Object，所以父类编译之后会变成下面的样子：
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(可能面试考察)
ArrayList arrayList = new ArrayList();
因为类型擦除之后，ArrayList只剩下原始类型，泛型信息String不存在了。那么，编译时进行类型查询的时候使用下面的方法是错误的
if( arrayList instanceof ArrayList)
3.6 泛型在静态方法和静态类中的问题(可能面试考察)
泛型类中的静态方法和静态变量不可以使用泛型类所声明的泛型类型参数，举例说明：
public class Test2 {
public static T one; //编译错误
public static T show(T one){ //编译错误
return null;
}
}
因为泛型类中的泛型参数的实例化是在对象定义时候指定的，而静态变量和静态方法是不需要通过对象来调用的，对象都没有创建，如何确定这个泛型是何类型呢？所以说上面的代码明显是错误的。

但是需要注意下面的一种特殊情况
public class Test2 {
public static T show(T one){ //这是正确的
return null;
}
}
因为这是一个泛型方法，在泛型方法中使用过的T是自己在方法中定义的T，而不是泛型中的T

文章标签：
Java
存储
编译器
关键词：
Java类型
Java擦除
Java类型擦除
Java泛型类型擦除
一枕清风梦绿萝
目录
相关文章
大树营养快线
|
1月前
|
存储 Java 开发者
Java 中 Set 类型的使用方法
【10月更文挑战第30天】Java中的`Set`类型提供了丰富的操作方法来处理不重复的元素集合，开发者可以根据具体的需求选择合适的`Set`实现类，并灵活运用各种方法来实现对集合的操作和处理。
大树营养快线
67 7
众所周知
|
1月前
|
Java 编译器 开发者
Java异常处理的最佳实践，涵盖理解异常类体系、选择合适的异常类型、提供详细异常信息、合理使用try-catch和finally语句、使用try-with-resources、记录异常信息等方面
本文探讨了Java异常处理的最佳实践，涵盖理解异常类体系、选择合适的异常类型、提供详细异常信息、合理使用try-catch和finally语句、使用try-with-resources、记录异常信息等方面，帮助开发者提高代码质量和程序的健壮性。
众所周知
76 2
WangBai
|
1月前
|
存储 Java 编译器
Java泛型类型擦除以及类型擦除带来的问题
泛型擦除是指Java编译器在编译期间会移除所有泛型信息，使所有泛型类型在运行时都变为原始类型。例如，`List&lt;String&gt;` 和 `List&lt;Integer&gt;` 在JVM中都视为 `List`。因此，通过 `getClass()` 比较两个不同泛型类型的 `ArrayList` 实例会返回 `true`。此外，通过反射调用 `add` 方法可以向 `ArrayList&lt;Integer&gt;` 中添加字符串，进一步证明了泛型信息在运行时被擦除。
WangBai
46 2
Java开发者
|
2月前
|
Java 编译器
Java“返回类型为 void 的方法不能返回一个值”解决
在 Java 中，如果一个方法的返回类型被声明为 void，那么该方法不应该包含返回值的语句。如果尝试从这样的方法中返回一个值，编译器将报错。解决办法是移除返回值语句或更改方法的返回类型。
Java开发者
260 5
Java开发者
|
2月前
|
设计模式 Java
Java“不能转换的类型”解决
在Java编程中，“不能转换的类型”错误通常出现在尝试将一个对象强制转换为不兼容的类型时。解决此问题的方法包括确保类型间存在继承关系、使用泛型或适当的设计模式来避免不安全的类型转换。
Java开发者
292 7
光明顶阳顶天
|
2月前
|
Java
Java 中锁的主要类型
【10月更文挑战第10天】
光明顶阳顶天
39 3
Java开发者
|
2月前
|
安全 Java
Java“不兼容类型” 错误怎么查找解决
在 Java 中遇到“不兼容类型”错误时，首先理解错误信息，它表明试图将一种类型赋给不兼容的类型。检查代码中类型不匹配的赋值、方法调用参数类型不匹配、表达式类型不兼容及泛型类型不匹配等问题。解决方法包括进行类型转换、修改代码逻辑、检查方法参数和返回类型以及处理泛型类型不匹配。通过这些步骤，可以有效解决“不兼容类型”错误，确保代码类型兼容性良好。
Java开发者
498 9
六卿
|
3月前
|
存储 Java Windows
java基础(9)数据类型中的char类型以及涉及到的转义字符
Java中的char类型可以存储一个中文字符，因为它占用两个字节。转义字符允许在代码中使用特殊字符，例如`\n`表示换行，`\t`表示制表符，`\\`表示反斜杠，`\'`表示单引号，`\"`表示双引号。可以使用`\u`后跟Unicode编码来表示特定的字符。
六卿
82 2
java基础(9)数据类型中的char类型以及涉及到的转义字符
兴化
|
2月前
|
Java 程序员 编译器
Java中的异常类型
Java中的异常类型
兴化
24 3
Java开发者
|
2月前
|
Java 开发者
Java“类 Y 中的方法 X 不能应用于给定类型”解决
在Java中遇到“类Y中的方法X无法应用于给定类型”的错误时，通常是因为方法调用时的参数类型与定义不符。解决此问题需检查方法签名，确保传递的参数类型正确无误，或使用显式类型转换以匹配方法所需的参数类型。这种错误提示帮助开发者及时修正类型不匹配的问题。
Java开发者
117 1

热门文章

最新文章

  • 1
    Java volatile关键字：你真的懂了吗？
  • 2
    java小工具util系列2：字符串工具
  • 3
    Java爬虫：数据采集的强大工具
  • 4
    Java多线程并发编程：同步机制与实践应用
  • 5
    Java中的异常处理：从基础到高级
  • 6
    深入理解Java异常处理机制
  • 7
    Liunx部署java项目Tomcat、Redis、Mysql教程
  • 8
    Java爬虫：深入解析商品详情的利器
  • 9
    java实现从HDFS上下载文件及文件夹的功能，以流形式输出，便于用户自定义保存任何路径下
  • 10
    Java 异常处理：机制、策略与最佳实践
  • 1
    【Bug合集】——Java大小写引起传参失败，获取值为null的解决方案
    20
  • 2
    JavaEE初阶——初识EE（Java诞生背景，CPU详解）
    12
  • 3
    反射-----浅解析（Java）
    13
  • 4
    Java—多线程实现生产消费者
    20
  • 5
    Java使用sql查询mongodb
    23
  • 6
    Java最新图形化界面开发技术——JavaFx教程（含UI控件用法介绍、属性绑定、事件监听、FXML）
    64
  • 7
    Java中的算法优化与复杂度分析
    15
  • 8
    Java的基础概念一
    20
  • 9
    Java基础-常用API-Object类
    27
  • 10
    Java多线程是什么
    23

    • 相关课程

    更多
  • Java面试疑难点解析 - 面试技巧及语言基础
  • Java面试疑难点解析 - Java Web开发
  • Java面试疑难点解析 - 系统架构及项目设计
  • Java编程入门
  • Java面向对象编程
  • Java高级编程

    • 相关电子书

    更多
  • Spring Cloud Alibaba - 重新定义 Java Cloud-Native
  • The Reactive Cloud Native Arch
  • JAVA开发手册1.5.0

    • 相关实验场景

    更多
  • 语言入门-2：基本类型
  • 阿里云平台上进行Java程序的编译与运行
  • 使用Java面向对象编写网络通信程序应用
  • 手动部署Java Web环境（Alibaba Cloud Linux 2）
  • 搭建Java Web开发环境（Anolis OS）
  • RocketMQ中使用Java客户端发送消息和消费的应用
    • 下一篇
    DataWorks售前咨询