В различном коде не часто, но встречается конструкция вида

Можете объяснить назначение такого вызова ?
Правильно ли я понимаю, что delete делает примерно следующее:

а ptr->~ClassName(); только вызывает деструктор, а память не освобождает ?
Если правильно, то подскажите, пожалуйста, в каких случаях это используется.
Спасибо.

Это сообщение отредактировал(а) borisbn - 24.3.2011, 10:58

borisbn

В C++ есть возможность создать объект в заранее выделенной области памяти.

По сути это явный вызов конструктора. Аналогично для удаление этого объекта необходимо вызвать деструктор и освободить память.

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




Да. Поэтому оператор delete предпочтительнее (освобождает память и удаляет объект).


А что у нас обычно в деструкторе ? Что-то удаляем (объекты).

Если при создании объекта имеется динамическое распределение памяти, то выделение памяти
делают в конструкторе, ее освобождение - в деструкторе.

Т.е. для освобождения памяти и удаления объектов класса.

В конструкторе:


В деструкторе:


А наш объект (типа ClassName) при этом не удаляем, только чистим память.

Это сообщение отредактировал(а) Modul - 24.3.2011, 11:56

возможность то есть... а можете привети примеры, в которых это необходимо (требуется) применять ?
Другими словами, что это за случаи, когда нельзя сделать "по-человечески" new/delete ?





ты считаешь, что я этого не знаю ?

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

Это сообщение отредактировал(а) azesmcar - 24.3.2011, 12:04

Конечно знаешь ! Просто сразу не догадался, потому спросил.   




А потом еще надо отдельную функцию сделать, чтобы их снова в динамике создать.
Подумалось.

Итого у нас для раздумий 2 варианта.

azesmcar, т.е. (если я правильно понял) это используется только когда сам делашь менеджер памяти (ну или, скажем, его основной функционал).
OK, спасибо. закрываю.

Не только, скорее в основном. Явный вызов деструктора нужен тогда, когда ему предшествовал явный вызов конструктора. Еще один пример использования можешь посмотреть у Александреску - phoenix singleton.

В общем-то это возможность языке, а где и как ее применять личное дело каждого.


не совсем понял о чем речь.

Это сообщение отредактировал(а) azesmcar - 24.3.2011, 12:17

Если мы дальше хотим работать с объектом, 
снова надо эти мелкие объекты (может массивы) создать после их удаления в деструкторе
в отдельной функции.

Че?

Посмотрите реализацию std::vector. Там это используется - reserve() выделяет блок памяти, resize() создает объекты в уже выделенной области.

bsa, я про такой вариант:



Думаю, может меня остальные не поняли.

При создании объекта имеется динамическое распределение памяти (мелкие объекты), выделение памяти сделали в конструкторе, ее освобождение - в деструкторе.

Вызвали явно деструктор, мелкие объекты удалили. 

При дальнейшей работе с нашим объектом (его не удалили) эти мелкие динамические объекты снова создаем через отдельный метод.

Это сообщение отредактировал(а) Modul - 24.3.2011, 12:46

Modul, я опять не понял, о чем ты говоришь. Если об освобождении ресурсов деструктором, которые выделил конструктор, то это и ежу понятно. Причем не важно, выделялись ли они на самом деле или нет. Если сконструировал объект, то изволь его затем деконструировать. И не важно, int это, или мега сложный класс управления стержнями ядерного реактора.

bsa, хммм. Действительно, каждый день пользую, а не подумал про вектор. Там, пожалуй, по-другому и не сделаешь.

1) delete myObject;



С этим всем ясно !  

2) По сабжу собственно:

1. создали объект

ClassName *myObject = new ClassName;

В конструкторе у нас были мелкие динамические объекты, типа:



2. вызвали явно деструктор
myObject->~ClassName();

и удалили все наши мелкие динамические объекты. 
delete pPointer;

Объект myObject у нас существует - занимает память, а наши мелкие динамические объекты удалены.

3. Для новой работы с объектом myObject требуется создать снова наши мелкие динамические объекты,
созданные в конструкторе (например, pPointer).
Для этого я предлагал сделать отдельную функцию.

И шото меня не поняла общественнось.  

Да потому что ты какую-то ерунду сморозил. Назови хоть один пример, когда требуется делать так, как ты рекомендуешь?

Непосредственный вызов деструктора используется ТОГДА И ТОЛЬКО ТОГДА, когда использовался размещающий new. Так как этот оператор просто вызывает конструктор, передавая ему в качестве указателя this адрес заданной тобой области памяти. Используется это для создания так называемых пулов - собственных "куч".
Пример:


Это сообщение отредактировал(а) bsa - 24.3.2011, 16:03