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

@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-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а привычная функция main(). . .	моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .
http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь(не выше 3-го порядка) постоянного тока с элементами R, L, C, k(ключ), U, E, J. Программа находит переходные токи и напряжения на элементах схемы классическим методом(1 и 2 з-ны. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/

@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