Was wissen Sie über das Schlüsselwort virtual in C++…

virtual in C++ wird verwendet, um virtuelle Funktionen in der Basisklasse zu deklarieren. Dies ermöglicht die Implementierung von Polymorphismus zur Laufzeit (Runtime-Polymorphismus).

Anwendung:

Definiert eine Funktion in der Basisklasse, die in abgeleiteten Klassen überschrieben werden kann (Override).
Wenn eine virtuelle Funktion über einen Zeiger oder eine Referenz auf die Basisklasse aufgerufen wird, wird tatsächlich die Implementierung der Funktion im Objekt der abgeleiteten Klasse aufgerufen (falls sie überschrieben wurde). Dies geschieht zur Laufzeit über die Tabelle virtueller Funktionen (vtable).

Wichtige Punkte:

Nur Klassenmitgliedfunktionen können virtuell sein. Globale Funktionen, statische Funktionen und Konstruktoren können nicht virtuell sein.
Destruktoren sollten oft virtuell sein, um Speicherlecks beim Löschen von Objekten der abgeleiteten Klassen über einen Zeiger auf die Basisklasse zu vermeiden.
Wenn eine Funktion in der Basisklasse virtual deklariert ist, bleibt sie automatisch virtuell in allen abgeleiteten Klassen, auch wenn das Schlüsselwort virtual dort nicht explizit verwendet wird (obwohl es empfohlen wird, virtual und override in abgeleiteten Klassen zu verwenden, um die Klarheit zu erhöhen).
Reine virtuelle Funktionen werden mit = 0 deklariert und machen die Klasse abstrakt. Eine solche Klasse kann nicht direkt instanziiert werden.

Beispiel:

#include <iostream>

class Base {
public:
    virtual void print() {
        std::cout << "Aus Base" << std::endl;
    }

    virtual ~Base() {
        std::cout << "Base Destruktor" << std::endl;
    }
};

class Derived : public Base {
public:
    void print() override { // Verwendung von override zur expliziten Angabe der Überschreibung
        std::cout << "Aus Derived" << std::endl;
    }

    ~Derived() override { // Verwendung von override
        std::cout << "Derived Destruktor" << std::endl;
    }
};

int main() {
    Base* ptr = new Derived(); // Zeiger auf Basisklasse zeigt auf ein abgeleitetes Objekt

    ptr->print(); // Ruft Derived::print() aufgrund der virtuellen Funktion auf
    delete ptr;   // Ruft die Destruktoren von Derived und dann von Base aufgrund des virtuellen Destruktors auf

    return 0;
}

Verwandte Begriffe:

vtable (Tabelle virtueller Funktionen): Tabelle von Zeigern auf virtuelle Funktionen der Klasse. Jedes Objekt mit virtuellen Funktionen enthält einen unsichtbaren Zeiger (vptr) auf die vtable seiner Klasse.
vptr (Zeiger auf vtable): Notwendig, um zur Laufzeit die aufzurufende Funktion zu bestimmen.
= 0 (reine virtuelle Funktion): Bedeutet, dass die Funktion in dieser Klasse keine Implementierung hat, was die Klasse abstrakt macht.
override (Überschreibungs-Spezifizierer): Gibt explizit an, dass die Funktion in der abgeleiteten Klasse eine virtuelle Funktion der Basisklasse überschreibt. Hilft dem Compiler, Fehler zu erkennen, wenn die Signatur nicht übereinstimmt.
final (Spezifizierer): Verhindert weitere Überschreibungen der virtuellen Funktion oder Vererbung der Klasse.

Kurz gesagt: virtual ist der Hauptmechanismus zur Implementierung von Polymorphismus durch Vererbung und dynamische Bindung in C++.

Was wissen Sie über das Schlüsselwort virtual in C++?