尝试创建地图时出现不兼容类型错误

Question

我正在尝试使用ConcurrentSkipListMap 创建地图地图。如果我创建一个简单的地图示例，它似乎很好：

Map<Integer, Integer> mmap2 = new ConcurrentSkipListMap<Integer, Integer>();

一旦我尝试创建地图地图，我会收到 Incompatible types 错误：

Map<Integer,  Map<Integer, Integer>> mmap = 
   new ConcurrentSkipListMap<Integer, ConcurrentSkipListMap<Integer, Integer>>();

如果我切换定义以包含ConcurrentSkipListMap，它的编译没有问题：

Map<Integer,  ConcurrentSkipListMap<Integer, Integer>> mmap = 
   new ConcurrentSkipListMap<Integer, ConcurrentSkipListMap<Integer, Integer>>();

为什么我不能使用Map接口定义地图的地图？

Answer 1

我可以用一个例子来回答这个问题。

Map<Integer, Map<Integer, Integer> mmap = new ConcurrentSkipListMap<Integer, ConcurrentSkipListMap<Integer, Integer>>();

mmap.put(5, new HashMap<Integer, Integer>());

在这种情况下，您是否希望 put 行被允许？如果不允许，那么它会破坏 mmap 的定义。如果允许，则它会破坏右手边。

您已经生成了一行代码，无论它是否有效，都会给您带来矛盾。因此我们不允许这样定义 mmap。

Answer 2

继承不适用于泛型type parameters。
您可以使用如下通配符。

   Map<Integer,  ? extends Map<Integer, Integer>> mmap = new ConcurrentSkipListMap<Integer, ConcurrentSkipListMap<Integer, Integer>>();  

更多信息请阅读java subtyping

Answer 3

Polymorphism 的概念并没有像它们对类一样扩展到 Java 泛型。这就是为什么ConcurrentSkipListMap<Integer, ConcurrentSkipListMap<Integer, Integer>> 不被视为Map<Integer, Map<Integer, Integer>> 的子类型，因此无法分配。

原因是 generics 只提供 compile-time 类型安全。在运行时，由于所谓的类型擦除，泛型类型是未知的。所以，基本上 编译器 试图阻止这种情况

// if this was allowed
List<Shape> shapes = new ArrayList<Circle>();

// and some place else in your code
shapes.add(new Square()); // Square now fits in a Circle list

这会破坏ArrayList 的generic 类型并且不会抛出任何错误；因为，哪个 type 有效，哪个无效，在运行时是未知的。但是，如果你说，“嘿，这就是我想要的！Square 进入 Shapes 的列表。” 然后使用 new ArrayList<Shape>() 和 定义列表编译器会遵守。

所以，你只需要把你的任务设置为

Map<Integer,  Map<Integer, Integer>> mmap = 
                  new ConcurrentSkipListMap<Integer, Map<Integer, Integer>>();

即在使用泛型时，更喜欢使用双方一致的接口。

编辑：（回应@PaulBellora 的反对票）

您可以将Circle[] 分配给Shape[]，但不能将ArrayList<Circle> 分配给ArrayList<Shape>，这是有原因的。而且，原因是如果您的代码尝试通过Shape[] 引用将Square 添加到Circle[]，您将在运行时获得ArrayStoreException，因为JVM 会知道数组的实际类型。

但是，由于类型擦除，相同的运行时类型安全性不能扩展到集合，因此泛型类型不是协变的。如果问题是为什么要删除类型，那么如果在运行时知道它显然会带来好处；答案是使用 Java 5 之前的代码库。

Answer 4

您可以在这里尝试一下，您将在 Map 对象中拥有 Map 引用

public class GenericTest {

    void fun(){
        Map<Integer, Map<Integer, Integer>> mmap = new HashMap<Integer, Map<Integer, Integer>>();

        Map<Integer, Integer> map = new HashMap<Integer, Integer>();

        mmap.put(5,map);
    }
}