Оператор delete[]

@ReYalp · Регистрация: 27.12.2017

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

Каким образом оператор delete[] определяет какой участок памяти нужно "удалить"?

Croessmah · 19.02.2020, 12:51

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

Каким образом оператор delete[] определяет какой участок памяти нужно "удалить"?

Ты ж сам ему указатель передаешь.

@ReYalp · 19.02.2020, 12:53 **[ТС]**

Croessmah, как с указателя понять на какого размера участок памяти он указывает?

Croessmah · 19.02.2020, 12:55

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

как с указателя понять на какого размера участок памяти он указывает?

Зачем ему это знать?
Система (или какойто другой уровень, используемый для выделения памяти) вернула адрес выделенной памяти, потом его вернули обратно системе.
Как там ОС будет это расхлебывать - её проблемы.
Также, можно запросить у ОС чуть больше памяти, чем запросил пользователь.
Тогда есть возможность сохранить дополнительную служебную информацию, например, число объектов для которых нужно вызвать деструкторы.

@TRam_ · 19.02.2020, 12:56

ReYalp, зависит от реализации этого самого выделения в компиляторе. Иногда размер пишется в памяти перед местом, с которого начинается собственно выделенный массив.

@ReYalp · 19.02.2020, 12:59 **[ТС]**

Croessmah, ну ему это нужно знать чтобы освободить столько памяти сколько было выделено, спасибо за ответ

Croessmah · 19.02.2020, 13:02

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

ну ему это нужно знать

Зачем? Он у кого-то (назовем его менеджером памяти) попросил сколько-то памяти, ему дали указатель на эту память. Когда пришло время, он этот указатель вернул. А уж как там реализован менеджер памяти - delete[] не волнует.

@ReYalp · 19.02.2020, 13:04 **[ТС]**

Croessmah, а что кстати будет если сместить указатель вправо и пттом вызвать delete[]?

@DrOffset · 19.02.2020, 13:04

ReYalp,
Можно ли обойти динамический массив не зная его размер?
Можно ли обойти динамический массив не зная его размер?

Croessmah · 19.02.2020, 13:06

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

а что кстати будет если сместить указатель вправо и пттом вызвать delete[]?

Неопределенное поведение.

@ReYalp · 19.02.2020, 13:12 **[ТС]**

DrOffset, а насколько целесообразно использовать размер массива таким способом? Такое на практике используется?

Croessmah · 19.02.2020, 13:13

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

а насколько целесообразно использовать размер массива таким способом?

Добраться снаружи delete[] до размера? Это деталь реализации и с точки зрения C++ - незаконно. Будет иметь место неопределенное поведение.

@ReYalp · 19.02.2020, 13:19 **[ТС]**

Croessmah, Вы же только что писали что размер delete[] не нужен

Croessmah · 19.02.2020, 13:23

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

Вы же только что писали что размер delete[] не нужен

Я выше писал, что можно сохранить количество объектов, чтобы знать, сколько объектов нужно уничтожать, т.е. сколько нужно вызвать деструкторов. Если деструкторы вызывать не надо, то и количество объектов хранить не нужно. И да, я писал именно про количество объектов, а не про размер выделенной памяти.
"Массивная" версия delete-expression делегирует освобождение памяти operator delete[] . Тот в свою очередь возлагает это на operator delete. operator delete вполне может быть реализован через C'шный free.

А теперь вопрос. Зачем free знать размер выделенной памяти? malloc может вызвать HeapAlloc(heap, flags, count), а free тогда будет вызывать HeapFree(heap, flags, memptr). Нигде здесь не нужен размер выделенного участка. Хотя реализация вправе сохранять служебную информацию каким-то образом.

@ReYalp · 19.02.2020, 13:23 **[ТС]**

Croessmah, так а я с самого начала писал о участке памяти, те байтах

Croessmah · 19.02.2020, 13:29

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

так а я с самого начала писал о участке памяти, те байтах

Так я с самого начала написал, что размер выделенной памяти ему не нужен, тем более, что он может быть не такой, как ему кажется. Но delete[] должен вызвать деструкторы при необходимости, а значит ему нужно где-то держать информацию о количестве объектов. зачастую это реализовывается так, что new[] запрашивает у operator new[] чуть больше памяти и записывает в начало выделенной памяти число созданных объектов, а пользователю возвращается смещенный указатель. delete[] об этом знает. Читает количество объектов, вызывает деструкторы, смещает указатель как нужно и передает его operator delete[]. Опять же, размер выделенного блока ему не нужен.

@ReYalp · 19.02.2020, 13:46 **[ТС]**

Croessmah, зачем тогда сохраняется размер блока для free?

Croessmah · 19.02.2020, 13:50

К слову, имеются версии operator delete[], принимающие размер. И можно переопределить эти функции. Стандартная реализация сводится просто к вызову без размера.
Пробуем переопределить

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <iostream>
#include <new>
#include <string>
 
 
void operator delete[]( void* ptr, std::size_t sz ) noexcept
{
    std::cout << "delete[] " << ptr << " of " << sz << " bytes\n";
    operator delete[](ptr);
}
 
 
int main()
{
    std::cout << "sizeof string: " << sizeof(std::string) << std::endl;
    std::string * p = new std::string[10];
    delete[] p;
}

Смотрим результаты:
оть - https://rextester.com/LLMDM72823
уть- https://rextester.com/QBG57835
опа- https://rextester.com/JIRH96339

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

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

зачем тогда сохраняется размер блока для free?

Можно не сохранять, можно сохранять. Кто ж разберет зачем это надо или не надо. Например, можно реализовать собственный менеджер памяти, тогда можно более эффективно использовать ресурсы (если получится, конечно) и не ходить каждый раз к системе на поклон.

Новые блоги и статьи Все статьи Все блоги /
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
моя боль 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 полиномов. . .

Оператор delete[]

Решение

Решение

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484

	Оператор delete[] 19.02.2020, 12:46. Показов 3298. Ответов 17 Метки нет (Все метки) Каким образом оператор delete[] определяет какой участок памяти нужно "удалить"? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 12:53 [ТС]
	Croessmah, как с указателя понять на какого размера участок памяти он указывает? 0

@TRam_ зомбяк 1585 / 1219 / 345 Регистрация: 14.05.2017 Сообщений: 3,940
	19.02.2020, 12:56
	Сообщение было отмечено ReYalp как решение Решение ReYalp, зависит от реализации этого самого выделения в компиляторе. Иногда размер пишется в памяти перед местом, с которого начинается собственно выделенный массив. 1

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 12:59 [ТС]
	Croessmah, ну ему это нужно знать чтобы освободить столько памяти сколько было выделено, спасибо за ответ 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 13:04 [ТС]
	Croessmah, а что кстати будет если сместить указатель вправо и пттом вызвать delete[]? 0

@DrOffset 19495 / 10100 / 2461 Регистрация: 30.01.2014 Сообщений: 17,808
	19.02.2020, 13:04
	ReYalp, Можно ли обойти динамический массив не зная его размер? Можно ли обойти динамический массив не зная его размер? 2

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 13:12 [ТС]
	DrOffset, а насколько целесообразно использовать размер массива таким способом? Такое на практике используется? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 13:19 [ТС]
	Croessmah, Вы же только что писали что размер delete[] не нужен 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 13:23 [ТС]
	Croessmah, так а я с самого начала писал о участке памяти, те байтах 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 13:46 [ТС]
	Croessmah, зачем тогда сохраняется размер блока для free? 0