Java泛型是伪泛型,会在编译完成时进行类型的擦除,我们无法在运行时获取泛型参数的具体类型(类型擦除会被替换成泛型的限定类型,若没有限定则被替换成Object)。
泛型类型擦除到底都擦除了哪些信息,是全部擦除吗?
其实java虚拟机规范中为了响应在泛型类中如何获取传入的参数化类型等问题,引入了signature,LocalVariableTypeTable等新的属性来记录泛型信息,所以所谓的泛型类型擦除,仅仅是对方法的code属性中的字节码进行擦除,而元数据中还是保留了泛型信息的,这些信息被保存在class字节码的常量池中,使用了泛型的代码调用处会生成一个signature签名字段,signature指明了这个常量在常量池的地址,这样我们就就可以获取泛型的类型信息了。
1、方法中Code属性
Java程序方法体中的代码经过Javac编译器处理后,最终变为字节码指令存储在Code属性内。
public static void main(String[] args) {
Map<String, String> map = new HashMap<>();
map.put("hello", "world");
map.put("你好", "世界");
System.out.println(map.get("hello"));
}
我们使用反编译工具对源码的Class文件反编译之后,可以看到,泛型都变成了原生类型。即方法内部参数和方法实参被擦除!
class文件反编译(Class文件):
public static void main(String[] args)
{
Map map = new HashMap();
map.put("hello", "world");
map.put("你好", "世界");
System.out.println((String)map.get("hello"));
}
2、元数据
类结构相关的信息(属性,类,接口,方法签名)即元数据。
源码:
public class Test<T> {
private T data;
private Set<String> set = new HashSet<>();
public <T> boolean isBoolean(Test<T> data) {
Map<String, String> map = new HashMap<>();
map.put("hello", "world");
map.put("你好", "世界");
System.out.println(map.get("hello"));
return true;
}
//查看反编译文件
public static void main(String[] args) {
Test<Integer> test=new Test<>();
}
}
源码反编译(Class文件):
public class Test<T>
{
private T data;
private Set<String> set;
public Test()
{
this.set = new HashSet(); }
public <T> boolean isBoolean(Test<T> data) {
Map map = new HashMap();
map.put("hello", "world");
map.put("你好", "世界");
System.out.println((String)map.get("hello"));
return true;
}
public static void main(String[] args)
{
Test test = new Test();
}
}
类及其字段和方法的类型参数相关的元数据都会被保留下来,可以通过反射获取到。
下面看下如何通过反射来获取泛型的实体化类型。
3、获取泛型实参的类型
3.1、继承一个泛型类
public class Parent<T> {
}
public class Child extends Parent<String> {
}
public void getRuntime() {
Child child = new Child();
ParameterizedType parameterizedType = (ParameterizedType) child.getClass().getGenericSuperclass();
System.out.println(Arrays.toString(parameterizedType.getActualTypeArguments()));
}
输出
[class java.lang.String]
3.2、实现一个泛型接口
public interface A<T> {
}
public class B implements A<String> {
}
public void getRuntime() {
B b = new B();
ParameterizedType parameterizedType = (ParameterizedType) (b.getClass().getGenericInterfaces()[0]);
System.out.println(Arrays.toString(parameterizedType.getActualTypeArguments()));
}
输出
[class java.lang.String]
3.3、匿名内部类的形式获取
针对上面的泛型类Parent
和泛型接口A
,分别创建匿名内部类。
public void getRuntime() {
A<String> a = new A<String>() {
};
Parent<Integer> parent = new Parent<Integer>() {
};
ParameterizedType aType = (ParameterizedType) a.getClass().getGenericInterfaces()[0];
System.out.println(Arrays.toString(aType.getActualTypeArguments()));
ParameterizedType parentType = (ParameterizedType) parent.getClass().getGenericSuperclass();
System.out.println(Arrays.toString(parentType.getActualTypeArguments()));
}
}
输出
[class java.lang.String]
[class java.lang.Integer]
网友评论