Programowanie w C++ Borland Builder - Wyższa Szkoła Informatyki ...

wirtualnej w taki sposób, funkcja we wszystkich "pokoleniach"
musi mieć taki sam prototyp, tj. pobierać taką samą liczbę
parametrów tych samych typów oraz zwracać wartość tego samego
typu. Jeśli tak się nie stanie, C++ potraktuje różne prototypy
tej samej funkcji w kolejnych pokoleniach zgodnie z zasadami
overloadingu funkcji. Zwróćmy tu uwagę, że w przypadku funkcji
wirtualnych o wyborze wersji funkcji decyduje to, wobec którego
obiektu (której klasy) funkcja została wywołana. Jeśli wywołamy
funkcję dla obiektu Ciapek, C++ wybierze wersję
CZwierzak::Oddychaj(), natomiast wobec obiektu Sardynka zostanie
zastosowana wersja CRybka::Oddychaj().
W C++ wskaźnik do klasy bazowej może także wskazywać na klasy
pochodne, więc zastosowanie funkcji wirtualnych może dać pewne
ciekawe efekty "uboczne". Jeśli zadeklarujemy wskaźnik *p do
obiektów klasy bazowej CZwierzak *p; a następnie zastosujemy ten
sam wskaźnik do wskazania na obiekt klasy pochodnej:
p = &Ciapek; p->Oddychaj();
...
p = &Sardynka; p->Oddychaj();
zarządamy w taki sposób od C++ rozpoznania właściwej wersji
wirtualnej metody Oddychaj() i jej wywołania we właściwym
momencie. C++ może rozpoznać, którą wersję funkcji należałoby
zastosować tylko na podstawie typu obiektu, wobec którego
funkcja została wywołana. I tu pojawia się pewien problem.
Kompilator wykonując kompilcję programu nie wie, co będzie
wskazywał pointer. Ustawienie pointera na konkretny adres
nastąpi dopiero w czasie wykonania programu (run-time).
Kompilator "wie" zatem tylko tyle:
p->Oddychaj()(); //która wersja Oddychaj() ???
Aby mieć pewność, co w tym momencie będzie wskazywał pointer,
kompilator musiałby wiedzieć w jaki sposób będzie przebiegać
wykonanie programu. Takie wyrażenie może zostać wykonane "w
ruchu programu" dwojako: raz, gdy pointer będzie wskazywał
Ciapka (inaczej), a drugi raz - Sardynkę (inaczej):
CZwierzak *p;
...
for(p = &Ciapek, int i = 0; i < 2; i++)
{
p->Oddychaj();
p = &Sardynka;
}
lub inaczej:
if(p == &Ciapek) CZwierzak::Oddychaj();
else CRybka::Oddychaj();
- 340-