Java における共分散と反分散の良い例を示してください。

ユースケースは次のようなものです：

ここで私の質問は、Funda の Covariance と Contravariance を考慮すると、Clone() メソッドの戻り値の型として "SomeClass(As it is distributed from object)" を使用できないのはなぜですか?

このマイクロソフトの実装の背後にある理由を誰か説明してもらえますか????

その制限の本当の理由は何ですか？しなければならなかったのはただの仕事ですか？概念的に難しいですか？無理ですか？

確かに、フィールドは常に読み書き可能であるため、型パラメーターをフィールドで使用することはできません。でもそれじゃ答えにならないよね？

この質問の理由は、私が C# 4 のバリアンス サポートに関する記事を書いているためであり、それがデリゲートとインターフェイスに制限されている理由を説明する必要があると感じています。立証責任を逆転させるだけです。

更新: Eric が例について尋ねました。

これはどうですか（それが理にかなっているのかどうかはまだわかりません:-)）

それを 1 つのクラスに持つ理由は、クラス自体に保持されているキャッシュである可能性があります。また、異なる種類のペットに同じ名前を付けないでください。

ところで、これはC# 5.0 のオプションの型パラメーターにつながります :-)

更新 2: CLR と C# がこれを許可する必要があると主張しているわけではありません。何がそれにつながったのかを理解しようとしているだけです。

C＃4.0を使用してSilverlight4アプリケーションを開発しようとしています。私はこのようなケースがあります：

他の場所：

そして、私が問題を抱えている使用法：

ジェネリック型は「不変」だったので、C＃3.0ではこれは不可能だったと思います。しかし、これはジェネリックテクノロジーの新しい共分散によってC＃4.0で可能だと思いましたか？

私が理解しているように、C＃4.0では、分散をサポートするために多くの一般的なインターフェイス（IEnumerableなど）が変更されています。この場合、Foo共変になるために私のクラスは何か特別なことをする必要がありますか？

また、Silverlight 4（RC）では共分散がサポートされていますか？

extendsJava Generics のキーワードを理解しようとしています。

List<? extends Animal>IS Aに任意のオブジェクトを詰め込むことができることを意味しListます Animal

次に、次も同じことを意味しません。

誰かが上記の2つの違いを知るのを手伝ってもらえますか? extendsここでは冗長に聞こえます。

ありがとう！

これはC＃4.0で導入されましたが、C＃3.0でこれを実現する方法はありますか？

たとえば、次のコードについて考えてみます。

User<T>ここで、を保存できるUser<Derived1>リストを作成したいのUser<Derived2>ですが、次のコードはC＃3.0でコンパイルできません。

何か案は？

以下のような拡張メソッドがあります。

現在、次の方法で使用できます。

これはかなり問題なく動作しますが、2 番目の型パラメーターは非常に厄介です。C# 4.0 で GetValueAs を書き直すことは可能ですか? メソッドがさまざまな種類の文字列キー辞書に適用可能であり、呼び出しコードで 2 番目の型パラメーターを指定する必要がありません。つまり、使用します。