2 yizishou yizishou 于 2015.06.02 18:43 提问

对于Java反射的安全性的一些疑问

最近在看深入理解JVM,随手写了一点代码,有个问题不太理解。
代码如下:

    public static void main(String[] args) throws Exception {
        HashMap<Integer, String> map = new HashMap<Integer, String>();
        Method put = HashMap.class.getMethod("put", Object.class, Object.class);
        put.invoke(map, 1, new Object());
        System.out.println(map);
        String val = map.get(1);
        System.out.println(val);
    }

执行结果(编译和执行版本都是1.6):

 {1=java.lang.Object@2e6e1408}
Exception in thread "main" java.lang.ClassCastException: java.lang.Object cannot be cast to java.lang.String
    at T002.main(T002.java:12)

报错是在String val = map.get(1);这一行。

我不解的是:
通过反射,Integer-Object键值对竟然正确地放进了Integer-String的HashMap中!

这种不合理的结果,应当是很严重的BUG了吧,但是也从没听谁提到过。

希望大家多多指点

2个回答

caozhy
caozhy   Ds   Rxr 2015.06.02 18:49
已采纳

另外java泛型的机制:
http://irfen.iteye.com/blog/1888312

Java泛型实现原理:类型擦出
       Java的泛型是伪泛型。在编译期间,所有的泛型信息都会被擦除掉。正确理解泛型概念的首要前提是理解类型擦出(type erasure)。
       Java中的泛型基本上都是在编译器这个层次来实现的。在生成的Java字节码中是不包含泛型中的类型信息的。使用泛型的时候加上的类型参数,会在编译器在编译的时候去掉。这个过程就称为类型擦除。
    如在代码中定义的List<object>和List<String>等类型,在编译后都会编程List。JVM看到的只是List,而由泛型附加的类型信息对JVM来说是不可见的。Java编译器会在编译时尽可能的发现可能出错的地方,但是仍然无法避免在运行时刻出现类型转换异常的情况。类型擦除也是Java的泛型实现方法与C++模版机制实现方式(后面介绍)之间的重要区别。 

因为是编译完成的,包括类型检查这些,而反射绕过了编译检查,所以是没办法的。

caozhy
caozhy 回复yizishou: 编译后的代码,在字节码层面,没法区分泛型了。
2 年多之前 回复
yizishou
yizishou 我是不是可以这样理解,在我代码生成的class文件中,map对象因为是HashMap的实现所以保留有泛型信息,但是put对象因为是Method的实现所以没办法保留泛型信息,结果就是调用map.put()方法时需要匹配泛型,但是调用put.invoke()方法时则没办法获取泛型信息。。。。我自己都要绕晕了
2 年多之前 回复
caozhy
caozhy   Ds   Rxr 2015.06.02 18:47

反射是不会进行类型检查的,甚至你可以通过反射访问私有成员,按理说私有成员不该在外部被访问。反射提供了更大的灵活性。

Csdn user default icon
上传中...
上传图片
插入图片