Передача объекта в функцию, и его деструкторы

[Janym]

Такой вот код..

class MyBase1 {
public:
	 MyBase1()
	{
		cout << "Constr MyBase1 " << this << endl;
	}
	~MyBase1()
	{
		cout << "Destr MyBase1 " << this << endl; 
	}

};
class MyBase2 {
public:
	MyBase2()
	{
		cout << "Constre MyBase2 " << this <<  endl;
	}	
	~MyBase2()
	{
		cout << "Destr MyBase2 " << this << endl;
	}
};
class MyBase3 :  public MyBase1, MyBase2  {
public:
	MyBase3()
	{
		cout << "Constre base3 " << this <<  endl;
	}	
	~MyBase3()
	{
		cout << "Destr base3 " << this << endl;
	}
};


class MyDelClass : public MyBase3 {
public:
	MyDelClass()
	{
		cout << "Constr MyDelClass " << this << endl;
	}
	~MyDelClass()
	{
		cout << "Destr MyDelClass " << this << endl;
	}
};

void Funct(MyBase3 r)
{
	cout << "addr of r: " << &r <<  endl;
}

int _tmain(int argc, _TCHAR* argv[])
{
	MyDelClass o;
	cout << "addr of o: " << &o << endl;
	Funct(o);
	
	return 0;
}

Заметил, что если в Funct() передавать по значению объект класса MyDelClass, при чём тип аргумента Funct сделать классом, от которого наследуется MeDelClass, т.е. MyBase3 то итог программы такой:

Constr MyBase1 0012FF57
Constre MyBase2 0012FF58
Constre base3 0012FF57
Constr MyDelClass 0012FF57
addr of o: 0012FF57
addr of r: 0012FE58
Destr base3 0012FE58
Destr MyBase2 0012FE59
Destr MyBase1 0012FE58
Destr base3 0012FE73
Destr MyBase2 0012FE74
Destr MyBase1 0012FE73
Destr MyDelClass 0012FF57
Destr base3 0012FF57
Destr MyBase2 0012FF58
Destr MyBase1 0012FF57

...Вызывается деструкторы объекта r, его адрес 0012FE58, 59, 58
Вызываются и у объекта o 0012FF57, 57, 58, 57
А между ними идёт вызов деструкторов 0012FE73, 74, 73. Откуда они берутся, это промежуточная переменная что ли??

[alex_x_x]

все просто, поменяйте void Funct(MyBase3 r) на void Funct(MyBase3& r) и они пропадут))
на самом деле в вашем случае для MyBase3 вызывается конструктор копирования, но так как он у вас явно не объявлен - вызывается по умолчанию
тем не менее деструкторы так же вызываются

вообщем это эффект создания временного объекта при передаче по значению

[profi]

Когда функция

void Funct(MyBase3 r)
{
	cout << "addr of r: " << &r <<  endl;
}

завершается вызываются деструкторы базовых классов и деструктор текущего класса для уничтожения объекта r.
Если конечно я правильно понял вопрос.

[onewho]

при передаче объекта в функцию по значению (а также при использовании объекта в кач-ве возвращаемого значения функции, а также при копирующей инициализации) создается временная копия объекта но конструктор не вызывается (логически это можно понять так - ведь конструктор нужен чтобы иницализировать объект с нуля объект, а нам нужно скопировать данные), но при выходе из области видимости - вызывается деструктор - в вашем случае объекта MyDelClass ( а он повлёк за собой деструкторы MyBase3, MyBase2 и MyBase1).
для таких случаев придумали копирующий конструктор, или как вариант передавать объект по ссылке.

[profi]

onewho вчитался в ваши слова внимательнее и удалил сообщение .

[onewho]

спасибо, но разве я не написал то же самое ?

[Janym]

2 alex_x_x
Это понятно ) Лучше использовать * или по &. Просто стало интересно почему по значению такое получается.

2 onewho
Но в данном случае как раз переменная r и есть временная копия, зачем же ещё другую создавать с адресом 0012FE73 .. ?
Ведь при вызове кода:

MyBase3 o1
MyDelClass o2;
o1 = o2;

никаких лишних деструкторов не вызывается.

[Obey-Kun]

Если у тебя есть функция void myFunc(MyClass x), то при её вызове myFunc(my_object) создастся копия объекта my_object (поэтому-то и вызывается конструктор! ведь надо создать копию), она-то и будет x. Так что если ты будешь менять x, то это не изменит my_object. Это называется передачей по значению.

Если у тебя есть функция void myFunc(MyClass &x), то при её вызове myFunc(my_object) создастся указатель на объект my_object, а при обращении к x этот указатель будет разыменовываться. Так что если ты будешь менять x, то это будет менять и my_object. Это называется передачей по ссылке.

Если ты хочешь запретить менять x, но не хочешь создавать копию объекта, используй void myFunc(const MyClass &x). Это называется передачей по константной ссылке.

Иногда используют также передачу по указателю void myFunc(MyClass *x) и по константному указателю void myFunc(const MyClass *x).

[Janym]

Если у тебя есть функция void myFunc(MyClass x), то при её вызове myFunc(my_object) создастся копия объекта my_object (поэтому-то и вызывается конструктор! ведь надо создать копию), она-то и будет x. Так что если ты будешь менять x, то это не изменит my_object. Это называется передачей по значению.

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

Не понятно другое, зачем по мимо временной переменной r компилятор ещё где-то создаёт переменную..

[onewho]

именно эта переменная r и создается! она же должна сразу инициализироваться с помощью копирующего конструктора.

Obey-Kun, не встречал такую запись void myFunc(class MyClass &x)
может ты имел ввиду void myFunc(const MyClass &x) ?