"共変性" と "反変性" は、元の指定よりも強い派生型 (具体性が高い) と弱い派生型 (具体性が低い) を使用する能力を示す用語です。 ジェネリック型パラメーターは、ジェネリック型の代入と使用の柔軟性を向上させるために、共変性と反変性をサポートしています。 型システムにおいては、共変性、反変性、不変性は、次のように定義されます。 各例では、基底クラスが Base という名前であり、派生クラスが Derivedという名前であるとします。 Covariance 最初に指定された型よりも強い派生型を使用できるようにします。 IEnumerable<Derived> のインスタンスを IEnumerable<Base> 型の変数に代入することができます。 Contravariance 最初に指定された型よりも一般的な (弱い派生の) 型を使用できるようにします。 Action<Base> のイ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く