为什么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）时，调用do1(leA) 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)创建了一个无效的类型树？

据我所知：

• 在do1(leA) ： Capture(? extends A)成为C的超类型
• 在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是和祖先，而不是子类。