Какво знаете за ключовата дума virtual в C++?

virtual в C++ се използва за обявяване на виртуални функции в базовия клас. Това позволява реализиране на полиморфизъм по време на изпълнение (runtime polymorphism).

Приложение:

• Определя функция в базовия клас, която може да бъде презаписана (override) в наследените класове.
• При извикване на виртуална функция чрез указател или препратка към базовия клас, всъщност се извиква реализацията на функцията в обекта на наследения клас (ако е презаписана там). Това се случва по време на изпълнение чрез таблицата на виртуалните функции (vtable).

Основни моменти:

• Виртуални могат да бъдат само член-функциите на класа. Глобалните функции, статичните член-функции и конструкторите не могат да бъдат виртуални.
• Деструкторите могат и често трябва да бъдат виртуални, за да се избегне изтичане на памет при изтриване на обекти на наследени класове чрез указател към базовия клас.
• Ако функция е обявена virtual в базовия клас, тя автоматично остава виртуална във всички наследени класове, дори ако там не се използва ключовата дума virtual (макар че е препоръчително да се посочи явно virtual и override в наследените класове за яснота).
• Чисто виртуалните функции се обявяват с = 0 и правят класа абстрактен. Такъв клас не може да бъде инстанциран директно.

Пример:

#include <iostream>

class Base {
public:
    virtual void print() {
        std::cout << "From Base" << std::endl;
    }

    virtual ~Base() {
        std::cout << "Base destructor" << std::endl;
    }
};

class Derived : public Base {
public:
    void print() override { // Използване на override за ясно указание за презаписване
        std::cout << "From Derived" << std::endl;
    }

    ~Derived() override { // Използване на override
        std::cout << "Derived destructor" << std::endl;
    }
};

int main() {
    Base* ptr = new Derived(); // Указател към базовия клас сочи към обект на наследения

    ptr->print(); // Извиква се Derived::print() заради виртуалната функция
    delete ptr;   // Извикват се деструкторите на Derived, а след това и на Base заради виртуалния деструктор

    return 0;
}

Свързани понятия:

• vtable (таблица на виртуалните функции): Таблица с указатели към виртуалните функции на класа. Всеки обект с виртуални функции съдържа невидим указател (vptr) към vtable на своя клас.
• vptr (указател към vtable): Необходим за определяне на извикваната функция по време на изпълнение.
• = 0 (чиста виртуална функция): Означава, че функцията няма реализация в този клас, правейки го абстрактен.
• override (презаписване): Явно указва, че функцията в наследения клас презаписва виртуалната функция на базовия. Помага на компилатора да открие грешки, ако сигнатурата не съвпада.
• final (край): Забранява допълнително презаписване на виртуална функция или наследяване от класа.

Кратко: virtual е основният механизъм за реализиране на полиморфизъм чрез наследяване и динамично свързване на функциите в C++.