問題タブ [unbounded-wildcard]

Consider this sample:

In other words, I can assign a Class<? extends T> to a Class<?> for some arbitrary T but not a Set<Class<? extends T>> to a Set<Class<?>>.

It probably has something to do with some limitation on covariance/contravariance, but what?

I could introduce a cast: Class.class::cast would do it. But is there a way to bend the compiler to my will with subtle type-fu rather than bashing it in the head with a cast?

以前の SSCCE 自体が正しくありませんでした。もう1つ書いてみましたが、それも間違っていました。したがって、今のところ問題を理解していないため、純粋なJavaの例を書くことができないため、ライブラリクラスの例を投稿しています:

callback質問は同じです:適切なクラスを準備するにはどうすればよいですか?

不可能な場合は、まず、本当に不可能であると述べてください。次に、なぜ不可能なのかを説明してください。

アップデート

コールバックを指定Objectしても役に立ちません:

ジェネリックのワイルドカードに関する Oracle のドキュメントには、次のように書かれています。

ワイルドカードはさまざまな状況で使用できます。パラメーター、フィールド、またはローカル変数の型として。戻り値の型として使用されることもあり ます (ただし、より具体的なプログラミング方法を使用することをお勧めします)。

次のクラスで 4 つすべてを試しましたが、それぞれでコンパイラ エラーが発生しました。なんで？私は何を間違っていますか？

Generic type を使用して問題を解決できる場合、Java が無制限のワイルドカードを提供した理由。例えば

Method 2が私たちの要件を解決できるかどうか、なぜMethod 1が必要なのか、誰でも理解できるようにしてください。つまり、Unbounded ワイルドカードを使用して解決できる問題と、汎用メソッド タイプ (方法 2 など) を使用して解決できない問題はどれですか?