Java的类型擦除式泛型详解

java选择的泛型类型叫做类型擦除式泛型。什么是类型擦除式泛型呢？就是java语言中的泛型只存在于程序源码之中，在编译后的字节码文件里，则全部泛型都会被替换为原来的原始类型（raw type），并且会在相应的地方插入强制转型的代码。

因此，对于运行期间的java程序来说arraylist< integer>和arraylist< string>其实是同一个类型。这也就是java选择的泛型类型叫做类型擦除式泛型的原因。

arraylist<string> stringarrays =new arraylist<>();
arraylist<integer> intarrays =new arraylist<>();

system.out.println(stringarrays.getclass().gettypename().equals(intarrays.getclass().gettypename()));

很显然 答案是 true，因为他们的类型都是java.util.arraylist

一、类型擦除式泛型

java为什么采用这种泛型呢？其实在于如果使用c#类型的泛型的话，会导致新的的java版本无法去兼容原始的java版本，也就会违背“二进制兼容性”原则。

所谓“二进制兼容性”,指的就是在升级java的版本时，不必重新修改原来的程序代码，既可使得程序在现在以至于未来的版本中能够正常运行。

也是因为“二进制兼容性”原则，java在1.4.2之前的版本都没有支持过泛型，如果需要在1.5之后的版本突然引入泛型，就需要考虑让以前的程序在新版本的虚拟机中还能正常运行。

其实，java的设计者也可以考虑学习c#一般，平行地增加一套泛型版本的新类型，以前的版本保持不变就行了。但是java的设计人员并没有这么做，而是选择了把已有的不支持泛型的类型泛型化，不添加任何平行于已有类型的泛型版。

还是我们刚刚所讲的例子，因为java1.5之后把所有的类型泛型化，所以arraylist< integer>和arraylist< string>全都被转化为了arraylist的子类。

将之前的代码反序列化之后，我们能够看出强制转化的类型消失了，java代码变回了泛型出现之前的写法。

public static void main(string[] var0) {
    arraylist var1 = new arraylist();
    arraylist var2 = new arraylist();
}

当然，元素访问时插入了从object到string的时候，则会强制转型代码。

泛型擦除之后：

hashmap var1 = new hashmap();
var1.put("a", "a");
system.out.println((string)var1.get("a"));

hashmap var2 = new hashmap();
var2.put(1, "a");
system.out.println((string)var2.get(1));

hashmap var3 = new hashmap();
var3.put("a", 1);
system.out.println(var3.get("a"));

也是因为类型擦除的问题,我们存入list的不同类型的对象都可以自然的转换成object类型，但是取出的时候都需要强制转换，所以会出现拆箱装箱的消耗、以及可能出现的数据类型转换的错误。因此，在使用集合的时候推荐使用arraylist< string>这种已经转换完毕的形式。

arraylist var1 = new arraylist();
var1.add("aaaa");
var1.add(100);
var1.add('c');
var1.add(21.5f);

二、泛型可能出现的问题

1、类型转换的问题

如果我们想实现一个方法，想要将不确定的list集合转化为数组，那我们该怎么做？因为泛型的类型可擦除，我们无法直接从list中取得参数化类型t，所以只能从额外的参数中传递一个数组的泛型类型进去进行转换。

//必须传递class<t> othertype作为参数类型
public static <t> t[] convert(list<t> list ,class<t> othertype){
    t[] array = (t[]) array.newinstance(othertype,list.size());
    return array;
}
public static void main(string[] args) {
    list<string> list = new arraylist<string>(){{
        add("a");
    }};
 
    string[] result =convert(list,string.class);
}

当然，也可以通过反射手段来获取泛型类型。

class clazz = list.getclass();
//getsuperclass()获得该类的父类

system.out.println(clazz.getsuperclass()); //class java.util.arraylist
//getgenericsuperclass()获得带有泛型的父类
//type是 java 编程语言中所有类型的公共高级接口。它们包括原始类型、参数化类型、数组类型、类型变量和基本类型。

type type = clazz.getgenericsuperclass();
system.out.println(type); //java.util.arraylist<java.lang.string>

//parameterizedtype参数化类型，即泛型
parameterizedtype p = (parameterizedtype) type;

//getactualtypearguments获取参数化类型的数组，泛型可能有多个
class c = (class) p.getactualtypearguments()[0];
system.out.println(c); //class java.lang.string

string[] convert = convert(list, c);

2、泛型与重载的矛盾

public static  void method(list<string> list){
     
}
public static  void method(list<integer> list){
}

便已无法通过：
'method(list<integer>)' clashes with 'method(list<string>)'; both methods have same erasure

我们已知上面的代码是无法通过编译的，因为list中的参数被擦除了，变成了原始类型的list。

三、泛型的最佳实践

经过之前的论述，大家已经知道了java泛型的一些基础知识，以及在使用泛型的时候可能出现的问题。如果在使用泛型的时候可以遵循一些基本的原则，就能避免一些常见的问题。

在代码中避免泛型类和原始类型的混用。比如list< string>和list不应该共同使用。这样会产生一些编译器警告和潜在的运行时异常。当需要利用jdk 5之前开发的遗留代码，而不得不这么做时，也尽可能的隔离相关的代码。

在代码中避免泛型类和原始类型的混用。比如list< string>和list不应该共同使用。这样会产生一些编译器警告和潜在的运行时异常。当需要利用jdk 5之前开发的遗留代码，而不得不这么做时，也尽可能的隔离相关的代码。
在使用带通配符的泛型类的时候，尽可能的明确通配符所代表的一组类型的概念。
泛型类最好不要同数组一块使用。你只能创建new list<?>[10]这样的数组，无法创建new list[10]这样的。这限制了数组的使用能力，而且会带来很多费解的问题。因此，当需要类似数组的功能时候，使用集合类即可。
如果编译器给出的警告信息，在其他地方很多时候可以忽略(可能是格式带来的问题)，但是在泛型代码中还是尽量解决问题。

到此这篇关于java的类型擦除式泛型详解的文章就介绍到这了,更多相关java擦除式泛型内容请搜索www.887551.com以前的文章或继续浏览下面的相关文章希望大家以后多多支持www.887551.com！

黄山市民网：https://www.huangshanshimin.com/