泛型奇数-我可以在地图中插入一个Long值 它可以编译并且在运行时不会失败

Question

输入以下代码：

public static void main(String[] args) {
        HashMap<String, String> hashMap = new HashMap<>();
        HashMap<String, Object> dataMap = new HashMap<>();
        dataMap.put("longvalue", 5L);

        class TestMethodHolder {
            <T> T getValue(Map<String, Object> dataMap, String value) {
                return (T)dataMap.get(value);
            }
        }

        hashMap.put("test", new TestMethodHolder().<String>getValue(dataMap, "longvalue"));
        String value = hashMap.get("test"); // ClassCastException occurs HERE
        System.out.println(value);
    }

对我来说，这段代码可以编译并不奇怪，但是ClassCastException发生在get行而不是它上面的put行，尽管我确实对可能发生的事情有一个有根据的猜测。由于在运行时会擦除泛型类型，因此getValue（）中的强制转换实际上从不会在运行时发生，并且实际上是对Object的强制转换。如果按以下方式实现该方法，则将发生运行时强制转换，并且将在放置行上失败（如预期的那样）。有人可以确认吗？

class TestMethodHolder {
        String getValue(Map<String, Object> dataMap, String value) {
            return (String)dataMap.get(value);
        }
    }

这是使用泛型的已知缺陷还是奇怪？那么在调用方法时使用<>表示法是不好的做法吗？

编辑：我正在使用默认的Oracle JDK 1.7_03。

上面另一个隐含的问题：原始getValue STILL的强制转换是否在运行时发生，但强制转换实际上是对对象的-
编译器是否足够聪明，可以完全消除这种强制转换？这可能解释了人们在运行ClassCastException时会注意到的区别。

Answer 1

编译器依赖于类型安全性进行假设并进行转换/优化。不幸的是，类型安全性可以通过未经检查的强制转换来破坏。如果您的程序包含不正确的未经检查的强制转换，则不清楚编译器应该做什么。理想情况下，它应在未检查的强制转换的确切点进行运行时检查，在您的示例中Object为T。但是由于擦除，这是不可能的，而这并不是类型系统的一部分。

在示例中的其他任何地方，类型都是健全的，因此编译器可以假定getValue()确实返回a
String，无需再次检查。但是进行检查也是合法的，就像Eclipse编译器所做的那样（可能是因为它将返回值分配给String本地temp变量）。

因此，有个坏消息是，如果您的程序包含不正确的未经检查的强制转换，则其行为是不确定的…。因此，请通过严格的推理确保所有未经检查的强制转换都是正确的。

一个好的做法是检查所有未选中的强制类型转换，以便您可以合法地取消选中未选中的警告。例如

        <T> T getValue(Map<String, Object> dataMap, String value, Class<T> type) 
        { 
            Object value = dataMap.get(value);
            if(value!=null && !type.isInstance(value))  // check!
                throw new ClassCastException();

            @SuppressWarning("unchecked")
            T t = (T)value;  // this is safe, because we've just checked
            return t;
        }

看到我对类似问题的回答：Java中的惰性类转换？