Использование delete вместо delete[] для динамического массива

Рыжий Лис · Регистрация: 17.05.2012

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

Доброго времени суток.

Играюсь с утечками памяти в одномерных/двухмерных массивах. С двухмерными массивами всё ок, память утекает

Так вот, в следующем примере память НЕ УТЕКАЕТ, хотя написано delete, вместо правильного delete[] (Почему в С++ массивы нужно удалять через delete[]):

C++
1
2
3
4
5
6
int main() {
    int *array = new int[10];
    // …
    // delete[] array;
    delete array;
}

Компилятор msvc (?).

В интернете нашлись некоторые подробности такого поведения:

new[] и delete[] обязаны вызвать конструктор и деструктор для каждого элемента массива.

На самом деле на целом ряде платформ в прошлом (старые Винды и VС или какой-то Borland) и сейчас (встраиваемые) можно использовать delete после new[] и ничего не ломалось. В винде GlobalAlloc всегда записывает сколько ему памяти попросили выделить, на "салфетке бургомистра", эту информацию можно узнать и вызов освобождения GlobalFree этого значения не требует. А вон на линхе узнать размер выделенного блока, насколько я знаю, нельзя.

А в других случаях нужно передавать размер, но не массива а блока памяти на уровне ОС и он где-то хранится. В других это другая функция. Это зависит от того, как организован менеджер памяти в ОС. И поэтому стандарт разрешает рабочей части delete и delete[] иметь одну и ту же реализацию "рабочей" части, высвобождающей память, но мешать их - это UB.

@eva2326 · 25.06.2024, 16:19

Не по теме:

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

я написал бред

Не совсем...
Просто ваше суждение исходит из неверного посыла.

Рассмотрим ещё раз утверждение:

корректное выполнение программы - это частный случай неопределенного поведения

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

Однако из истинности утверждения: "а - это б", не следует, что "а - это только и только б", никак не следует, что "а не может быть чем то ещё, кроме б, например в"

Слово "только" DrOffset не использовал.
И тем не менее, у вас в голове нафантазировалось соответствующее ограничение.
Такое явление не редкость. В психологии это называется "когнитивным искажением".
В данном случае когнитивное искажение проявилось в том, что вы домыслили несуществующее "только".

В действительности же, высказывание:

корректное выполнение программы - это частный случай неопределенного поведения

Столь же верное, как и высказывание:

корректное выполнение программы - это общий случай определенного поведения

Более того, из фактов, что "a - это б", и "а - это в", никак автоматически не следует, что "б - это в"
В каких то случаях может следовать, а в каких то может и не следовать.

Добавлено через 1 минуту

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

delete[] обходит массив и вызывает delete для каждого элемента

Бред.

@TheCalligrapher · 26.06.2024, 01:50

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

Сделайте массив из элементов, которые в конструкторе выделяют память через new и в деструкторе освобождают ее через delete - увидите разницу.

Для того, чтобы "увидеть разницу", не нужно выделять никакую память в конструкторе и освобождать в деструкторе. Достаточно написать любой класс с нетривиальным деструктором, который делает что угодно, чтобы увидеть, что этот деструктор вызывается для каждого элемента массива.

Именно вызывается деструктор для каждого элемента массива, а не "вызывает delete для каждого элемента", как вы странно и неправильно написали.

@Dushevny · 26.06.2024, 12:21

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

как вы странно и неправильно написали

Согласен. Посыпаю голову окурками.

Добавлено через 2 минуты

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

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

Но сам по себе невызов деструктора "который делает что угодно"не приведет к утечке памяти, а Рыжий Лис хотел увидеть именно ее.

Рыжий Лис · 26.06.2024, 15:35 **[ТС]**

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

Но сам по себе невызов деструктора "который делает что угодно"не приведет к утечке памяти, а Рыжий Лис хотел увидеть именно ее.

Конечно, это уже выходит за рамки вопроса (в вопросе спрашивалось только про тривиальные типы int итд).

Вот gcc под рукой оказался, отработал как я думал, для первого элемента вызвался деструктор, для других - нет.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <iostream>
 
struct Trixie {
    Trixie() {
        std::cout << "Trixie()" << std::endl;
    }
    
    ~Trixie() {
        std::cout << "~Trixie()" << std::endl;
    }
};
 
int main() {
    Trixie *array = new Trixie[10];
    // …
    // delete[] array;
    delete array;
}

Code
1
2
3
4
5
6
1.cpp:17:12: warning: ‘void operator delete(void*, std::size_t)’ called on pointer returned from a mismatched allocation function [-Wmismatched-new-delete]
   17 |     delete array;
      |            ^~~~~
1.cpp:14:34: note: returned from ‘void* operator new [](std::size_t)’
   14 |     Trixie *array = new Trixie[10];
      |                                  ^

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
Trixie()
Trixie()
Trixie()
Trixie()
Trixie()
Trixie()
Trixie()
Trixie()
Trixie()
Trixie()
~Trixie()
munmap_chunk(): invalid pointer
Aborted

Новые блоги и статьи Все статьи Все блоги /
Локальный http сервер Argus19 17.10.2026 Локальный http сервер На работе, на двух локальных компьютерах круглосуточно работают программы опроса приборов с записью в книги Excel,которые раз в сутки записываются на сервер компании. Т. к. . . .	Копировать Windows на новый диск на UEFI damix 17.10.2026 https:/ / uriesk. wordpress. com/ 2016/ 11/ 01/ move-window-10-to-ssd-on-a-uefi-dualboot-system-with-basic-linux-tools/ TL DR Вставляем диск, а старый подключаем через переходник, грузимся с лайва. . .	ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .
Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .