通配符捕獲錯誤：爲什麼？

Question

我無法理解通配符捕獲錯誤，或找到一種方法來繞過它：

import java.util.List; 


class A<B extends A.AA<? extends C>, C> { 

    List<C> list; 

    public void foo(B inner) { 
    C c = get(); 
    inner.nop(c); 
    } 

    private C get() { 
    return list.get(0); 
    } 

    static public class AA<D> { 
    public void nop(D d) { 
     System.out.println(d); 
    } 
    } 
} 

這裏的javac的輸出中：

Wildcards.java:10: error: method nop in class AA<D> cannot be applied to given types;     
     inner.nop(c);                     
     ^                      
required: CAP#1                      
found: C                       
reason: actual argument C cannot be converted to CAP#1 by method invocation conversion    
where C,D are type-variables:                  
    C extends Object declared in class A                
    D extends Object declared in class AA                
where CAP#1 is a fresh type-variable:                
    CAP#1 extends C from capture of ? extends C              
1 error 

我們爲什麼不能傳給C的一個實例B.nop（）？

Answer 1

比方說，你創建的A一個實例：

A<A.AA<String>,Object> a = new A<A.AA<String>,Object>(); 
A.AA<String> inner = new A.AA<String>(); 
a.foo(inner); 

inner.nop()應該期待一個String，但你傳遞一個Object。

一個可能的解決方法是：

class A<B extends A.AA<C>, C>