DNK_C_C++_Go_Rust

#198_Cpp_PkS_PPPO_TP

Что делает ключевое слово virtual в С++?

Ключевое слово virtual в C++ — используется для обозначения методов класса, которые могут быть переопределены в производных классах.
Оно играет важную роль в механизме полиморфизма, позволяя объектам различных типов вести себя по-разному в зависимости от их конкретного типа, даже если они обращаются через указатели или ссылки на базовые классы.

Основные аспекты использования virtual:

Полиморфизм через указатели и ссылки — когда метод помечен как virtual, его вызов через указатель или ссылку на базовый класс приводит к тому, что вызывается версия метода, соответствующая типу реального объекта, а не типу указателя или ссылки. Это называется динамическим связыванием:

class Animal {
public:
virtual void speak() {
std::cout << "Animal sound!" << std::endl;
}
};

class Dog : public Animal {
public:
void speak() override {
std::cout << "Woof!" << std::endl;
}
};

class Cat : public Animal {
public:
void speak() override {
std::cout << "Meow!" << std::endl;
}
};

int main() {
Animal* animalPtr = new Dog();
animalPtr->speak();
// Выведет "Woof!"

animalPtr = new Cat();
animalPtr->speak();
// Выведет "Meow!"

delete animalPtr;
return 0;
}

В этом примере, несмотря на то, что animalPtr имеет тип Animal*, вызывается правильная версия метода speak() в зависимости от типа реального объекта (Dog или Cat).

Таблица виртуальных методов (vtable) — при использовании virtual методов компилятор создаёт специальную структуру данных, называемую таблицей виртуальных методов (vtable).
Эта таблица хранит адреса всех виртуальных методов класса.
Каждый объект класса содержит указатель на свою vtable, что позволяет системе находить правильные версии методов при вызове через указатели или ссылки.

Виртуальные деструкторы — ключевое слово virtual также применяется к деструкторам.
Это особенно важно, когда объекты создаются динамически и управляются через указатели на базовые классы.
Виртуальный деструктор гарантирует, что при удалении объекта через указатель на базовый класс будут вызваны деструкторы всех соответствующих производных классов:

class Base {
public:
virtual ~Base() {
std::cout << "Base destructor called." << std::endl;
}
};

class Derived : public Base {
public:
~Derived() {
std::cout << "Derived destructor called." << std::endl;
}
};

int main() {
Base* basePtr = new Derived();
delete basePtr;
/* Вызывают оба деструктора: Derived и Base */
return 0;
}

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

Абстрактные классы и чистые виртуальные методы — метод, объявленный как virtual с суффиксом = 0, называется чистым виртуальным методом.
Классы, содержащие хотя бы один чистый виртуальный метод, называются абстрактными классами.
Объекты таких классов не могут быть созданы напрямую, однако они служат основой для создания производных классов, реализующих эти методы:

class Shape {
public:
// Чистый виртуальный метод
virtual double area() = 0;
};

class Circle : public Shape {
private:
double radius;
public:
Circle(double r) : radius(r) {}
double area() override {
return 3.14 * radius * radius;
}
};

int main() {
/* Можно создать объект производного класса */
Shape* shape = new Circle(5);
// Вычисление площади круга
std::cout << "Area: " << shape->area() << std::endl;
delete shape;
return 0;
}

Ключевое слово virtual в C++ позволяет реализовать полиморфизм, обеспечивая возможность вызова правильной версии метода в зависимости от типа реального объекта, даже если обращение осуществляется через указатели или ссылки на базовые классы.
Это важный инструмент для разработки гибких и расширяемых систем, основанных на принципах ООП.

2 viewsПавел "barracol", edited 21:05