Что такое virtual?

Что такое virtual?

virtual — это ключевое слово в C++, которое обеспечивает полиморфизм во время выполнения программы (runtime polymorphism). Оно позволяет переопределять методы в производных классах, при этом вызов происходит в зависимости от реального типа объекта во время исполнения.

Как это работает?

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

class Animal {
public:
    virtual void sound() {
        std::cout << "Some sound\n";
    }
    virtual ~Animal() {}
};

class Dog : public Animal {
public:
    void sound() override {
        std::cout << "Woof!\n";
    }
};

int main() {
    Animal* pet = new Dog();
    pet->sound();  // Выведет "Woof!"
    delete pet;
}

Ключевые моменты

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

Virtual деструктор — обязателен в базовых классах с наследованием. Без него утечка памяти.

Pure virtual функции — определяют абстрактные классы:

class Shape {
public:
    virtual void draw() = 0;
};

Производительность

Virtual функции имеют небольшой overhead: дополнительная дереференция указателя при каждом вызове, небольшие расходы на память (vptr в каждом объекте). Но это цена за гибкость полиморфизма.

Когда использовать?

• Полиморфное поведение (разные реализации одного интерфейса)
• Фреймворки и библиотеки с расширяемой архитектурой
• Когда тип объекта определяется во время выполнения

Virtual — фундаментальный инструмент ООП в C++, обеспечивающий гибкость и масштабируемость кода.