Зачем нужны виртуальные методы?

@Doublench · Регистрация: 05.07.2013

Студворк — интернет-сервис помощи студентам

Тут она не виртуальная

C++
1
2
3
4
Student s;
Person &p = s;
s.name(); //Student::name()
p.name(); //Person::name()

А тут наоборот

C++
1
2
3
4
Student s;
Person &p = s;
s.name(); //Student::name()
p.name(); //Student::name()

Так зачем мне нужна возможность обращаясь по ссылке или указателю базового класса вызывать методы нужного мне производного класса ? Неужели я не могу указать это явно ? Объясните пожалуйста.

Убежденный · 19.04.2015, 12:10

Фишка в том, что вы можете не знать, какой на самом деле объект
скрывается за указателем/ссылкой на базовый класс.

Tulosba · 19.04.2015, 12:11

Сообщение от Doublench

Неужели я не могу указать это явно ?

В некоторых случаях действительно не можешь. Например, представь, что у тебя массив указателей на базовый (или функция, которая принимает параметр указателя/ссылки на базовый класс) тип и нужно вызвать функцию реального (динамического) типа объекта. Тут как раз хорошо использовать виртуальную функцию. Иначе пришлось бы или использовать dynamic_cast (который всё равно требует хотя бы одной виртуальной функции в базовом классе) или добавлять в объект свои поля типа (переменная, которая говорит о динамическом типе объекта).

Убежденный · 19.04.2015, 12:13

Сообщение от Tulosba

или добавлять в объект свои поля типа (переменная, которая говорит о динамическом типе объекта).

...что при наличии кучи разных типов объектов приводит к очень "веселым" картинкам:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
void SomeFunction(person & Person)
{
    if (Person.type == Student)
    {
        // ...
    }
 
    else if (Person.type == Manager)
    {
        // ...
    }
 
    else if (Person.type == Worker)
    {
        // ...
    }
 
    // И так еще раз 50...
}

Tulosba · 19.04.2015, 12:16

Сообщение от Убежденный

что при наличии кучи разных типов объектов приводит к очень "веселым" картинкам

Ага. Я это и приводил именно как вариант плохого дизайна.

@Doublench · 19.04.2015, 12:16 **[ТС]**

Убежденный, Tulosba, то есть, если у меня скажем функция возвращает тип void * и мне тут же нужно выбрать метод нужного производного класса, то как я понял, выходом будет виртуальная функция ?

Tulosba · 19.04.2015, 12:18

Сообщение от Doublench

функция возвращает тип void *

void* это обобщенный указатель, он не участвует в иерархии наследования типов. Функция должна возвращать указатель (ссылку) на базовый класс иерархии.

@Doublench · 19.04.2015, 12:21 **[ТС]**

Tulosba, тогда не могу понять зачем мне ссылка на базовый класс ? Если базовый класс это скажем Фигура, а производные Треугольник и что-то ещё, то зачем мне таки указатель на Фигуру ?

Tulosba · 19.04.2015, 12:40

Сообщение от Doublench

то зачем мне таки указатель на Фигуру ?

Допустим, есть метод, который делает поворот фигуры, а потом отображает её. И методу этому абсолютно по барабану какая конкретно там фигура: треугольник, квадрат, круг или что-то ещё. Он прост до безобразия:

C++
1
2
3
4
5
void useShape( Shape& shape )
{
   shape.rotate();
   shape.draw();
}

И когда у тебя добавится новая фигура, тебе не нужно будет переделывать метод useShape(), а достаточно просто реализовать rotate() и draw() для этой новой фигуры и всё будет работать как надо. При одном условии, что методы rotate() и draw() объявлены как виртуальные в базовом классе Shape.
Ферштейн?

@Doublench · 19.04.2015, 12:50 **[ТС]**

Tulosba, то есть это сделано лишь для удобства пользования, как, скажем и ссылки в c++ ? И правда ли, что, если у нас в классе присутствует хотя бы одна в иртуальная функция, деструктор также следует сделать виртуальным ?

@Jewbacabra · 19.04.2015, 13:01

Сообщение от Doublench

что, если у нас в классе присутствует хотя бы одна в иртуальная функция, деструктор также следует сделать виртуальным ?

даже если нет виртуальных методов.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
class A {
public:
    ~A() {}
};
class B: public A {
public:
    B() {
        b = new int[10];
    }
    ~B() {
        cout << "deleting b\n";
        delete[] b;
    }
private:
    int* b;
};
int main() {
    A* ab = new B();
    delete ab; // b освобождено не будет, т.к. в A деструктор не виртуальный
}

Tulosba · 19.04.2015, 13:30

Сообщение от Doublench

деструктор также следует сделать виртуальным

деструктор надо делать виртуальным, если используется полиморфное удаление объекта (как уже продемонстрировал Jewbacabra). В общем же случае необходимость в виртуальном деструкторе отсутствует, несмотря на наличие других виртуальных функций. Но во избежании проблем при дальнейшей разработке, разумно сделать деструктор базового класса виртуальным.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .

Убежденный Ушел с форума 16481 / 7444 / 1187 Регистрация: 02.05.2013 Сообщений: 11,616 Записей в блоге: 1
	19.04.2015, 12:10
	Фишка в том, что вы можете не знать, какой на самом деле объект скрывается за указателем/ссылкой на базовый класс. 0

@Doublench 1 / 1 / 0 Регистрация: 05.07.2013 Сообщений: 176
	19.04.2015, 12:16 [ТС]
	Убежденный, Tulosba, то есть, если у меня скажем функция возвращает тип void * и мне тут же нужно выбрать метод нужного производного класса, то как я понял, выходом будет виртуальная функция ? 0

@Doublench 1 / 1 / 0 Регистрация: 05.07.2013 Сообщений: 176
	19.04.2015, 12:21 [ТС]
	Tulosba, тогда не могу понять зачем мне ссылка на базовый класс ? Если базовый класс это скажем Фигура, а производные Треугольник и что-то ещё, то зачем мне таки указатель на Фигуру ? 0

@Doublench 1 / 1 / 0 Регистрация: 05.07.2013 Сообщений: 176
	19.04.2015, 12:50 [ТС]
	Tulosba, то есть это сделано лишь для удобства пользования, как, скажем и ссылки в c++ ? И правда ли, что, если у нас в классе присутствует хотя бы одна в иртуальная функция, деструктор также следует сделать виртуальным ? 0