Javaジェネリックスワイルドカード：なぜこれはコンパイルされませんか？

Question

class Demo { 
    <T> void gTee(List<List<T>> tl) { 
     tee(tl); 
    } 

    void tee(List<List<?>> tl) { 
    } 
} 

JDK 8は

incompatible types: java.util.List<java.util.List<T>> cannot be converted to java.util.List<java.util.List<?>>

どのように来ると言いますか？私は、?ワイルドカードはのいずれかのタイプのいずれかであると考えていました。

Answer 1

これは、Javaのジェネリックのこの動作によるものである：

たとえAとBは互換性のあるタイプですが、SomeType<A>はSomeType<B>

本の古典的な例は、割り当てしようとしているとの互換性はありませんList<Cat>からList<Animal>までである。

ここでも同じことが起こります。通常、List<T>はList<?>に割り当てることができます。しかし、List<List<T>>をList<List<?>>に割り当てているため、できません。

Answer 2

ああ。聖キューブ。それは、今コンパイル

https://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)#Use-site_variance_annotations_.28wildcards.29

：

class Demo { 
    <T> void gTee(List<List<T>> tl) { 
     tee(tl); 
    } 

    void tee(List<? extends List<?>> tl) { 
    } 
} 

を私は知っているはずですが、それは私の心に来ませんでした