Antwort.

Hintergrund

Virtuelle Funktionen gibt es seit den Anfängen von C++ als Mittel des dynamischen Polymorphismus. Früher gab es jedoch keinen syntaktischen Mechanismus, der den Compiler dazu zwingt, die Korrektheit der Überlagerung virtueller Funktionen in abgeleiteten Klassen zu überprüfen. Mit dem Erscheinen von C++11 wurde das Schlüsselwort override zu einem Werkzeug für zusätzliche Compilerprüfungen.

Problem

Ohne override garantiert der Compiler nicht, dass die Funktion tatsächlich die Methode der Basisklasse überlagert. Fehler in der Signatur (z. B. falscher Typ oder const) führen zur Erstellung einer neuen Funktion in der abgeleiteten Klasse („Schattenbildung“), was Polymorphismus bricht und das Debuggen erschwert.

Lösung

Die Verwendung von override bei der Deklaration einer virtuellen Funktion in der abgeleiteten Klasse ermöglicht es dem Compiler zu überprüfen, ob die Signatur genau mit der virtuellen Funktion der Elternklasse übereinstimmt und die Funktion tatsächlich die Methode der Elternklasse überlagert. Andernfalls wird die Kompilierung mit einem Fehler abgebrochen.

Beispielcode:

struct Base {
    virtual void foo() const {}
};

struct Derived : Base {
    void foo() const override { /* Implementierung */ }
};

Wenn man in Derived void foo() ohne const override schreibt, gibt der Compiler einen Fehler aus.

Wesentliche Merkmale:

Ermöglicht das Auffinden von Signaturfehlern während der Kompilierung
Erhöht die Lesbarkeit und Wartbarkeit des Codes
Muss in Teamstandards verwendet werden

Trickfragen.

Kann man eine virtuelle Funktion mit dem Schlüsselwort 'override', aber ohne das Schlüsselwort 'virtual' belassen?

Ja, override impliziert, dass die Funktion virtuell ist. virtual zusammen mit override anzugeben, ist redundant, aber nicht verboten.

Ist ein Fehler möglich, wenn die Funktion sich nur durch den const-Modifier oder den Ref-Qualifier (z. B. & oder &&) unterscheidet?

Ja, alle Unterschiede in der Signatur, einschließlich const/Referenzen, brechen die Überlagerung. Zum Beispiel überlagert void foo() override nicht void foo() const, und der Compiler wird dies dank override erkennen.

Kann 'override' auf statische Funktionen oder Konstruktoren angewendet werden?

Nein. Override ist nur für virtuelle Funktionen gedacht und kann nicht auf statische Funktionen, Konstruktoren oder Destruktoren angewendet werden (außer sie sind virtuell).

Typische Fehler und Anti-Pattern

Fehlen von override bei der Überlagerung
Stiller Signaturfehler (z. B. const ausgelassen)
Verwendung von override bei einer statischen Funktion oder einer nicht-virtuellen Funktion

Beispiel aus dem Leben

Negativer Fall

In einem großen Projekt hat die abgeleitete Klasse einen Tippfehler in der Funktionssignatur: die Funktion überlagert faktisch nicht, aber der Entwickler denkt anders, der Polymorphismus funktioniert nicht wie erwartet.

Vorteile:

Erfordert kein Wissen über neue Standards

Nachteile:

Führt zu schwer fassbaren Fehlern zur Laufzeit

Positiver Fall

In allen abgeleiteten Klassen wird override verwendet, Tests erfassen Fehler bereits während der Kompilierung.