Удаление массива через указатель на базовый класс

@denes · Регистрация: 05.04.2010

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

Всем привет!
У меня тут возникли сомнения можно или нельзя удалять динамически созданный массив объектов производного класса через указатель на базовый класс? Т.е. вот так:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#include <iostream>
 
using std::cout;
using std::endl;
 
 
class A {
public:
    char m_a;
 
    A() : m_a('a') {
        cout << "A(), this == " << this << endl;
    }
 
    ~A() {
        cout << "~A(), this == " << this << ", m_a == " << m_a << endl;
    }
};
 
class B : public A {
public:
    char m_b;
 
    B() : m_b('b') {
        cout << "B(), this == " << this << endl;
    }
 
    ~B() {
        cout << "~B(), this == " << this << ", m_b == " << m_b << endl;
    }
};
 
int main() {
    A* pArray = new B[4];
    delete[] pArray;
}

В книге Скотта Майерса "Эффективное использование C++. 35 новых способов ..." есть "Правило 3. Никогда не используйте полиморфизм в массивах", в котором говорится, что так делать нельзя — это Undefined Behaviour. Но меня смущает то, что пример который я привел вроде бы правильно работает, а именно — смещения до объектов в массиве вычисляются правильно! Вот вывод программы:

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
A(), this == 003460B4
B(), this == 003460B4
A(), this == 003460C0
B(), this == 003460C0
A(), this == 003460CC
B(), this == 003460CC
A(), this == 003460D8
B(), this == 003460D8
~B(), this == 003460D8, m_b == b
~A(), this == 003460D8, m_a == a
~B(), this == 003460CC, m_b == b
~A(), this == 003460CC, m_a == a
~B(), this == 003460C0, m_b == b
~A(), this == 003460C0, m_a == a
~B(), this == 003460B4, m_b == b
~A(), this == 003460B4, m_a == a

Видно, что смещения до всех объектов во время выполнения delete[] были правильно вычислены. Но если сделать конструкторы не виртуальными, тогда смещения будут вычисляться не правильно (размеры A и B отличаются).

В общем хотелось бы уточнить:
1. Действительно ли ни при каких условиях нельзя удалять массив объектов производного класса через указатель на базовый? Или при наличии виртуальных конструкторов все же можно?

2. А как вообще получается, что смещения до объектов в приведенном примере вычисляются правильно?? Ведь delete[] выполняет что-то типо

http://www.parashift.com/c++-f... l#faq-38.7

C++
1
2
3
4
5
// Original code: delete[] p;
size_t n = * (size_t*) ((char*)p — WORDSIZE);
while (n-- != 0)
(p + n)->~Fred();
operator delete[] ((char*)p — WORDSIZE);

Т.е. используется адресная арифметика (p+n), но p в данном случае это указатель на класс A, а не на класс B... Что-то не срастается...

@Ignat · 11.07.2010, 14:16

Удалить можно : через себя, this - производного класса,
для этого чистую виртуальную функцию Release() надо ~прокачать(реализовать в производном классе в теме показано как:
Грязный хук.

@Nick Alte · 12.07.2010, 11:14

Дети, слушайтесь дядю Майерса. Он дело говорит. Грязными хаками не балуйтесь. Не складывайте объекты в массивы. Если нужно содержать набор объектов, пользуйтесь массивом (или другим контейнером) из указателей. Если объекты находятся в иерархии, делайте деструктор виртуальным. Если хочется и рыбку съесть, и косточкой не подавиться - то есть, и объектами баловаться, и не потерять преимуществ массива в плане непрерывности и выделения памяти одним кусочком, есть вещи вроде object pool. Это если и правда надо.

@denes · 12.07.2010, 11:28 **[ТС]**

так решение есть или нет ?

Новые блоги и статьи Все статьи Все блоги /
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(), которая. . .

@Ignat 1261 / 799 / 108 Регистрация: 16.09.2009 Сообщений: 2,010
	11.07.2010, 14:16
	Удалить можно : через себя, this - производного класса, для этого чистую виртуальную функцию Release() надо ~прокачать(реализовать в производном классе в теме показано как: Грязный хук. 0

@Nick Alte 1675 / 1047 / 174 Регистрация: 27.09.2009 Сообщений: 1,945
	12.07.2010, 11:14
	Дети, слушайтесь дядю Майерса. Он дело говорит. Грязными хаками не балуйтесь. Не складывайте объекты в массивы. Если нужно содержать набор объектов, пользуйтесь массивом (или другим контейнером) из указателей. Если объекты находятся в иерархии, делайте деструктор виртуальным. Если хочется и рыбку съесть, и косточкой не подавиться - то есть, и объектами баловаться, и не потерять преимуществ массива в плане непрерывности и выделения памяти одним кусочком, есть вещи вроде object pool. Это если и правда надо. 0

@denes 6 / 6 / 0 Регистрация: 05.04.2010 Сообщений: 350
	12.07.2010, 11:28 [ТС]
	так решение есть или нет ? 0

Опции темы