コンテンツ
- 定義-サブタイピングとはどういう意味ですか？
- Microsoft AzureとMicrosoft Cloudの紹介|このガイドを通して、クラウドコンピューティングとは何か、Microsoft Azureを使用してクラウドからビジネスを移行および実行する方法を学習します。
- Techopediaはサブタイピングを説明します
定義-サブタイピングとはどういう意味ですか？
サブタイプは、データ型であるサブタイプが代替可能性の概念に基づくスーパータイプに関連するプログラミング言語理論の概念であり、スーパータイプ用に記述された関数やサブルーチンなどのプログラム要素は、代わりにサブタイプ。サブタイプは、オブジェクト指向プログラミングの重要な概念であり、スーパータイプに代用可能であり、スーパータイプよりも厳しい仕様を持つことさえあります。
Microsoft AzureとMicrosoft Cloudの紹介|このガイドを通して、クラウドコンピューティングとは何か、Microsoft Azureを使用してクラウドからビジネスを移行および実行する方法を学習します。
Techopediaはサブタイピングを説明します
サブタイピングは、オブジェクト指向プログラミング言語で使用される置換とコードの再利用のための方法であり、ほぼ同様のコードの不必要なコピーを防ぎ、コードの可読性を高め、バグを防ぎます。サブタイプは、基本的に、後者のすべての仕様を満たせるスーパータイプの代わりになり、次にいくつかの仕様も満たすことができます。したがって、BがAのサブタイプである場合、Bは常にAの代わりに使用でき、Aによって保証されるプロパティはBによっても保証される必要があります。
サブタイプは、スーパータイプ上にないプロパティを強化したり追加したりすることができます。つまり、スーパータイプを拡張できます。そのため、何か新しいものが必要になるたびに新しいスーパータイプを作成し、別のスーパータイプからプロパティと条件をコピーする代わりに、スーパータイプを変更せずに追加のプロパティまたは機能でスーパータイプを拡張するサブタイプを簡単に作成できます。次に、この場合、スーパータイプに対して証明可能なものはすべて、サブタイプなどに対しても証明可能になります。サブタイプがスーパータイプのメソッドとフィールドのみを使用および照会することにより、スーパータイプとまったく同じ方法で処理される場合、結果はスーパータイプのオブジェクトと一致します。