Деструктор класса. Удаление динамически выделенного массива в классе

@Fasterbru · Регистрация: 18.11.2014

First.h

C++

class First
{
private:
    int* num;
    int n;
public:
    First(int a);
    ~First();
};

First.cpp

C++

#include "First.h"
 
First::First(int a)
{
    n = a;
    num = new int[a];
}
 
First::~First()
{
    delete[n] num;
}

lss · 17.05.2015, 22:48

C++

1	delete [] num;

@Fasterbru · 17.05.2015, 23:05 **[ТС]**

ошибка

lss · 17.05.2015, 23:10

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

ошибка

И что? Ошибка может быть из-за того, что где-то в коде память портится. При освобождении это проявляется.

@Perfilov · 17.05.2015, 23:12

один из возможных вариантов: двойное удаление из-за отсутствия правильных конструкторов копирования и оператора =.
вот еще полезная тема: https://www.cyberforum.ru/cpp-... 62479.html

@bogdan_017 · 17.05.2015, 23:15

Fasterbru,

Не по теме:

еще неплохо бы после выделения памяти добавить проверку. Не всегда операция "new" выделяет память. Бывают ситуации, когда она записывает в указатель NULL.

C++

num = new int[a];
if (!num) 
{ 
//обработать ошибку
}

@Perfilov · 17.05.2015, 23:17

нули возвращаются разве что в особых режимах сборки при особой конфигурации. в стандарте в таких случаях бросаются исключения. если вы проверяете на nullptr после new, то больше так не делайте.

@Fasterbru · 17.05.2015, 23:20 **[ТС]**

Perfilov, lss, bogdan_017,
main.cpp

C++

#include "First.h"
 
 
int main()
{
    First perem(10);
    perem.~First();
 
    system("pause");
}

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

lss · 17.05.2015, 23:23

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

num = new int[a];
if (!num)
{
//обработать ошибку
}

Тогда уж так:

C++

num = new (nothrow) int[a];
if (!num) 
{ 
//обработать ошибку

@Perfilov · 17.05.2015, 23:25

не используете, однако delete вызывается дважды для одного и того же, что есть ошибка. первый раз при явном вызове деструктора (зачем???), второй - при автоматическом вызове деструктора.

@hoggy · 17.05.2015, 23:25

1 ошибка:

заменить

C++

1	delete[n] num;

на

C++

1	delete[] num;

2 ошибка.

конструктор копии и оператор присваивания должны быть либо определены,
либо явным образом запрещены.

в данном случае они не определены явно и не запрещены явно.

это значит поведение по дефолту.

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

@Fasterbru · 17.05.2015, 23:26 **[ТС]**

lss, он проходит это нормально. я могу использовать эту память.

lss · 17.05.2015, 23:26

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

perem.~First();

Это UB.

@Fasterbru · 17.05.2015, 23:27 **[ТС]**

hoggy, 1 ошибку исправил. 2) я выше выложил код cpp где использую объект. там только создание и вызов деструктора.

lss · 17.05.2015, 23:28

Не нужно здесь явно вызывать деструктор.

@hoggy · 17.05.2015, 23:29

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

nt main()
{
* * First perem(10);
* * perem.~First();
system("pause");
}

ну это жесть вообще.
для настоящих ценителей.

лекарство:

заменить:

C++

First::~First()
{
    delete[n] num;
}

на:

C++

First::~First()
{
    delete[n] num;
    num = nullptr;
}

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

настоящее лекарство - престрелить нафиг того программиста,
который столь необдуманно в ручную дергает деструктор.

@Fasterbru · 17.05.2015, 23:29 **[ТС]**

lss, почему?

lss · 17.05.2015, 23:30

Если хочешь проверить работу деструктора, помести создание объекта в {}, тогда при выходе из этой области сработает деструктор.

@hoggy · 17.05.2015, 23:31

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

Это UB.

это не UB.

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

(см boost::optional, например)

А UB это:

C++

1 2	{First perem(10); perem.~First(); }

lss · 17.05.2015, 23:36

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

lss, почему?

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

Добавлено через 43 секунды

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

более того - деструктор можно звать руками не просто так.

Написал:

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

Не нужно здесь

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

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

на:

C++

First::~First()
{
* * delete[n] num;
* * num = nullptr;
}

Это как? Что освобождаем?

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

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

А UB это:

C++

1 2	* * {First perem(10); * * perem.~First(); }

А в коде у ТС разве не так? Скобки можно раздвинуть до границ main().

lss 940 / 868 / 355 Регистрация: 10.10.2012 Сообщений: 2,706
	17.05.2015, 23:26	13
	Сообщение от Fasterbru perem.~First(); Это UB. 0

Деструктор класса. Удаление динамически выделенного массива в классе

Решение

Решение

@Fasterbru 5 / 5 / 4 Регистрация: 18.11.2014 Сообщений: 81
	17.05.2015, 23:05 [ТС]	3
	ошибка Миниатюры 0

lss 940 / 868 / 355 Регистрация: 10.10.2012 Сообщений: 2,706
	17.05.2015, 23:10	4
	Сообщение от Fasterbru ошибка И что? Ошибка может быть из-за того, что где-то в коде память портится. При освобождении это проявляется. 0

@Perfilov 265 / 165 / 56 Регистрация: 25.02.2015 Сообщений: 435
	17.05.2015, 23:12	5
	один из возможных вариантов: двойное удаление из-за отсутствия правильных конструкторов копирования и оператора =. вот еще полезная тема: https://www.cyberforum.ru/cpp-... 62479.html 0

@Perfilov 265 / 165 / 56 Регистрация: 25.02.2015 Сообщений: 435
	17.05.2015, 23:17	7
	нули возвращаются разве что в особых режимах сборки при особой конфигурации. в стандарте в таких случаях бросаются исключения. если вы проверяете на nullptr после new, то больше так не делайте. 0

@Perfilov 265 / 165 / 56 Регистрация: 25.02.2015 Сообщений: 435
	17.05.2015, 23:25	10
	не используете, однако delete вызывается дважды для одного и того же, что есть ошибка. первый раз при явном вызове деструктора (зачем???), второй - при автоматическом вызове деструктора. 0

@Fasterbru 5 / 5 / 4 Регистрация: 18.11.2014 Сообщений: 81
	17.05.2015, 23:26 [ТС]	12
	lss, он проходит это нормально. я могу использовать эту память. 0

@Fasterbru 5 / 5 / 4 Регистрация: 18.11.2014 Сообщений: 81
	17.05.2015, 23:27 [ТС]	14
	hoggy, 1 ошибку исправил. 2) я выше выложил код cpp где использую объект. там только создание и вызов деструктора. 0

lss 940 / 868 / 355 Регистрация: 10.10.2012 Сообщений: 2,706
	17.05.2015, 23:28	15
	Не нужно здесь явно вызывать деструктор. 0

@Fasterbru 5 / 5 / 4 Регистрация: 18.11.2014 Сообщений: 81
	17.05.2015, 23:29 [ТС]	17
	lss, почему? 0

lss 940 / 868 / 355 Регистрация: 10.10.2012 Сообщений: 2,706
	17.05.2015, 23:30	18
	Сообщение было отмечено Fasterbru как решение Решение Если хочешь проверить работу деструктора, помести создание объекта в {}, тогда при выходе из этой области сработает деструктор. 1