为什么java推断失败

Question

我有以下看似相似的方法，do1和do2：

class Demo<A>{
    public <C> Iterable<C> do1(List<? super C> _a) {
        return null;
    }


    public <C extends D, D> Iterable<C> do2(List<D> _a) {
        return null;
    }

    {
        List<? extends A> leA = null;

        do2(leA);
        do1(leA);
    }
}

当我编译上面的代码（javac 1.8.0_92）时，调用do2(leA)时do1(leA)失败。

required: List<? super C>
found: List<CAP#1>
reason: cannot infer type-variable(s) C
(argument mismatch; List<CAP#1> cannot be converted to List<? super C>)
where C,A are type-variables:
  C extends Object declared in method <C>do1(List<? super C>)
  A extends Object declared in class Cache
where CAP#1 is a fresh type-variable:
  CAP#1 extends A from capture of ? extends A

现在我想知道：这是因为javac中类型推断的实现不完整，还是我使用do1(leA)的调用创建了一个无效的类型树？

据我所知：

{li} in do1(leA)：Capture(? extends A)成为C 的超类型 {li} in do2(leA)：Capture(? extends A)成为C的超类型（间接通过：Capture(? extends A) == D和D :> C

意味着在C这两种情况下都应该（没有错误）解析为"? extends A"

Answer 1

您需要extends C而不是super C：

public <C> Iterable<C> do1(List<? extends C> _a) {

super C是祖先，而不是子类。