Polimorfizm, undan foydalanish mexanizmlari

Virtual funksiyalarning turlarini qaytarish. Virtual funktsiyaning qaytish turlari va uning qayta aniqlanishi mos kelishi kerak. Quyidagi misolni ko’rib chiqamiz.
class Parent
{
public:
virtual int getValue() { return 7; }
};
class Child: public Parent {
public:
virtual double getValue() { return 9.68; }
};
Bu holda Child::getValue() Parent::getValue () uchun mos qayta aniqlanish sanalmaydi, chunki qaytarish turlari har xil (Child::getValue() metodi butunlay alohida funksiya hisoblanadi).
Konstruktorlar yoki destruktorlar tanasidagi virtual funktsiyalarni chaqirmang.
Yangi o’rganuvchilar uchun yana bir tuzoq. Konstruktorlar yoki destruktorlar tanasida virtual funktsiyalarni chaqirmaslik kerak. Nega?
Child sinfining obyektini yaratganingizda, avval ushbu obyektning ajdodi, keyin esa avlodi yaratilishini unutmang? Agar virtual funktsiyani Parent sinfi konstruktoridan chaqirsangiz ham, yaratilgan obyektning pastki qismi hali yaratilmagan bo’lsa ham, u holda ajdod o’rniga avlod metodini chaqirib bo’lmaydi, chunki avlod obyekt ishlash uchun. Child sinf metodi bilan hali yaratilmagan. Bunday hollarda usulning asosiy versiyasi C++ da chaqiriladi.
Xuddi shunday muammo destruktorlar bilan ham mavjud. Agar siz virtual funktsiyani ajdod-sinf destruktorining tanasida chaqirsangiz, u holda Ajdod-sinfning usuli har doim chaqiriladi, chunki obyektning pastki qismi allaqachon yo’q qilinadi.
Qoida: Hech qachon konstruktorlar yoki destruktorlar tanasidagi virtual funksiyalarni chaqirmang.
Virtual funktsiyalarning yetishmasligi. ’’Agar virtual funktsiyalar bilan hamma narsa yaxshi bo’lsa, nega barcha usullarni virtual qilmaslik kerak?" - deb so’raysiz. Javob: "Bu samarasiz!" Virtual metod chaqiruvini qayta ishlash va bajarish odatdagi usul chaqiruvini qayta ishlash va bajarishdan ko’ra ko’proq vaqt talab etadi. Bundan tashqari, kompilyator bir yoki bir nechta virtual funktsiyalarga ega bo’lgan har bir sinf obyekti uchun bitta qo’shimcha ko’rsatkich ajratishi kerak.