Paskaitų konspektai - Matematikos ir Informatikos fakultetas ...

Objektų tipų identifikacija programos vykdymo metu
Objektų tipų identifikacija programos vykdymo metu (run-time type identification)
galioja tiek vienalypiam, tiek ir daugialypiam paveld÷jimui. Prisiminkime, jog klas÷,
turinti virtualų destruktorių arba bent vieną virtualų metodą, vadinama polimorfine
klase. Kaip jau žinome, visų paveld÷jusių klasių objektai kartu yra ir bazin÷s klas÷s
objektai, tod÷l galime "natūraliai" atlikti tipų konversiją iš paveld÷jusios klas÷s į
bazinę:
// rtti.cpp
class A { public: virtual ~A() {} };
class B : public A {};
int main ()
{
A* a = new A();
B* b = new B();
a = b; // natūrali tipų konversija
}
Jau programos kompiliavimo metu yra žinoma, kad rodykl÷ b rodo į klas÷s B tipo
objektą, kuris paveldi iš klas÷s A. Tod÷l priskyrimo sakinys a = b yra korektiškai
išsprendžiamas dar kompiliavimo metu. Kartais reikia atlikti atvirkščią tipų
konversiją: turime rodyklę į A, bet iš anksto tikim÷s, kad ji bus nukreipta į objektą B.
Ar tai tiesa ar ne galime patikrinti tik programos vykdymo metu. Polimorfin÷s klas÷s
ar nuo jos paveld÷jusių klasių objektams programos vykdymo metu saugoma
informacija apie objekto tipą. Šiuo atveju, naudojantis raktiniu žodeliu
dynamic_cast, mes galime atlikti saugią tipų konversiją iš bazin÷s klas÷s A, į
paveld÷jusią klasę B, nes klas÷ A turi virtualų destruktorių:
void safeCastFromAtoB (A* a)
{
B* b = dynamic_cast(a);
if (b == 0) cout