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) 调用创建了无效的类型树？

据我所知：

• 在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) {

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