Деструктор объекта

@vigord · Регистрация: 18.11.2015

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

Почему код:

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
#include <iostream>
using namespace std;
 
class myclass{
    static int i;
    int num;
    
    public:
    myclass() {i++, num=i;};
    void getNum(){cout<<num<<" ";}
    ~myclass(){cout<<"\ndestructor";};
};
 
int myclass::i=0;
 
 
int main() {
    myclass array[10];
    myclass a;
    int i;
    for(i=0; i<10; i++) array[i].getNum();
    cout<<endl;
    array[5].~myclass();
    array[5].getNum();
    a.~myclass();
    a.getNum();
    return 0;
}

При выполнении дает следующий вывод:

1 2 3 4 5 6 7 8 9 10

destructor6
destructor11
destructor
...

Разве деструктор не должен освободить память, занимаемую объектом? Что он выполняет в данном случае?

@Undisputed · 05.04.2017, 11:49

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

Разве деструктор не должен освободить память, занимаемую объектом?

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

MrGluck · 05.04.2017, 12:00

Не нужно явно вызывать деструктор у объектов, размещённых на стеке.

@Mirmik · 05.04.2017, 12:24

Деструктор ничего не освобождает, если в нем явно не прописаны никакие delete или прочие free.

Деструктор - это метод, который автоматически вызывается перед освобождением памяти. Например, при вызове delete, освобождение памяти, занимаемой объектов выполняется уже после вызова деструктора. При выходе из функции сброс стека также происходит после вызова деструктора. А не во время его... Деструктор сам по себе ничего не освобождает.

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

Таким образом, когда вы написали array[5].~myclass() вы вызвали метод-деструктор, который, буде ваш объект сложным, рекурсивно вызвал бы и деструкторы вложенных объектов, но!!!!

!!! Вы не освобождали память !!!

MrGluck · 05.04.2017, 12:32

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

Новые блоги и статьи Все статьи Все блоги /
Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .
Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .

MrGluck Форумчанин 8216 / 5047 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	05.04.2017, 12:00
	Не нужно явно вызывать деструктор у объектов, размещённых на стеке. 0

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	05.04.2017, 12:24
	Деструктор ничего не освобождает, если в нем явно не прописаны никакие delete или прочие free. Деструктор - это метод, который автоматически вызывается перед освобождением памяти. Например, при вызове delete, освобождение памяти, занимаемой объектов выполняется уже после вызова деструктора. При выходе из функции сброс стека также происходит после вызова деструктора. А не во время его... Деструктор сам по себе ничего не освобождает. Впрочем, у деструктора есть отличие от обычного метода. Неявно любой деструктор также выполняет все зависимые деструкторы для всех объектов класса. Компилятор этот код добавляет в деструктор автоматически. Таким образом, когда вы написали array[5].~myclass() вы вызвали метод-деструктор, который, буде ваш объект сложным, рекурсивно вызвал бы и деструкторы вложенных объектов, но!!!! !!! Вы не освобождали память !!! 0

MrGluck Форумчанин 8216 / 5047 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	05.04.2017, 12:32
	Деструктор - это всего лишь специальный метод, который вызывается при уничтожении объекта. Он содержит инструкции, которые необходимо выполнить до освобождения памяти, выделенной под объект. 0