类型擦除在Java映射类中不起作用

Question

我使用javap反编译了Map类。类定义仍然显示泛型类型K和V的存在。这应该被类型擦除的概念擦除。为什么没有发生这种情况？

<代码>/javap-详细java。util。地图

Classfile jar:file:/opt/jdk1.8.0_101/jre/lib/rt.jar!/java/util/Map.class
    Last modified 22 Jun, 2016; size 4127 bytes
    MD5 checksum 238f89b3e2ff9bebe07aa22b0a3493a9
    Compiled from "Map.java"

public interface java.util.Map<K extends java.lang.Object, V extends java.lang.Object>
    minor version: 0
    major version: 52
    flags: ACC_PUBLIC, ACC_INTERFACE, ACC_ABSTRACT

Constant pool:

Answer 1

字节码中有额外的信息，用于解码通用信息。

Answer 2

如果泛型签名信息被完全擦除，则不可能使用泛型类型或方法，除非您也有源代码。想想看：为了有效地使用泛型，编译器必须知道类型或方法是泛型的，并且它必须知道泛型参数的数量、位置和边界。

为此，javac在类型和方法上发出所谓的签名属性，这些类型和方法本身是泛型的，或者其签名包含类型变量或其他泛型类型的实例化。

对于泛型类型，如映射

1. 由类型声明的所有泛型参数（类型变量）及其边界
2. 类型基类的完整泛型签名
3. 类型实现的接口的完整通用签名

对于映射界面，签名值如下所示：

<K:Ljava/lang/Object;V:Ljava/lang/Object;>Ljava/lang/Object;

您可以在输出的最后一行的javap-v中看到这个属性，该行位于结束符之后。要了解更完整的泛型签名是什么样子，请查看HashMap类，该类具有泛型基类并实现了多个接口：

<K:Ljava/lang/Object;V:Ljava/lang/Object;>Ljava/util/AbstractMap<TK;TV;>;Ljava/util/Map<TK;TV;>;Ljava/lang/Cloneable;Ljava/io/Serializable

从这个签名中，编译器知道以下关于类型HashMap的信息：

1. 有两个通用参数，K和V，它们都扩展了java.lang.Object。
2. 基类是java.util.AbstractMap

方法也可能具有Signature属性，但在方法的情况下，签名描述了：

1. 方法声明的所有泛型参数（类型变量）及其界限

然而，方法的签名被认为是额外的元数据；您永远不会看到字节码中直接引用的。相反，您将看到对方法描述符的引用，它类似于递归应用泛型擦除的签名。与签名属性不同，方法描述符是必需的<代码>javap-v非常好地向你们展示了这两个版本。例如，给定HashMap方法public V put（K，V）：

1. 方法描述符是（Ljava/lang/Object； Ljava/lang/Object；）Ljava/lang/Object；。
2. 通用签名是（TK； TV；）TV；。

Signature告诉编译器和您的IDE方法的完整通用签名，从而实现类型安全的实施。描述符是如何在调用站点的字节码中实际引用该方法的。例如，给定表达式map.put（0，"零"），其中map是Map

aload            (some variable holding a Map)
iconst_0
invokestatic     java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
ldc              "zero"
invokeinterface  java/util/Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;

请注意，没有保留任何通用信息。通过插入执行运行时强制转换的checkcast指令，在运行时强制执行有限类型安全。例如，调用map。在地图上获取（0）

aload            (some variable holding a Map)
iconst_0
invokestatic     java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
invokeinterface  java/util/Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast        Ljava/lang/String;

因此，即使Map类型在调用站点被完全擦除，发出的字节码也可以确保从Map检索到的任何值

需要强调的是，与类文件中的大多数元数据一样，签名属性是完全可选的。虽然javac在必要时会发出它们，但它们有可能被字节码优化器和模糊器等后处理器去除。当然，这将使得不可能以预期的方式使用泛型。例如，如果要去掉java/util/Map中的签名属性。类，您只能将Map作为等价于Map的非泛型类来使用