В данный момент читаю книгу Г.Шилдта. В ней подробно описывается создание временного объекта с помощью конструктора копирования при возвращении значения из функции. Однако при запуске программы ничего подобного не произошло... НО если перегрузить оператор присваивания (т.е. вызвать операторную функцию), программа работает согласно Шилдту. Почему так происходит?
#include <iostream>
#include <cstdio>
#include <cstring>
#include <cstdlib>
using namespace std;
class sample {
private:
char *s;
public:
sample() {
s = new char[7];
strcpy(s, "Привет");
cout << "Конструктор.\n";
}
sample(const sample &obj) {
s = new char[strlen(obj.s)+1];
strcpy(s, obj.s);
cout << "Конструктор копии.\n";
}
~sample() {
if(s) delete [] s;
cout << "Освобождение s-памяти.\n";
}
sample operator=(sample obj);
void show() {
cout << s << "\n";}
void set(char *str);
char* get() {
return s;}
};
sample sample::operator=(sample obj) {
s = new char[strlen(obj.s)+1];
strcpy(s, obj.s);
cout << "Operator \"=\".\n";
return *this;
};
void sample::set(char *str) {
if(s) delete [] s;
s=new char[strlen(str)+1];
strcpy(s, str);
}
sample input() {
char instr[80];
sample str;
cout << "Введите строку: \n";
cin >> instr;
str.set(instr);
return str;
}
void print (sample obj) {
cout << "Строка: " << obj.get() << "\n";
}
int main() {
sample a;
char s[] = {"Hello!"};
a.set(s);
cout << "\n3: \n";
sample c = input();
c.show();
cout << "\n4: \n";
sample d;
d = a;
d.show();
return 0;
}
Компилятор g++. Результат выполнения программы:
Конструктор.
3:
Конструктор.
Введите строку:
Hi!
Hi!
4:
Конструктор.
Конструктор копии.
Operator "=".
Конструктор копии.
Освобождение s-памяти.
Освобождение s-памяти.
Hello!
Освобождение s-памяти.
Освобождение s-памяти.
Освобождение s-памяти.
В части 3, судя по всему, никакого временного объекта не создается. Да, кстати, при выходе из функции почему-то объект, созданный внутри, сразу автоматом не разрушается (Почему?).
В части 4 видно, что при входе в операторную функцию (operator=() ) срабатывает конструктор копии, при выходе из неё он также срабатывает. Другое поведение!! После этого работает деструктор, уничтожает эти две копии.
Лишь в конце программы очищена память от объекта из части 3. Ну и, ожидаемо очищена память от других созданных объектов.