Co zostanie wyświetlone po wykonaniu przedstawionego kodu zapisanego w języku C++?

Poprawna odpowiedź: A

Uzasadnienie i szersze wyjaśnienie:

Ten kod jest klasycznym przykładem działania polimorfizmu w C++ dzięki użyciu słowa kluczowego virtual.

1. virtual void metoda() w KlasaBazowa deklaruje metodę jako wirtualną. Oznacza to, że decyzja o tym, która wersja metody (KlasaBazowa::metoda czy KlasaPochodna::metoda) zostanie wywołana, będzie podejmowana w czasie wykonania programu, na podstawie rzeczywistego typu obiektu, a nie typu wskaźnika.

2. W funkcji main:

   • KlasaBazowa *bazowa = new KlasaPochodna(); – Wskaźnik bazowa jest typu KlasaBazowa*, ale wskazuje na obiekt, który faktycznie jest typu KlasaPochodna.
   • KlasaPochodna *pochodna = new KlasaPochodna(); – Wskaźnik pochodna jest typu KlasaPochodna* i wskazuje na obiekt typu KlasaPochodna.

3. Wywołania metod:

   • bazowa->metoda(); – Ponieważ metoda() jest wirtualna, kompilator sprawdzi rzeczywisty typ obiektu, na który wskazuje bazowa. Jest to KlasaPochodna, więc zostanie wywołana przesłonięta wersja metody z klasy KlasaPochodna. Wyświetli się „Pochodna.”.
   • pochodna->metoda(); – Tutaj zarówno typ wskaźnika, jak i typ obiektu to KlasaPochodna, więc bez wątpliwości zostanie wywołana metoda z tej klasy. Wyświetli się „Pochodna.”.

Ostatecznie w konsoli zobaczymy: Pochodna. Pochodna.

Gdyby metoda metoda() w KlasaBazowa nie była wirtualna, wywołanie bazowa->metoda() uruchomiłoby wersję z KlasaBazowa (zgodnie z typem wskaźnika), a wynik byłby „Bazowa. Pochodna.”.