Как вызвать метод родительского класса из переопределенного метода в C++?

Правильный синтаксис: используйте оператор разрешения области видимости

Чтобы вызвать метод родительского класса из переопределенного метода в производном классе, нужно явно указать имя базового класса и оператор разрешения области видимости ::. В вашем случае правильный вызов будет выглядеть так:

class Dog : public Animal {
public:
    void Speak() override {
        Animal::Speak(); // Явный вызов метода родительского класса
        cout << "Woof!" << endl;
    }
};

Теперь при вызове myDog.Speak() сначала выполнится код из Animal::Speak() (вывод "Some generic animal sound"), а затем — дополнительный код из Dog::Speak() (вывод "Woof!"). Результат будет именно таким, как вы ожидали.

Почему это работает именно так?

В C++ при переопределении виртуального метода в производном классе все вызовы этого метода из контекста производного класса (без явного указания области видимости) будут ссылаться на самую "младшую" версию метода в иерархии наследования. Это связано с механизмом динамического полиморфизма (виртуальных функций). Когда вы пишете просто Speak() внутри Dog::Speak(), компилятор воспринимает это как рекурсивный вызов самого себя.

Оператор :: позволяет "обойти" виртуальный механизм и выполнить статический вызов конкретной версии метода из указанного класса. Это называется квалифицированным вызовом.

Важные нюансы

• Необходимость вызова родительского метода: В C++ (в отличие от некоторых других языков, например Java или C#) вызов родительской версии метода не происходит автоматически. Если вам нужно выполнить логику базового класса, вы должны сделать это явно.
• Работа с многоуровневым наследованием: Вы можете вызвать метод любого прямого или косвенного предка, указав соответствующий класс: Animal::Speak(), Mammal::Speak() и т.д.
• Конструкторы и деструкторы: В конструкторах и деструкторах виртуальные функции ведут себя иначе (вызывается версия того класса, который в данный момент конструируется/разрушается). Однако оператор :: работает и там, позволяя вызвать конкретную версию.
• Производительность: Квалифицированный вызов Animal::Speak() не использует виртуальную таблицу (vtable), поэтому он выполняется немного быстрее обычного виртуального вызова.

Полный исправленный пример

#include <iostream>
using namespace std;

class Animal {
public:
    virtual void Speak() {
        cout << "Some generic animal sound" << endl;
    }
};

class Dog : public Animal {
public:
    void Speak() override {
        Animal::Speak(); // Вызов родительской версии
        cout << "Woof!" << endl;
    }
};

int main() {
    Dog myDog;
    myDog.Speak(); // Вывод: "Some generic animal sound\nWoof!"
    return 0;
}

Этот код будет работать корректно и без рекурсии. Запомните: если вам нужно расширить поведение родительского метода, а не заменить его полностью, всегда явно вызывайте его через ИмяБазовогоКласса::ИмяМетода().

class Animal {
protected:
    void CommonSpeak() {
        cout << "Some generic animal sound" << endl;
    }
public:
    virtual void Speak() {
        CommonSpeak(); // Базовая реализация
    }
};

class Dog : public Animal {
public:
    void Speak() override {
        CommonSpeak(); // Явный вызов общей логики
        cout << "Woof!" << endl;
    }
};