请问为什么这个通用java代码不会编译？

Question

为什么这个通用java代码不会编译？

在这个简化的例子中，我有一个泛型类，以及一个返回Map而不管类型参数的方法。当我没有在包含类上指定类型时，为什么编译器会清除地图上的类型？

import java.util.Map;public class MyClass<T>{
    public Map<String, String> getMap()
    {   
        return null;
    }

    public void test()
    {   
        MyClass<Object> success = new MyClass<Object>();
        String s = success.getMap().get("");

        MyClass unchecked = new MyClass();
        Map<String, String> map = unchecked.getMap();  // Unchecked warning, why?
        String s2 = map.get("");

        MyClass fail = new MyClass();
        String s3 = fail.getMap().get("");  // Compiler error, why?
    }}

我得到这个编译错误。

MyClass.java:20: incompatible types
found   : java.lang.Objectrequired: java.lang.String
                String s3 = fail.getMap().get("");  // Compiler error

Answer 1

得到它了。这实际上不是一个错误，看起来很奇怪。从JLS的4.8节（原始类型）：未从其超类或超接口继承的原始类型C的构造函数（第8.8节），实例方法（第8.8节，第9.4节）或非静态字段（第8.3节）M的类型是其类型的擦除在对应于C的泛型声明中。原始类型C的静态成员的类型与对应于C的泛型声明中的类型相同。因此，即使方法的类型签名不使用类本身的任何类型参数，类型擦除也会启动并且签名变得有效public Map getMap()换句话说，我想你能想象一个原始类型为相同的API泛型类型，但所有<X>的移除位随处可见（在API中，未实现）。编辑：此代码：MyClass unchecked = new MyClass();Map<String, String> map = unchecked.getMap();&nbsp; // Unchecked warning, why?String s2 = map.get("");编译，因为从原始Map类型到隐式但未经检查的转换Map<String, String>。通过在最后一种情况下进行显式转换（在执行时无效），您可以获得相同的效果：// Compiles, but with an unchecked warningString x = ((Map<String, String>)fail.getMap()).get("");

Answer 2

嗯...不幸的是我无法告诉你它失败的原因。但我可以给你一个简单的解决方法：改变的类型fail来MyClass<?>，那么它将编译就好了。