15.7 擦除的神秘之处

Java中的泛型是用擦除实现的。
这个就很有意思。
getTypeParameters() 这个函数可以获取泛型的占位符。本来应该获取类型参数。

import java.util.*;

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


public class LostInformation {

    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()));
    }
}

输出

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

这就能看出,我们除了能得到占位符,其他的什么也得不到。


我是分割线 我是分割线 我是分割线 我是分割线 我是分割线 我是分割线 我是分割线 我是分割线


再看个例子,你就懂了。

ArrayList<String>与ArrayList<Integer>是同一种类型。
你把Integer放到ArrayList<String>中,她可不会同意。
同样,你把String放到ArrayList<Integer>中,她也不会同意。
你看,ArrayList<String>与ArrayList<Integer>的行为是不同的。
所以他们是不同的类型,但是因为Java的泛型是通过擦除实现的,所以她们都被擦除成了ArrayList。

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);
    }
}

输出

true
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容