通俗易懂的讲解：Java 泛型优点、原理、限制和实现

第一时间获取 IT 技术干货！

阅读文本大概需要 6 分钟。

类型擦除

Java是怎么实现泛型的？不错，类型擦除。Java编译器将源码编译成字节码的时候会将你在源码中声明的类型进行擦除，比如：

List<String> list = new ArrayList<String>();

在编译后，字节码中只有List，运行在JVM中也是一样的，那你可能会有疑问，既然将类型擦除了，那为什么我声明的泛型为String类型时，不能往里add一个整型的数据呢？这是因为编译器在编译前会进行类型检查，类型不一致会直接编译报错。
一般作为初级工程师知道这些就算合格了。

我们往深一层研究下，难道我们一定不能往声明泛型为String的list中增加一个整型元素吗？聪明的同学可能想到了，既然是在编译前检查类型的，编译后又将类型擦除了，那我是不是可以在运行时通过反射将整型数字add进去？不错！确实是可以的。

List<Long> list = new ArrayList<Long>();
list.add(100L);
list.getClass().getMethod("add", Object.class).invoke(list, "abc");


// 然后我们将list打印出来
for (int i = 0; i < list.size(); i++) {
    System.out.println(list.get(i));
}

打印出来确实是可以的，但是我能改成下面这样吗？

List<Long> list = new ArrayList<Long>();
list.add(100L);
list.getClass().getMethod("add", Object.class).invoke(list, "abc");


Long a = 0L;
// 然后我们将list打印出来
for (int i = 0; i < list.size(); i++) {
    a += list.get(i);
}

当然不能啦，当然如果你想的比较仔细，会发现一个很好玩的现象。对于上面这个list中第二个元素为"abc"，那我们分别以不同的类型来赋值：

String s = "";
Long a = 0L;
s = list.get(1);
a = list.get(1);

无论你是用String还是Long类型来接收都会报错，你用String来接收会报"Long cannot be converted to String"。你用Long类型来赋值会报"String cannot be cast to java.lang.Long"，你是不是感到迷茫了，其实这一切都是因为类型擦除，对于不能使用String类型来接收是因为编译器会做检查，因为list声明的泛型是Long类型的，而你使用String类型来赋值显然编译器会报错，第二种你使用Long类型来接收，编译器当然会认为是合法的，但是在运行的时候，list中的第二个实际值是String，强转成Long当然会报错了。这一切的根源是你使用反射向list中放入了一个和声明不同类型的数据。正常我们一般也不会这么做啦，这里只是验证一下这个机制而已。

好了，解释了这么多类型擦除的机制，那Java使用类型擦除来实现泛型有什么好处呢？

1、第一点我们将如此多的泛型在编译时擦除了，那么在运行时显然可以省不少的内存空间嘛。