「労働者が自分の仕事をうまくやりたいなら、まず自分の道具を研ぎ澄まさなければなりません。」 - 孔子、「論語。陸霊公」
表紙 > プログラミング > 共分散がC#の値タイプで動作しないのはなぜですか?

共分散がC#の値タイプで動作しないのはなぜですか?

2025-03-25に投稿されました
ブラウズ:487

Why Doesn't Covariance Work with Value Types in C#?

c#共分散と違反:値タイプの制限

c#の ienumerable インターフェイスは共分散を示し、ベースタイプ参照への派生型参照を割り当てることができます。 ただし、これは値タイプには適用されません。 ienumerable に割り当てる はコンピレーションエラーになります。

この制限は、ボクシングとボクシングに由来しています。ボクシングは、値タイプを参照型(オブジェクト)に変換しますが、ボクシングはこれを逆転させます。 ienumerable の型パラメーター t は参照タイプでのみ動作します。 ienumerable の値タイプを ienumerable に割り当てるには、値タイプについて暗黙的にサポートされていないボクシングが必要です。

共分散と矛盾は、変換全体で一貫した価値表現に依存しています。ただし、値のタイプは、この一貫性を維持しないでください。 ボクシングは表現を変更し、アイデンティティの喪失と不安定性につながり、共変と矛盾の割り当ての原則に違反します。

エリック・リッパートの表現と身元に関する著作は、これらの変換がアイデンティティの保存を必要とすることを強調しています。 値タイプのボクシングプロセスはこの保存を破壊するため、共分散と違反と互換性がありません。

最新のチュートリアル もっと>

免責事項: 提供されるすべてのリソースの一部はインターネットからのものです。お客様の著作権またはその他の権利および利益の侵害がある場合は、詳細な理由を説明し、著作権または権利および利益の証拠を提出して、電子メール [email protected] に送信してください。 できるだけ早く対応させていただきます。

Copyright© 2022 湘ICP备2022001581号-3