C++ освоббождение памяти

[Uefa]

Здравствуйте! В конструкторе копирования проверка if (arg != NULL) всегда возвращает истину, почему? Нужно проверить был ли заполнен массив ранее, если да, то освободить память.

class Calc{	
private:
	float  *arg, *value;
	int n;  
	double start,end, step;	
	void setCalculate ();
              Calc(): start(0), end(0), step(0), arg(NULL), value(NULL), n(0){}; 
	Calc(const Calc& s);
	Calc(double st, double en, double stp);   
	~Calc();    
};

Calc::Calc(const Calc& s)   //конструктор копирования
{
	start = s.start;
	end = s.end;
	step = s.step;
	n = s.n;
	cout << s.arg[0];
	if (arg != NULL)
	{
		cout <<"sdfsdf";
		delete[] arg;
	}
	//if (value!=NULL)
//	delete[] value;
	arg = new float[n+1];
	for (int j=0; j<=n; j++)
	{
		arg[j] = s.arg[j];
		cout <<"\n" << arg[j] << s.arg[j];
	}
	value = new float[n+1];
	for (int j=0; j<=n; j++)
	{
		value[j] = s.value[j];
	}
	
}

Calc::~Calc()
{
	if (arg!=NULL)
		delete[] arg;
	if (value!=NULL)
		delete[] value;

}

[Uefa]

в конструкторе копирования проверка if (arg != NULL) всегда возвращает истину, почему? Нужно проверить был ли заполнен массив ранее, если да, то освободить память.

[waleri]

Откуда в конструкторе возмутся данные для освобождения?
Ключевое слово - конструктор. Для чего служат конструкторы?

[Uefa]

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

Откуда в конструкторе возмутся данные для освобождения?
Ключевое слово - конструктор. Для чего служат конструкторы?

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

[halcyon]

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

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

Чем является конструктор? Это метод, который инициализирует объект, объект, который еще не был создан. Что можно скопировать в то, чего еще нет?
Данная проверка:

if (arg != NULL)
	{
		cout <<"sdfsdf";
		delete[] arg;
	}

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

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

Это утверждение ближе к operator=(). Т.к. объект был уже создан, и для его полей возможно была выделена память.

[Uefa]

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

Чем является конструктор? Это метод, который инициализирует объект, объект, который еще не был создан. Что можно скопировать в то, чего еще нет?
Данная проверка:

if (arg != NULL)
	{
		cout <<"sdfsdf";
		delete[] arg;
	}

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

Это утверждение ближе к operator=(). Т.к. объект был уже создан, и для его полей возможно была выделена память.

https://ru.wikipedia.org/wiki/%CA%EE...E2%E0%ED%E8%FF

[halcyon]

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

https://ru.wikipedia.org/wiki/%CA%EE...E2%E0%ED%E8%FF

В чем смысл приведенной ссылки?
Как, намекнул уважаемый waleri, ключевое слово здесь конструктор, что делают конструкторы? Что-то конструируют, помимо конструирования, по-умолчанию этот конструктор еще выполняет побитовое копирование объекта, если программист не переопределяет это поведение собственным конструктором копирования. Как и указано по ссылке:

Существует четыре случая вызова конструктора копирования:

Когда объект является возвращаемым значением
Когда объект передается (функции) по значению в качестве аргумента
Когда объект конструируется на основе другого объекта (того же класса)
Когда компилятор генерирует временный объект (как в первом и втором случаях выше; как явное преобразование и т. д.)

Во всех четырех случаях объект создается, так какой по-вашему смысл проверять внутренние указатели объекта, которой еще только создается?

[Uefa]

Разобрался, теперь программа работает нормально, но при завершении вылазит ошибка _Block_Type_Is_Valid (pHead->nBlockUse). Ошибка в деструкторе из-за освобождения памяти, но что я там не правильно освобождаю, не пойму. В конструкторе выделяю память arg = new float[n+1], в деструкторе освобождаю delete[] arg; В чем ошибка?

[waleri]

Кофейная гуща закончилась...
Либо arg изменился либо вызываете delete [] arg более одного раза.