Odpowiedź.

Historia pytania

Funkcje wirtualne istniały w C++ od początku jako środek dynamicznego polimorfizmu. Jednak wcześniej nie istniał mechanizm składniowy, który zmuszałby kompilator do sprawdzania poprawności przesłaniania wirtualnych funkcji w klasach pochodnych. Po wprowadzeniu C++11 słowo kluczowe override stało się narzędziem dodatkowej weryfikacji przez kompilator.

Problem

Bez override kompilator nie gwarantuje, że funkcja rzeczywiście przesłania metodę klasy bazowej. Błędy w sygnaturze (na przykład, niewłaściwy typ lub const) prowadzą do utworzenia nowej funkcji w klasie pochodnej („przesłonięcia”), co łamie polimorfizm i utrudnia debugowanie.

Rozwiązanie

Użycie override przy deklaracji wirtualnej funkcji w klasie pochodnej pozwala kompilatorowi sprawdzić, czy sygnatura dokładnie odpowiada wirtualnej funkcji rodzica i że funkcja rzeczywiście przesłania rodzica. W przeciwnym razie kompilacja zostaje przerwana z błędem.

Przykład kodu:

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

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

Jeśli w Derived napiszemy void foo() bez const override, kompilator zgłosi błąd.

Kluczowe cechy:

Umożliwia wykrywanie błędów sygnatury na etapie kompilacji
Zwiększa czytelność i utrzymywalność kodu
Obowiązkowe w standardach zespołowych

Pytania z pułapką.

Czy można zostawić wirtualną funkcję ze słowem kluczowym 'override', ale bez słowa kluczowego 'virtual'?

Tak, override implikuje, że funkcja jest wirtualna. Określenie virtual razem z override jest nadmiarowe, ale nie jest zabronione.

Czy możliwy jest błąd, jeśli funkcja różni się tylko modyfikatorem const lub ref qualifier (np. & lub &&)?

Tak, wszelkie różnice w sygnaturze, w tym według const/referencji, łamią przesłanianie. Na przykład, void foo() override nie przesłania void foo() const, a kompilator dzięki override to wychwyci.

Czy można stosować 'override' do funkcji statycznych lub konstruktorów?

Nie. override jest tylko dla funkcji wirtualnych, nie można go stosować do funkcji statycznych, konstruktorów, destruktorów (jeśli nie są wirtualne).

Typowe błędy i antywzorce

Brak override podczas przesłaniania
Niejasny błąd sygnatury (na przykład pominięty const)
Użycie override na funkcji statycznej lub nie-wirtualnej funkcji

Przykład z życia

Negatywny przypadek

W dużym projekcie klasa pochodna ma literówkę w sygnaturze funkcji: funkcja w rzeczywistości nie jest override, ale programista uważa inaczej, polimorfizm nie działa zgodnie z oczekiwaniami.

Zalety:

Nie wymaga znajomości nowych standardów

Wady:

Prowadzi do trudno wykrywalnych błędów podczas działania

Pozytywny przypadek

We wszystkich klasach pochodnych używana jest override, testy łapią błędy już na etapie kompilacji.