Можно ли переопределить метод с помощью virtual?

Виртуальные методы и полиморфизм в C++

Да, virtual — ключевое слово в C++ для реализации полиморфизма во время выполнения (runtime polymorphism). Без virtual переопределение методов в наследующих классах не будет работать правильно.

Как работает virtual

Когда метод объявлен как virtual в базовом классе, компилятор создает таблицу виртуальных методов (vtable) для каждого класса. Вызов виртуального метода осуществляется через эту таблицу, что позволяет вызвать правильную версию метода в зависимости от реального типа объекта.

#include <iostream>
using namespace std;

class Animal {
public:
    virtual void sound() {  // virtual ключевое слово
        cout << "Неизвестный звук" << endl;
    }
    virtual ~Animal() {}  // виртуальный деструктор (важно!)
};

class Dog : public Animal {
public:
    void sound() override {  // override - явное указание переопределения (C++11)
        cout << "Гав!" << endl;
    }
};

class Cat : public Animal {
public:
    void sound() override {
        cout << "Мяу!" << endl;
    }
};

int main() {
    Animal* animal1 = new Dog();
    Animal* animal2 = new Cat();
    
    animal1->sound();  // Выведет "Гав!" (вызвана Dog::sound)
    animal2->sound();  // Выведет "Мяу!" (вызвана Cat::sound)
    
    delete animal1;
    delete animal2;
    
    return 0;
}

Без virtual - что произойдет?

class Animal {
public:
    void sound() {  // БЕЗ virtual
        cout << "Неизвестный звук" << endl;
    }
};

class Dog : public Animal {
public:
    void sound() {  // переопределение не будет работать правильно
        cout << "Гав!" << endl;
    }
};

// ... в main:
Animal* animal = new Dog();
animal->sound();  // Выведет "Неизвестный звук" (вызвана Animal::sound)

Ключевые правила использования virtual

• override (C++11) — явно указывает, что переопределяется виртуальный метод. Компилятор проверит наличие виртуального метода в базовом классе и выдаст ошибку при несовпадении сигнатуры.

• Виртуальный деструктор — ОБЯЗАТЕЛЕН при наследовании с полиморфизмом. Без него вызовется деструктор базового класса и произойдет утечка памяти.

• Чистые виртуальные методы — для абстрактных классов:

  class Shape {
  public:
      virtual void draw() = 0;  // = 0 означает чистый виртуальный метод
      virtual ~Shape() {}
  };
  

  Класс с чистыми виртуальными методами нельзя инстанцировать.

Затраты производительности

Использование virtual имеет небольшую стоимость:

• Память: каждый объект содержит скрытый указатель на vtable (обычно 8 байт на 64-бит системе)
• Скорость: косвенный вызов через таблицу медленнее, чем прямой вызов

Однако современные компиляторы часто могут inline-ть виртуальные вызовы при известном типе объекта на этапе компиляции (devirtualization).