Java泛型擦除

最新推荐文章于 2022-08-09 10:43:33 发布

程序员小潘

最新推荐文章于 2022-08-09 10:43:33 发布

阅读量3k

点赞数

分类专栏： Java 文章标签：泛型擦除

本文链接：https://blog.csdn.net/qq_32099833/article/details/103097849

版权

Java 专栏收录该内容

37 篇文章 0 订阅

订阅专栏

泛型

Java泛型（generics）是JDK 5中引入的一个新特性，泛型提供了编译时类型安全监测机制，该机制允许程序员在编译时监测非法的类型。使用泛型机制编写的程序代码要比那些杂乱地使用Object变量，然后再进行强制类型转换的代码具有更好的安全性和可读性。泛型对于集合类尤其有用，例如，ArrayList就是一个无处不在的集合类。

没有泛型前，集合类存放和取出都是Object，需要手动的进行强制类型转换。
一旦类型不匹配，转换将会报错。

实际的应用中，开发者往往会将同一类型的对象存放在集合中，没有泛型不仅对存放的对象没有约束，而且取出来还要进行类型转换，十分的不友好。

JDK5中引入了泛型的概念，泛型的本质是参数化类型，使得开发者可以利用集合更加方便的管理一群对象。

伪泛型

需要注意的是，Java中的泛型就是“伪泛型”。
Java只会在编译时对泛型进行校验，在运行时是没有“泛型”一说的。

通过ArrayList类来看看为什么Java是“伪泛型”，以及如何实现“泛型擦除”。

ArrayList

ArrayList集合应该是开发中用的最多的集合类了。

通常我们这么用：

ArrayList<String> names = new ArrayList<>();
names.add("admin");
names.add("root");

构建一个集合，用于存放姓名，姓名都是字符串类型的，所以使用String泛型。

使用泛型后，的确我们只能add一个字符串类型，否则编译器就会报错。
看起来近乎完美，那为什么说Java的“伪泛型”呢？

我们看一下ArrayList的源码。

add()

public boolean add(E e) {
	ensureCapacityInternal(size + 1);  // Increments modCount!!
	elementData[size++] = e;
	return true;
}

调用add()时，ArrayList将对象存放到了内部的elementData[]数组中。

elementData

transient Object[] elementData;

通过查看elementData我们发现，它是个 Object[] ，而非String[]，这意味着它可以存放任意类型的对象。

Java只会在编译期间帮我们校验泛型，运行时没有“泛型”一说。

ArrayList<String>底层依然使用Object[]来存放对象，当我们从names中获取元素时，Java会帮我们把Object自动的转换为String，只是转换的工作不用程序员自己去做，所以说Java的泛型是“伪泛型”。

泛型擦除

既然底层是Object[]，就意味着我们可以往names中存放任意类型的对象。

涉及的知识点：反射。

直接上代码：

public static void main(String[] args) throws Exception {
		ArrayList<String> names = new ArrayList<>();
		names.add("admin");
		names.add("root");
		Method add = names.getClass().getMethod("add", Object.class);
		add.invoke(names, 10);
		add.invoke(names, 19.98);
		add.invoke(names, Boolean.FALSE);
		for (Object s : names) {
			System.out.println(s.getClass().getSimpleName() + "\t:" + s);
		}
	}
输出如下：
String	:admin
String	:root
Integer	:10
Double	:19.98
Boolean	:false