問題タブ [contravariance]

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

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

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

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

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

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

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

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

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

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

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

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

ありがとう！

以下の「x」が変換される理由がわかりませんが、「y」と「z」は変換されません。

新しい共分散機能は単にジェネリックのジェネリックでは機能しないのですか、それとも何か間違っていますか? (y と z を機能させるために .Cast<> を使用することは避けたいと思います。)

私は反変性を理解し始めたところですが、代わりにインターフェイスを使用できる場合の利点を理解しようとしています。明らかに私は何かが欠けています。

これがc#4の例です

c# の以前のバージョンで動作する同じ例

これらは最良の例ではないかもしれませんが、それでも「理解」できないようです。アクションデリゲートで定義されたキーワークは、ラムダがデリゲートにあるような簡単な構文の方法ですか?

私は C# で読んでいる教科書でこれらに出くわしましたが、おそらくコンテキストが不足しているため、理解するのが困難です。

それらが何であり、何に役立つかについての簡潔な説明はありますか?

明確にするために編集：

共変インターフェース:

反変インターフェース:

C＃4.0でインターフェイスを定義する場合、各ジェネリックパラメーターをinまたはとしてマークすることができますout。ジェネリックパラメーターをoutとして設定しようとして問題が発生した場合、コンパイラーはエラーを発生させ、それを許可しません。

質問：

covarianceコンパイラに（out）とcontravariance（ ）の両方の有効な使用法を推測する方法がある場合in、なぜインターフェイスをそのようにマークする必要があるのでしょうか。いつものようにインターフェイスを定義するだけで十分ではないでしょうか。クライアントコードでインターフェイスを使用しようとしたときに、安全でない方法で使用しようとするとエラーが発生します。

例：

また、

同じ状況でJa​​vaが行うことではありませんか？私が覚えていることから、あなたはただのようなことをします

それとも私は物事を混ぜていますか？

ありがとう

私が直面しているシナリオは次のとおりです。

UserDataAccessLayer を一般的な基本型にキャストしようとするとITableDataAccessLayer<TableRecord>、コンパイラは型を暗黙的に変換できないと不平を言います。

inジェネリック パラメーターのインターフェイス宣言でorキーワードを使用しようとすると、コンパイラは無効な差異outについて不平を言います: 型パラメーターは不変的に有効である必要があります。

次の抽象クラスがあります。

具体的な実装例は次のとおりです。

新しい UserDataAccessLayer() を返します。コンパイラが不平を言っているところです。

共変でも反変でもよい型 (今のところセマンティクスは忘れています) を使用できますか?

例えば：

C# 4.0 の分散の本質については、Eric Lippert のブログを参照してください。

とにかく試してみましたが、それが許可されていないだけでなく、要点全体が欠けていることがわかりました。読み取り専用、書き込み専用、バリアンスの間のリンクを理解する必要があります。

もっと読むべきことがあると思います。

しかし、それまでの間、ひらめきを誘発する短い答えは大歓迎です。

FrobbingEventArgs などでイベントを発生させるクラスがある場合、EventArgs を受け取るメソッドでそれを処理することはできますか?

ここにいくつかのコードがあります：

私が尋ねる理由は、ReSharper が XAML の同等のもの (のように見える) に問題があるように見えるためです。それは ReSharper のバグなのか、それとも私の C# の理解の誤りなのか疑問に思っています。

インターフェイスを反映して、ジェネリック型パラメーターと戻り値の型の差異を検出する方法はありますか? つまり、リフレクションを使用して 2 つのインターフェイスを区別できますか。

両方の IL は同じに見えます。