C＃はリターンタイプの共分散をサポートしていますか？

c＃return type co -changes：in -depth Discussion

オブジェクト指向のプログラミングでは、開発者は、方法を書き換える際に、より正確なタイプ情報を取得する必要があることがよくあります。 Collaborationのタイプに戻ると、サブクラスが基本クラスよりも具体的なタイプを返すことができます。しかし、C＃はこの強力な機能をサポートしていますか？

c＃バックボーンタイプの位置co -changes

cのような言語は戻り型の調整で広く使用されていますが、残念ながら、C＃はネイティブにサポートしていません。これは、C＃コードの実行の基本的な制限です - 公的言語が実行されている場合（CLR）。 タイプの安全性の問題

c＃は、コラボレーションの種類を返す理由の1つがセキュリティのタイプであることをサポートしていません。サブクラスが基本クラスよりもより具体的なタイプを返すことができるようにすると、予期しない矛盾とランタイムエラーが発生する可能性があります。 CLRの厳密なタイプ検査メカニズムにより、オブジェクトがシステム全体で一貫して処理されることが保証され、リターンタイプの調整変更の導入により、この安定性が破壊されます。

solution

C＃はリターンタイプの調整を直接サポートしていませんが、開発者は他の方法を通じて同様の効果を達成することができます。一般的に使用されるテクノロジーは、ベースクラスに保護された補助方法を導入することです。これらの方法は、タイプの安全性を維持しながら、サブクラスがより具体的なタイプを返すことを可能にする間接層を提供します。

この例では、水族館クラスは保護されたgetContents（）メソッドを書き直し、この方法を提供し、より具体的なタイプの魚を返します。 。

最新の進捗状況：C＃9.0の調整は

しかし、状況は変化しています。最近リリースされたC＃9.0で、Microsoftは、コラボレーションのタイプを徐々にサポートするためのステップとして、「Cooperative Change」と呼ばれる機能をステップとして導入しました。ベースインターフェイスまたはメソッドのパラメーターの一種である限り、この機能により、開発者は書き換え方法のより具体的なリターンタイプを指定できます。これは大きな改善ですが、完全なリターンタイプの調整のすべての機能を達成することはできません。

<code class="language-c#">abstract class Enclosure
{
    protected abstract Animal GetContents();
    public Animal Contents() { return this.GetContents(); }
}

class Aquarium : Enclosure
{
    protected override Animal GetContents() { return this.Contents(); }
    public new Fish Contents() { ... }
}</code>

CO -Changeをコードに戻す状況に遭遇した場合は、C /CLIやF＃などのこの機能を完全にサポートする他の言語を探索することを検討できます。

以上がC＃はリターンタイプの共分散をサポートしていますか？の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。