共分散と違反：これらの概念はプログラミングでどのように異なりますか？

共分散と違反：プログラミングの明確な区別

共分散と矛盾は、タイプの関係が関数マッピングとデータ構造の入力/出力タイプにどのように影響するかを定義するプログラミングの基本的な概念です。 基本的に、共分散は割り当て可能性の方向を保持しますが、違反はそれを逆転させます

共分散：割り当て可能性の維持

タイプセットで説明しましょう：

<code>{ Animal, Tiger, Fruit, Banana }
{ IEnumerable<animal>, IEnumerable<tiger>, IEnumerable<fruit>, IEnumerable<banana> }</banana></fruit></tiger></animal></code>

マッピングt→iEnumerable

は、割り当て可能性を維持します。 の場合、Tigerのサブタイプである場合、AnimalはIEnumerable<tiger></tiger>のサブタイプでもあります。これは、サブタイピングが含まれる要素に適用されるコンテナタイプで一般的です。 IEnumerable<animal></animal>

違反：割り当て可能性の反転ここで、これらのタイプセットを考慮してください： マッピングt→icomparable

インバリバティの割り当て。

の場合、

<code>{ IComparable<tiger>, IComparable<animal>, IComparable<fruit>, IComparable<banana> }</banana></fruit></animal></tiger></code>

のスーパータイプである場合、

はのサブタイプです。 これは、矛盾したタイプが特定のタイプまたは関連するタイプの入力パラメーターを管理する機能的なタイプで頻繁に観察されます。 AnimalTiger重要な違いIComparable共分散は割り当て可能性の方向を支持します。サブタイプの値は、関数入力と出力の両方でスーパータイプの値に割り当てることができます。 対照的に、違反は割り当て可能性を反転させ、出力では入力パラメーターではそうではありません。

以上が共分散と違反：これらの概念はプログラミングでどのように異なりますか？の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。