Funkcje wirtualne

Funkcje wirtualne są związane z mechanizmem polimorfizmu. Przykładowo:

#include <iostream>

class Figura
{
public:
    void Wyswietl ();
};

class Kwadrat : public Figura
{
public:
    void Wyswietl ();
};

class Kolo : public Figura
{
public:
    void Wyswietl ();
};

void Figura::Wyswietl ()
{
    cout << "Figura" << endl;
}

void Kwadrat::Wyswietl ()
{
    cout << "Kwadrat" << endl;
}

void Kolo::Wyswietl ()
{
    cout << "Kolo" << endl;
}

int main(int argc, char *argv[])
{
    Figura figura;
    Kwadrat kwadrat;
    Kolo kolo;

    cout << "Wywolania funkcji na rzecz obiektow" << endl;

    figura.Wyswietl();
    kwadrat.Wyswietl();
    kolo.Wyswietl();

    Figura *wsk;

    cout << "Wywolanie funkcji przez wskaznik typu Figura wskazujacy na obiekt typu Figura" << endl;

    wsk = &figura;
    wsk->Wyswietl();

    cout << "Wywolania funkcji przez wskaznik typu Figura wskazujacy na obiekty dziedziczace po Figirze" << endl;

    wsk = &kwadrat;
    wsk->Wyswietl();

    wsk = &kolo;
    wsk->Wyswietl();

    return 0;
}

Wynik tego kodu to:

Wywołania funkcji na rzecz obiektów
Figura
Kwadrat
Kolo
Wywołanie funkcji przez wskaźnik typu Figura wskazujący na obiekt typu Figura
Figura
Wywołania funkcji przez wskaźnik typu Figura wskazujący na obiekty dziedziczące po Figurze
Figura
Figura

Wynik wywołań na rzecz obiektów, i przez wskaźnik na obiekt typu podstawowego nie dziwią. Natomiast wywołanie przez wskaźnik typu Figura obiektu typu Kwadrat wyświetliło napis "Figura". Kompilator zachował się prawidłowo, ponieważ wskaźnik był typu Figura, więc została wywołana funkcja właściwa dla tego typu. Można go jednak zmusić, aby zachował się inaczej. Jeśli w deklaracji klasy podstawowej dodamy słowo virtual

class Figura
{
public:
    void virtual Wyswietl ();
};

efekt będzie następujący:

Mimo iż wskaźnik jest typu Figura, kompilator widząc, że funkcja jest funkcją wirtualną sprawdził na jaki typ rzeczywiście wskazuje wskaźnik. Gdy zobaczył, że jest to Kwadrat wykonał funkcje z tej klasy, gdy zobaczył, że ma do czynienia z kołem wykonał funkcje właściwą dla Koła.

Zobacz też:

• Klasy Abstrakcyjne
• Dziedziczenie
• Klasy