另一个Java通用问题

Question

我有以下课程：

interface Able{/* ... */}
class A implements Able{/* ... */}

我有

Map<String,? extends Able> as;
as = new HashMap<String, A>();

为什么以下原因导致错误：

as.put("a", new A());

有任何想法吗？

Answer 1

对Java泛型的引用很好（jdk
site
）。

确实，@ Oli_Charlesworth提供了一个很好的答案，但也许这个答案会更完整。

在中，Collection<? extends Able>您不能插入任何正确的内容。

如果你有

class A implements Able {...}

和

class B implement Able {...}

然后，Collection<? extends Able>是两者的超类型：

Collection<A>
Collection<B>

因此写一些像这样的声明是合法的

//Code snippet 01
Collection< ? extends Able > list;
Collection<A> listA;
Collection<B> listB;
list = listA;
list = listB;

这确实是通配符表示法Collection<? extends Able>存在的原因。

但是，这里的事情变得越来越有趣：

在中，Collection<A>您只能插入的对象A（包括子类）。相同Collection<B>。在这两种情况下，您都无法添加仅仅是的内容Able。例如
：

//Code snippet 02
listA.add( new A() );  //valid at compile-time
listA.add( new B() );  //not valid at compile-time
listB.add( new B() );  //valid at compile-time
listB.add( new A() );  //not valid at compile-time

因此，如果将我们看到的内容分组code snippets 01 & 02，您将了解编译器绝对不可能接受如下语句：

Collection< ? extends Able > list;
list.add( new A() );         //not allowed, will work only if list is List<A>
list.add( new B() );         //not allowed, will work only if list is List<B>

因此，是的，super类型`Collection< ? extends Able

不接受添加任何内容。更为通用的类型提供子类型的功能的交集，因此，子类型的功能更少。在这里，我们失去了添加A对象和B对象的能力。这些功能将在层次结构中稍后出现……甚至意味着我们无法在超类中添加任何内容Collection<
? extends Able >`

补充说明：

另外，请注意，Collection<Able>您可以在中添加所需的内容：

Collection< Able > list;
list.add( new A() );         //valid
list.add( new B() );         //valid

但是，Collection<Able>是不是一个超类Collection<A>和Collection<B>。就像任何继承关系一样，这意味着子类可以执行其父类可以执行的任何操作，因为继承是专门化的。因此，这将意味着我们可以添加一个对象和B对象既子Collection<A>和Collection<B>，这是不是这样的。因为它不是超类，所以您不能拥有：

Collection<Able> list;
Collection<A> listA;
Collection<B> listB;
list = listA;  //not valid because there is no inheritance hierarchy
list = listB;  //not valid because there is no inheritance hierarchy

请注意，继承是一种高尼克关系（泛化/专业化），而集合定义了一条高尼克关系（容器/容器）。正式地将它们结合起来是一件令人头疼的事情，即使它很容易被人类的模糊生物所使用，例如在法国的比喻中：synecdocque。:)