java——泛型中的类型擦出

先来个实例，看看他会输出什么

package com.zy.test;

import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashMap;
import java.util.List;
import java.util.Map;

public class ErasedTypeEquivalence {
    
    public static void main(String[] args) {
        Class c1 = new ArrayList<String>().getClass();
        Class c2 = new ArrayList<Integer>().getClass();
        System.out.println(c1 == c2);// ArrayList<String>和ArrayList<Integer>居然是相同的类型
        System.out.println(c1);
        System.out.println(c2);
    }
}

输出结果是：

true
class java.util.ArrayList
class java.util.ArrayList

也就是说变量c1和c2的类型是相同的，但是我们明明在ArrayList中定义类型是Integer和String了啊，这边就要引入泛型中的一个概念，就是类型擦除。

为了更好的解释这个类型擦出，我们再举一个例子：

package com.zy.test;

import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashMap;
import java.util.List;
import java.util.Map;

public class ErasedTypeEquivalence {
  
    public static void main(String[] args) {
        List<Frob> list = new ArrayList<Frob>();
        Map<Frob, Fnorkle> map = new HashMap<Frob, Fnorkle>();
        Quark<Fnorkle> quark = new Quark<Fnorkle>();
        Particle<Long, Double> p = new Particle<Long, Double>();
        System.out.println(Arrays.toString(list.getClass().getTypeParameters()));
        System.out.println(Arrays.toString(map.getClass().getTypeParameters()));
        System.out.println(Arrays.toString(quark.getClass().getTypeParameters()));
        System.out.println(Arrays.toString(p.getClass().getTypeParameters()));
    }
}


class Frob {}
class Fnorkle {}
class Quark<Q> {}
class Particle<POSITION, MOMENTUM> {}

输出结果：

[E]
[K, V]
[Q]
[POSITION, MOMENTUM]

其中Class.getTypeParameter()将返回一个TypeVariable的对象数组，表示有泛型声明所声明的类型参数。也即是这个函数是会返回参数的类型信息，但是正如我们在输出结果中可以看到，参数类型只是用作参数占位符的标识符，这并非有用的信息。

一个很残酷的现实就是在泛型代码内部，无法获取任何有关泛型参数类型的信息。

java泛型是使用擦除实现的，这意味着当你在使用泛型时，任何具体的类型信息都会被擦除，你唯一知道的就是你在使用一个对象。因此List<String>和List<Integer>在运行时事实上是相同的类型。这两种形式都被擦除成它们原生类型，就是List。

java——泛型中的类型擦出

猜你喜欢