5分钟快3首页    注册   登录
5分钟快3 = way to explore
5分钟快3 是一个5分钟快3关于 分享和探索的地方
现在注册
已注册用户请  登录
5分钟快3  ›  程序员

Java 泛型擦除与补偿的迷惑

  •  
  •   amiwrong123 · 8 天前 · 2339 次点击

    例子均来自 java 编程思想:

    //: generics/ArrayMaker.java
    import java.lang.reflect.*;
    import java.util.*;
    
    public class ArrayMaker<T> {
        private Class<T> kind;
        public ArrayMaker(Class<T> kind) { this.kind = kind; }
        @SuppressWarnings("unchecked")
        T[] create(int size) {
            return (T[])Array.ne5分钟快3Win
    stance(kind, size);
        }
        public static void main(String[] args) {
            ArrayMaker<String> stringMaker =
                    new ArrayMaker<String>(String.class);
            String[] stringArray = stringMaker.create(9);
            System.out.println(Arrays.toString(stringArray));
        }
    } /* Output:
    [null, null, null, null, null, null, null, null, null]
    *///:~
    

    作者刚在这个例子下说:即使 kind 被存储成了 Class<t>,擦除也意味着它实际上将存储为 Class,没有任何参数。Array.ne5分钟快3Win stance 传递过去的参数实际并未拥有 kind 所蕴含的类型信息。 5分钟快3我 觉得作者说的有道理,确实 Class<t>的 T 作为类型参数不会被实际存储,但看完5分钟快3我 有点担心对 Class 对象的使用了,因为 Class 对象并没有存储实际类型。5分钟快3我 甚至开始怀疑以前 Class 对象的用法,它都没有存储实际类型,那它到底是怎么 ne5分钟快3Win stance 的呢?怎么还能产生正确的结果呢?</t></t>

    //: generics/ClassTypeCapture.java
    
    class Building {}
    class House extends Building {}
    
    public class ClassTypeCapture<T> {
        Class<T> kind;
        public ClassTypeCapture(Class<T> kind) {
            this.kind = kind;
        }
        public boolean f(Object arg) {
            return kind.isInstance(arg);
        }   
        public static void main(String[] args) {
            ClassTypeCapture<Building> ctt1 =
                new ClassTypeCapture<Building>(Building.class);
            System.out.println(ctt1.f(new Building()));
            System.out.println(ctt1.f(new House()));
            ClassTypeCapture<House> ctt2 =
                new ClassTypeCapture<House>(House.class);
            System.out.println(ctt2.f(new Building()));
            System.out.println(ctt2.f(new House()));
        }
    } /* Output:
    true
    true
    false
    true
    *///:~
    

    这里作者说:如果引入类型标签,就可以转而使用动态的 isInstance 了。总之他意思是用 Class 对象可以对擦除进行补偿。

    但这个例子中居然可以使用 Class 对象的 isInstance 5分钟快3方法 ,而且可以正确的返回值。那他前面强调的“即使 kind 被存储成了 Class<t>,擦除也意味着它实际上将存储为 Class”的这个担心点也不复存在了吗?</t>

    总之,问题就是:1 是否 Class 对象不会存储实际类型呢? 2 如果 Class 对象没有存储实际类型,那它到底是怎么正确工作的呢?

    第 1 条附言  ·  8 天前
    感谢各位大佬的回答,现在基本理解了。这里简单说一下吧:
    ArrayMaker 的字节码或者说在运行期里面,程序只知道 kind 是一个 Class 而已,而没有具体得类型,这是因为擦除。

    而 ArrayMaker<String> stringMaker = new ArrayMaker<String>(String.class);这句的右边显示指定了类型为<String>,那么 create 5分钟快3方法 的返回值那里编译器会隐式地加上一句强制类型转换(String[])。相对的,如果是 ArrayMaker<String> stringMaker = new ArrayMaker(String.class),那么 create 5分钟快3方法 的返回值就是肯定 Object[],而不是 String[]了。
    第 2 条附言  ·  7 天前

    5分钟快3我 发现第一个例子还有个知识点,各位大佬帮忙看看5分钟快3我 理解得对吗?(泛型数组) T[] create(int size)这里返回的是一个泛型数组,但一般的返回泛型数组的函数实际都是返回Object[](并且编译器不会帮忙添加类型转换),因为“任何方式可以推翻底层的数组类型”,但这里有点特殊,因为这里用了反射包里的Array类。 通过下面试验:

            Object[] a = new Object[5];
            //Integer[] b = a;报错,此句证明了Object[]转Integer[]必须强制转换
    

    第一个例子的java汇编如下:

      public static void main(java.lang.String[]);
        descriptor: ([Ljava/lang/String;)V
        flags: (0x0009) ACC_PUBLIC, ACC_STATIC
        Code:
          stack=3, locals=3, args_size=1
             0: new           #5                  // class ArrayMaker
             3: dup
             4: ldc           #6                  // class java/lang/String
             6: invokespecial #7                  // Method "<init>":(Ljava/lang/Class;)V
             9: astore_1
            10: aload_1
            11: bipush        9
            13: invokevirtual #8                  // Method create:(I)[Ljava/lang/Object;
            16: checkcast     #9                  // class "[Ljava/lang/String;"
            19: astore_2
    

    从// Method create:(I)[Ljava/lang/Object;可以看出,create5分钟快3方法 返回的还是Object[]。从 // class "[Ljava/lang/String;"可以看出,这里编译器帮5分钟快3我 添加了一句类型转换(因为前面证明了必须添加类型转换,但5分钟快3我 的源码里并没有添加,所以只能是编译器添加的)。

    所以5分钟快3我 想问:使用了Array.ne5分钟快3Win stance的返回泛型数组的5分钟快3方法 ,就和一般的返回泛型数组的5分钟快3方法 不一样了吗?前者由于生成了真正对象的数组,所以编译器才会帮5分钟快3我 添加类型转换的吗?

    34 回复  |  直到 2019-09-12 18:42:44 +08:00
        1
    zgqq   8 天前
    Class 包含了实际类型信息, 要知道调用方想要的类型只能通过 Class,Java 的泛型只是用来做类型检查,尽量在编译期提示错误,想一下如果没有泛型到处都是 Object 对象,很容易就 ClassCastException 了
        2
    amiwrong123   8 天前
    @zgqq
    Class<T>类作为一个泛型类,它是怎么保存实际类型信息的呢?它就是要特殊一点是吗
        3
    napsterwu   8 天前
    任何一个对象都有 getClass 5分钟快3方法 ,调一下就知道了
        4
    bkmi   8 天前 via Android
    @amiwrong123 XXX.class ≠ Class<XXX>
    一个是子类,不接收泛型参数,一个是基类,接收泛型参数
        5
    guyeu   8 天前
    Class 并不依靠泛型提供类型信息,它本身就是类型信息;
    泛型擦除会擦除所有的动态泛型信息,但是会保留泛型类型声明里的类型信息,到运行时就是参数化类型了。
        6
    amiwrong123   8 天前
    @bkmi
    等一下,5分钟快3我 有点蒙,左边右边不都是 Class 对象吗,怎么还有子类和基类
        7
    amiwrong123   8 天前
    @guyeu
    泛型本来就会擦除,那肯定是也不能依靠泛型提供类型信息了。

    但“它本身就是类型信息”,这句5分钟快3我 可能还没怎么理解==(虽然5分钟快3我 知道 Class 对象的大概用法)
        8
    guyeu   8 天前
    @amiwrong123 #7 Java 中每个对象都会持有一个 Class 类的引用,这个 Class 类就是该对象的类型。Class 类本身就是用来描述类型的,当然不需要任何额外的信息
        9
    Aresxue   8 天前
    擦除是擦除到上界(比如5分钟快3你 这里 House 的上界就是 Building ),不是直接啥都擦没了
        10
    icris   8 天前
    类型是类型,对象是对象,kind 是对象,给 kind 标成 Object 它一样保存类型信息。
    简单的解决方案:Java 一开始没有范型。
        11
    bkmi   8 天前 via Android
    @amiwrong123 是5分钟快3我 说错了,没有子类基类的关系,
    XXX.class 是 Class<XXX> 的实例,
    具体的类型信息存储在内部一堆5分钟快3成员 变量上(包括 Nativie 部分),
    这里的泛型只是用于编码和编译期间的检查,不会存储任何信息
        12
    Raymon111111   8 天前
    这个如果5分钟快3你 深究 jvm 是怎么存 object 和 class 就很容易懂.

    每一个 object 都有一个引用(指针)指向了平常说的5分钟快3方法 区(perm 区 /metaspace)中一个类信息对象, 存着这个 object 对应类的元信息, 通过这个指针就可以拿到这个 object 本身对应类的信息, 反射什么的也是从这里拿东西的
        13
    amiwrong123   8 天前
    @icris
    所以 private Class<T> kind;这句里面的 T 并不会让泛型代码存储到实际类型,这是因为擦除。

    但 kind 指向的那个东西就是实际类型呗。。总感觉5分钟快3我 是不是该好好研究一下 Class 才行啊。。
        14
    oneisall8955   8 天前 via Android
    1 楼正解,泛型是为了编码时候,编译就能发现可能存在的问题从而做出最严格安全检测而已,实际上存的都是 Object 类型。编译器总是按照最安全的地方去检测。如果调用反射,就会破除这种限制,从而出现类型转换异常可能性。昨天写了一个小小的 Demo,不是很对题,但可以看出一些问题 http://github.com/oneisall8955/learn/blob/master/src/main/java/com/oneisall/learn/java/advanced/genericity/ErasureTest.java
        15
    kifile   8 天前
    String.class != Integer.class,5分钟快3你 传入的时候就是一个对象,本身就具备属性信息
        16
    amiwrong123   8 天前
    @Raymon111111
    确实想研究一下了,Class 到底是怎么存储实际类型的。

    还有就是,既然泛型会进行擦除,Class 的源码设计成了 Class<T>这样的泛型到底有什么用。
        17
    Raymon111111   8 天前
    @amiwrong123 java 里的泛型主要为了强类型编译期检查错误.

    5分钟快3你 把所有的东西都声明成 Object 类型也是可以跑通的. 但是很明显容易出错, 可能会把一个 Apple 赋值给 Banana
        18
    iffi   8 天前
    泛型定义不会被擦除,反射时可以动态获取泛型参数信息
        19
    momocraft   8 天前
    Class 不是对象

    5分钟快3你 能用 jawa 访问到的只是 Class (包括.java .class) 的一个 handle / representation
        20
    shily   8 天前   ♥ 2
    @amiwrong123 5分钟快3我 觉得5分钟快3你 没有理解,类型和值的问题。
    Class<T> 是类型;而 Building.class 是值,是具体的实现;例如:
    void func(Class<? extends Building> clazz)
    有如下的限定 Class<? extends Building> 用来接受 Building 及其子类。
    在编译期间,func(Building.class) 和 func(House.class) 是合法的,他们的类型符合 Building 的任意子类,但 String.class 不行。


    类型擦除是指,编译完成后,5分钟快3方法 变成了
    void func(Class clazz)
    因为丢失了类型信息,可以传入 String.class 了。

    5分钟快3你 说的 『 Array.ne5分钟快3Win stance 传递过去的参数实际并未拥有 kind 所蕴含的类型信息』,是错误的。虽然类型被变量 clazz 的类型被擦除了,但是一个对象 String.class 的具体实现并不会丢失。值并没有改变呐大兄弟。

    进而
    String s = "ok Google";
    Object o = s;

    虽然说 o 对于 s 来说 『类型』被擦除了,但它依然是 String 类型,依然可以调用 String 相关的5分钟快3方法 ,依然可以转换回 String,依然可以反射到 String 类型。
        21
    mxalbert1996   8 天前
    不是很能理解楼主为什么会这么想,如果类型擦除能把 Class 对象本身代表的类型信息都擦掉的话那5分钟快3你 说 Class 对象的 getName()5分钟快3方法 返回什么?难道全部返回"java.lang.Object"么?
        22
    amiwrong123   8 天前
    @shily
    感谢回答,感觉有点弄清楚了。其实就是,虽然引用 Class<T>的类型参数被擦除了,但其 Class 对象还是没有改变。

    专门去看了 Class 的源码,大概有这几个函数用了 T:
    1. public T ne5分钟快3Win stance()
    2. public TypeVariable<Class<T>>[] getTypeParameters()
    3. public native Class<? super T> getSuperclass()
    4. public Constructor<T> getConstructor(Class<?>... parameterTypes)
    5. public Constructor<T> getDeclaredConstructor(Class<?>... parameterTypes)

    以最常用的 ne5分钟快3Win stance 为例,以泛型的知识来理解,这里也应该是: 调用 ne5分钟快3Win stance 返回的是一个 Object,然后隐式地在这里加了一句强制类型转换呗。
        23
    leafin   8 天前
    其实这个问题在 1 楼就已经回答了。
    在运行时5分钟快3关于 类型的信息都是保存在 Class 里面的,这个时候没有泛型的事。
    泛型是用来在编译期防止不恰当的访问的,编译完成后,泛型信息就被擦除了。
    希望5分钟快3你 能明白编译期和运行时的区别。
        24
    yumeko   8 天前
    Java 的类型检查包括静态的和动态的检查。
    静态检查由 Java 编译器进行。动态检查由 Java 虚拟机进行。
    动态检查可以防止错误的 type cast 造成程序产生 undefined behavior。
    当然动态检查的结果是,错误的 type cast 会让程序产生 Error 而退出执行。
    范型虽然会擦除类型,但是如果代码里没有 type cast,那么执行就是安全的。
    T 是一个类型参数,5分钟快3你 不能用一个类型参数来产生类型实例。
    类型参数只是给编译器确定代码里一个范型类的具体类型是什么。
    所以范型类内部无法使用 T 来确定需要构造什么类型。
    但是 Java Byte Code 在具体的范型类实现上又会保存类型信息,并且可以通过反射 API 获取。
    例如说 static List<String> getList() {...} 的函数签名返回类型是 java.util.List<java.lang.Object>,
    但是范型信息会保存 java.util.List<java.lang.String>。
    这样可以使用反射来对某一个范型类型的特化类型生成一个具有特化参数实例的安全的范型实例。
        25
    pursuer   8 天前
    附言的理解不对啊,Java 的泛型只是用于编译器检查的,对实际生成的代码是没有影响的
        26
    amiwrong123   8 天前
    @pursuer
    有影响的,泛型除了检查外,在明确指定了泛型的具体类型后( ArrayMaker<String> stringMaker = new ArrayMaker<String>(String.class);),返回 T 类型的5分钟快3方法 会隐式地加一句强制类型转换,这一点5分钟快3我 刚才通过 javap 看 java 汇编看出来了的。
        27
    pursuer   8 天前
    @pursuer 不过好像这么理解也没错,kind 是一个 Class,运行期要用 isAssignabelFrom getName 之类的5分钟快3方法 才能判断类型 kind 代表的类型
        28
    amiwrong123   8 天前
    @pursuer
    准确的说,泛型代码的字节码没有变化。但是在主函数的调用 create 5分钟快3方法 的地方,会隐式地加一句强制类型转换。
        29
    pursuer   8 天前
    @amiwrong123 这样,5分钟快3我 之前一直以为泛型对代码生成是没有影响的,感觉一般泛型 xxx<xxx>最后都会变成 xxx<Object>
        30
    amiwrong123   7 天前
    @zgqq
    @napsterwu
    @bkmi
    @guyeu
    @Raymon111111
    @shily
    @leafin
    各位大佬,能否帮忙看一下附言 2 5分钟快3关于 泛型数组的5分钟快3我 的理解对吗?
        31
    guyeu   7 天前
    声明的一个泛型类型是有上界和下界的,泛型擦除会把它的类型擦除到它的上界,默认情况下就是 Object 了。
    5分钟快3你 可以把泛型理解为编码期间用于提示类型的一种语法糖(当然这有点片面),返回一个泛型数组的5分钟快3方法 比如5分钟快3你 这个 ArrayMaker.create,它的类型在5分钟快3你 new 出这个 ArrayMaker 实例的时候就给它指定了。

    另外,5分钟快3我 使用的 jdk11,不可以进行类似的强转:
    ```java
    Integer[] array = (Integer[]) new Object[] {};
    ```
    这是因为`new Object[] {}`的类型是`Object[]`,而 java 是不支持向下的强制类型转换的。
    Array.ne5分钟快3Win stance 是一个 native 的5分钟快3方法 ,它返回的就是一个指定类型的数组,而5分钟快3你 的字节码里的强制类型转换是5分钟快3你 的代码里原本就存在的,并不是编译器帮5分钟快3你 加的。
        32
    amiwrong123   7 天前
    @guyeu
    5分钟快3我 才发现,如果是 java12,所以这样 Integer[] b = (Integer[]) new Object[] {};居然是能通过编译的。然后试了 java8,也是不可以的。


    “而5分钟快3你 的字节码里的强制类型转换是5分钟快3你 的代码里原本就存在的,并不是编译器帮5分钟快3你 加的。”(代码里也没有写(String[])的啊),难道5分钟快3你 意思就是,因为 String[] stringArray = stringMaker.create(9);左边是 String[],所以就有了强制转换呗。但是,5分钟快3我 觉得强制转换是需要自己写出来的啊,像这样 String[] stringArray = (String[])stringMaker.create(9);。毕竟 create 5分钟快3方法 返回的是 Object[],从 // Method create:(I)[Ljava/lang/Object;也能看出来。

    而且根据 java8 的测试,就算写了也是编译通不过。那这里 String[] stringArray = stringMaker.create(9);到底是怎么执行成功的呢。

    有点笨,见谅哈==
        33
    guyeu   7 天前
    @amiwrong123 #32
    5分钟快3你 的这个实例的泛型参数是 String,然后`return (T[])Array.ne5分钟快3Win stance(kind, size);`这句话进行了显式的强制类型转换,所以5分钟快3我 说代码里本来就有强制类型转换。

    `Array.ne5分钟快3Win stance`和`new Object[] {}`是不一样的,Array.ne5分钟快3Win stance 调用 native 5分钟快3方法 生成了一个指定类型的对象数组,即使5分钟快3方法 签名的返回值是 Object,那只是一个符号,实际的对象的类型是指定类型的数组,而`new Object[] {}`创建了一个 Object 类型的数组。

    而像5分钟快3你 那样的强制类型转换编译是可以通过的,因为编译器并不负责保证5分钟快3你 的显式强制类型转换的类型安全,但是在运行时会抛 ClassCastException。
        34
    guyeu   7 天前
    @pursuer #29
    @amiwrong123 #32
    说泛型对字节码没有影响是片面的,泛型的上界会影响泛型变量的类型,类 /接口声明时的泛型参数会被记录,可以在运行时通过反射 API 获取。
    5分钟快3关于   ·   FAQ   ·   API   ·   5分钟快35分钟快3我 们 的愿景   ·   广告投放   ·   感谢   ·   实用小5分钟快3工具   ·   2581 人在线   最高记录 5043   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.3 · 29ms · UTC 13:58 · PVG 21:58 · LAX 06:58 · JFK 09:58
    ♥ Do have faith in what you're doing.