共変インターフェイスと反変インターフェイスは C# の型安全性をどのように強化しますか?

C# の共変インターフェイスと反変インターフェイスについての深い理解

C# では、共変および反変のインターフェイスにより、型間の関係を柔軟に定義できます。これらにより、オブジェクトをそれぞれ基本型または派生型のメンバーとして扱うことができます。

共変インターフェイス (出力)

共変インターフェースは次のように定義されます:

<code>interface IBibble<out T></code>

派生型のオブジェクトは、その基本型のオブジェクトに相当するものと考えることができます。これは、値を返すとき、または読み取り専用プロパティにアクセスするときに便利です。

インバーターインターフェース (入力)

対照的に、インバータインターフェイスは次のように表されます:

<code>interface IBibble<in T></code>

基本型のオブジェクトを引数として渡したり、書き込み専用プロパティに保存したりできるようにします。これは、オブジェクトをその基本型または祖先型で動作する関数に渡す場合に便利です。

共変の例:

基本クラス Base と派生クラス Descendant があるとします。 out インターフェイス IBibbleOut<T> を使用して、子孫のコレクションを返すことができます。各 Descendant は Base オブジェクトでもあるため、結果を安全に IBibbleOut<Base> にキャストして、Base オブジェクトがコレクションに追加されないようにできます。

逆の例:

同様に、反変インターフェイス IBibbleIn<T> は、Base オブジェクトのコレクションを受け入れるメソッドに適用できます。 Descendant はその基本型を継承するため、Descendants のコレクションを IBibbleIn<Descendant> にキャストすることでメソッドに渡すことができ、メソッドが任意の Descendant 型で動作できるようにします。

分散修飾子の重要性:

バリアンス修飾子は、型の安全性を維持する上で重要な役割を果たします。これらがないと、誤った変換により実行時エラーや予期しない動作が発生する可能性があります。インターフェイスを共変または反変として明示的にマークすることにより、コンパイラは、操作が予期される型の関係と一貫していることを検証できます。

以上が共変インターフェイスと反変インターフェイスは C# の型安全性をどのように強化しますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。