上一篇提到泛型基本是不可具化的，因为在运行期会将类型擦除。
我们也知道泛型擦出的目的主要是为了兼容原生态类型的代码，但是这有没有问题呢！！有，那就是我们可以利用反射越过泛型检查。
我们都知道，反射其实就是利用类加载过后的Class对象，
或者说就是用的那个.class文件里面的信息，而这里面的字节码是编译过的。
这就意味着我们可以不用经过编译阶段了，那就不会有类型检查。
通过反射获取对象后可以获得相应的add方法，并向方法里面传入任何对象。
public class ReflectDemo {
public static void main(String[] args) throws NoSuchMethodException {
List<Integer> list = new ArrayList<>(5);
list.add(1);
Class<?> targetClass = list.getClass();
Method addMetohd = targetClass.getDeclaredMethod("add",Object.class);
Student s = new Student("xiaoming",10);
try {
addMetohd.invoke(list, "badType");
addMetohd.invoke(list,s);
} catch (IllegalAccessException e) {
e.printStackTrace();
} catch (InvocationTargetException e) {
e.printStackTrace();
}
System.out.println(list.get(0));dui
System.out.println(list.get(1));
System.out.println(list.get(2));
}
}
还有一个Student类，就name和age属性，很简单，大家可以自己去写一个就好了。解释一下上述代码：
①新建一个List<Integer>对象，并向其中插入一个整型，此刻是有泛型检查的。
②我们通过反射获取class对象targetClass,之后获取class的add方法，并传入add方法参数的类型。之所以要传入Object.class,是因为在List<E>中，add方法的参数都是E类型的，所以当类型擦除之后就是Object。
③我们分别往add方法里面传入一个String对象和一个Student对象。
然后打印出信息：
Result.png
此时，这List对象里面就有三种类型的数据。
这个地方有一个坑，大家要注意下。
例如：你重写一下toString()方法，并把最后一行代码改成list.get(2).toString()。
你会发现出错了，刚开始我还奇怪了，意思是我能传入String，却不能传入Student对象吗？
其实不是的，问题其实出在toString()方法上。
你点进toString()你会发现它调用的其实是Integer的toString()方法而不是Student的toString()方法。这就有意思了！你其实可以自己想到，这是正常编译的过程，所以编译器当然认为list.get(2)出来的是一个Integer对象啦。
另外，当你利用反射往List<String>里面插入Integer的时候，在print()的时候也会出问题，其实原因都大同小异。此时的print()会调用String的方式，但是参数却是个Integer。
有没有想问，为啥反过来就不会出错了呢？因为print()方法没有Integer这种重载的形式，那么它会自动调用Object的形式，当然就不会出错啦。
print.png
ok，既然都讲到这了，我们反编译一下class对象，看一下里面究竟还有没有类型信息。
反编译.png
有没有一脸懵逼，不管你有没有，我反正是有的。咋个反编译回来还有泛型信息啊。放心，运行时类型擦出是没有问题的。这其实是因为idea的编译器给我们生成的，方便查看。
那我们再用java自带的工具反编译来看看：
反编译.png
嗯嗯，可以看到，类型信息其实是在注释里面的是有的。
很早之前看过一篇博文，里面分析的很好class文件的属性表中添加了Signature和LocalVariableTypeTable等属性来支持泛型识别的问题。感兴趣的深追！
网友评论