最近在看深入理解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了吧，但是也从没听谁提到过。
希望大家多多指点
另外java泛型的机制：
http://irfen.iteye.com/blog/1888312
Java泛型实现原理：类型擦出
Java的泛型是伪泛型。在编译期间，所有的泛型信息都会被擦除掉。正确理解泛型概念的首要前提是理解类型擦出（type erasure）。
Java中的泛型基本上都是在编译器这个层次来实现的。在生成的Java字节码中是不包含泛型中的类型信息的。使用泛型的时候加上的类型参数，会在编译器在编译的时候去掉。这个过程就称为类型擦除。
如在代码中定义的List<object>和List<String>等类型，在编译后都会编程List。JVM看到的只是List，而由泛型附加的类型信息对JVM来说是不可见的。Java编译器会在编译时尽可能的发现可能出错的地方，但是仍然无法避免在运行时刻出现类型转换异常的情况。类型擦除也是Java的泛型实现方法与C++模版机制实现方式（后面介绍）之间的重要区别。
因为是编译完成的，包括类型检查这些，而反射绕过了编译检查，所以是没办法的。
反射是不会进行类型检查的，甚至你可以通过反射访问私有成员，按理说私有成员不该在外部被访问。反射提供了更大的灵活性。