Конструктор прсвоения класса, использующего new

[Smogg]

Почему не могу использовать
MyClass instA = someFunction()
или
MyClass instA = instB?

Ведь string st = retStr() прекрасно работает.

#include <string>
#include <iostream>

class ClsA{
public:
	ClsA(char * s)
	{
		if ( !s || strlen(s) == 0)
		{
			sizeDat = 0;
			dat = nullptr;
			return;
		}
		sizeDat = strlen(s)+1;
		dat = new char[sizeDat];
		std::memcpy(dat, s, sizeDat);
	}
	~ClsA(){
		if (dat)
			delete[] dat;
	}
	ClsA &operator=(ClsA & clsAssgn){
		if (dat)
			delete[] dat;
		dat =new char[clsAssgn.sizeDat];
		std::memcpy(this->dat, clsAssgn.dat, clsAssgn.sizeDat);
			return *this;
	}
	ClsA &operator=(char * s){
		if (dat)
			delete[] dat;
		
		if (strlen(s) == 0)
		{
			sizeDat = 0;
			dat = nullptr;
		}
		
		sizeDat = strlen(s) +1;
		dat = new char[sizeDat];
		std::memcpy(dat, s, sizeDat);
		return *this;
	}
	char * GetDat(){
		return dat;
	}
protected:
	char * dat;
	int sizeDat;
};

ClsA ret(){
	ClsA a("sample");
	return a;
}
using namespace std;

int main(int argc, char* argv[])
{
	ClsA a("sample");
	
	ClsA g("");
	g = a;          // вот тут operator= вызывается
	cout << g.GetDat() << endl;
	string st = string("copy string");

	cout << st << std::endl;
	cout << g.GetDat() << endl;

	ClsA b = ret();          // вот тут operator= ничерта не вызывается

	cout << b.GetDat() << endl; // exception! :(((
	getchar();
	return 0;
}

Визуал Студио, есличе

[Ezhik Kihze]

Вы не возвращайте локальный стековый объект для начала.

[Smogg]

Сообщение от Ezhik Kihze

Вы не возвращайте локальный стековый объект для начала.

А есть разница? Стд::стринги ж нормально возвращаются.

Сейчас у меня возвращается указатель на статичный объект, у которого есть перегруженный оператор=:
ClsA operator=(ClsA * instAssgn);
Но, блин, также есть и ClsA operator=(ClsA instAssgn);

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

Отчего вместо аккуратного

ClsA instA = func();

приходится использовать кривое:

ClsA * pntrA = func();
ClsA instB;
instB = pntrA;

Или не прав?

[Smogg]

Тадамммм!! Я все понял. Вот они, досадные плоды самообразования!

Тута должен быть явно описан конструктор копирования, иначе компилятор работает по дефолту:

	ClsA(ClsA & copy)
	{
		if ( !copy.dat || !copy.sizeDat)
		{
			sizeDat = 0;
			dat = nullptr;	
			return;		
		}
		sizeDat = copy.sizeDat;
		dat = new char[sizeDat];
		std::memcpy(dat, copy.dat, copy.sizeDat);
	}

[nikmoon]

Явно объявленный конструктор копирования решил проблему?

[Smogg]

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

Явно объявленный конструктор копирования решил проблему?

Ага)

ClsA ret(){
	ClsA a("sample");
	return a;
}

Потому что в точке return a; функция не мгновенно завершается, а всего лишь конструируется возвращаемый объект и происходит GOTO к самой-самой последней строчке, т.е. "}". Где происходит вызов деструктора локального Cls а и тогда, если возвращаемый объект был создан по дефолту, т.е. просто скопированы члены-данные, то этот объект имеет указатель dat, хоть и равный a.dat, но уже не валидный, ибо для a.dat уже был вызван delete.

[nikmoon]

Что по-вашему происходит в таком коде?

ClsA b = ret();

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

[Smogg]

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

Что по-вашему происходит в таком коде?

ClsA b = ret();

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

Судя по остановкам на бряках, происходят интересные вещи:
1. заходится в функцию ret()
2. в ней конструируется локальный объект a.
3. вызывается return a, каковой на самом деле означает вызов конструктора присваивания b(& a)
4. ипсполняемый код внутри функции закончился и начинается разрушение локальных объектов, т.е. вызов деструктора для а
5. выход из функции ret()
6. исполнение строчки кода, следующей за ClsA b = ret();

[nikmoon]

Почему-то мой компилятор такое не проглатывает.
1. Т.к. функция ret() возвращает не ссылку, а именно объект, компилятор требует
определить конструктор ClsA(ClsA), но при его определении ругается, что такой конструктор создать нельзя
2. Если определить функцию ret() так, чтобы она возвращала ссылку, компилятор ругается на возврат локальной переменной.
Т.е. ни в каком случае GCC-4.8.1 не позволяет вернуть локальный объект.

Нет, вру. 2 случай лишь предупреждение, т.е. в принципе работает.

[nikmoon]

И вообще оказалось достаточно объявить

const ClsA ret() {...}

Работает даже без ссылки.