Съдържание
- Определение - Какво означава Subtyping?
- Въведение в Microsoft Azure и Microsoft Cloud | В това ръководство ще научите за какво се занимава компютърните изчисления и как Microsoft Azure може да ви помогне да мигрирате и стартирате бизнеса си от облака.
- Техопедия обяснява Subtyping
Определение - Какво означава Subtyping?
Подтипирането е понятие в теорията на езика на програмиране, при което подтип, който е тип данни, е свързан с супертип, основан на понятието за подменяемост, където програмните елементи като функции и подпрограми, които са написани за супертип, все още ще работят, ако се даде подтип вместо това. Подтиповете са съществено понятие в обектно-ориентираното програмиране и са заменими на супертипове и понякога дори имат по-строги спецификации от супертипа.
Въведение в Microsoft Azure и Microsoft Cloud | В това ръководство ще научите за какво се занимава компютърните изчисления и как Microsoft Azure може да ви помогне да мигрирате и стартирате бизнеса си от облака.
Техопедия обяснява Subtyping
Subtyping е метод за подмяна и повторно използване на код, използван в обектно-ориентираните езици за програмиране, за да се предотврати ненужното копиране на до голяма степен подобен код и да се насърчи четенето на кода и да се предотвратят грешки. Подтипът е основно заместител на супертип, който може да изпълни всички спецификации на късмет, а след това и някои. Така че, ако B е подтип на A, тогава B винаги може да се използва за заместване на A и всяко свойство, което е гарантирано от A, също трябва да бъде гарантирано от B.
Подтипът е позволено да заздрави и дори да добави свойства, които не са върху супертипа, което означава, че позволява да се разшири супертипът. Така че, вместо да създавате нов супертип всеки път, когато се изисква нещо ново и след това да копирате свойства и условия от друг супертип, просто може да бъде създаден подтип, който разширява супертипа с допълнителни свойства или функции, без да променя супертипа. Тогава, в този случай, всичко, което може да се докаже в супертипа, също ще бъде доказуемо за подтипа и др. Ако един подтип се третира по същия начин като супертипа, като се използват и питат само методи и полета на супертипове, тогава резултатите биха били съгласувани с обектите от супертипа.