Java 泛型谜题，扩展类并使用通配符

一段时间以来，我一直在努力解决这个问题，并认为也许一些新人会看到这个问题；谢谢你的时间。

import java.util.*;

class Tbin<T> extends ArrayList<T> {}
class TbinList<T> extends ArrayList<Tbin<T>> {}

class Base {}
class Derived extends Base {}

public class Test {
  public static void main(String[] args) {
    ArrayList<Tbin<? extends Base>> test = new ArrayList<>();
    test.add(new Tbin<Derived>());

    TbinList<? extends Base> test2 = new TbinList<>();
    test2.add(new Tbin<Derived>());
  }
}

使用 Java 8。在我看来，就像直接创建容器一样test相当于容器中test2，但编译器说：

Test.java:15: error: no suitable method found for add(Tbin<Derived>)
    test2.add(new Tbin<Derived>());
         ^

我该怎么写Tbin and TbinList那么最后一行可以接受吗？

请注意，我实际上会添加键入的Tbin这就是为什么我指定Tbin<Derived>在最后一行。

发生这种情况是因为方式捕获转换 http://docs.oracle.com/javase/specs/jls/se8/html/jls-5.html#jls-5.1.10 works:

There exists a capture conversion from a parameterized type G<T1,...,Tn> to a parameterized type G<S1,...,Sn>, where, for 1 ≤ i ≤ n :

• If Ti is a wildcard type argument of the form ? extends Bi, then Si is a fresh type variable [...].

捕获转换不会递归应用。

注意结束位。那么，这意味着，给定这样的类型：

    Map<?, List<?>>
//      │  │    └ no capture (not applied recursively)
//      │  └ T2 is not a wildcard
//      └ T1 is a wildcard

仅捕获“外部”通配符。这Map键通配符被捕获，但是List元素通配符不是。这就是为什么我们可以添加到List<List<?>>，但不是一个List<?>。通配符的位置很重要。

将此转移到TbinList，如果我们有一个ArrayList<Tbin<?>>，通配符位于不会被捕获的地方，但是如果我们有一个TbinList<?>，通配符位于它被捕获的位置。

正如我在评论中提到的，一个非常有趣的测试是这样的：

ArrayList<Tbin<? extends Base>> test3 = new TbinList<>();

我们得到这个错误：

error: incompatible types: cannot infer type arguments for TbinList<>
    ArrayList<Tbin<? extends Base>> test3 = new TbinList<>();
                                                        ^
    reason: no instance(s) of type variable(s) T exist so that
            TbinList<T> conforms to ArrayList<Tbin<? extends Base>>

所以没有办法让它按原样工作。其中一个类声明需要更改。

另外，这样想一下。

假设我们有：

class Derived1 extends Base {}
class Derived2 extends Base {}

由于通配符允许子类型化，我们可以这样做：

TbinList<? extends Base> test4 = new TbinList<Derived1>();

我们是否可以添加一个Tbin<Derived2> to test4？不，这将是堆污染。我们最终可能会得到Derived2s 漂浮在TbinList<Derived1>.