调用拷贝构造函数的三种情况:
1)用一个类对象初始化另一个类对象
2)函数的形参是类对象
3)函数的返回值是类对象
拷贝构造函数的参数必须是引用
原因:例如 A a; A b(a);用对象a初始化b,需要调用拷贝构造函数,向拷贝构造函数传递实参a时,若参数不是引用,则又需要调用拷贝构造函数,因此导致无限递归调用拷贝构造函数,栈溢出。
class A
{
public:
A(){cout<<"A is construting..."<<endl;}
A(const A& a){cout<<"A is cloning..."<<endl;}
~A(){cout<<"A is deconstructing..."<<endl;}
};
A func( A a)
{
return a;
}
int main()
{
A a;
cout<<endl<<endl;
//example 1:
A b1=a;
cout<<endl<<endl;
A b2(a);
cout<<endl<<endl;
//example 2:
A c1 = func(a);
cout<<endl<<endl;
A c2(func(a));
cout<<endl<<endl;
//example 3:
A d;
d = func(a);
cout<<endl<<endl;
A e;
e = a;
cout<<endl<<endl;
return 0;
}
输出:
1.可以返回局部变量,但是不能返回局部变量的引用。
2.example 1: 调用拷贝构造函数对b初始化
example 2: A c1=func(a)或者A c2(func(a)),传递实参对象a调用一次拷贝构造函数,得到形参对象a,返回形参对象a到main函数,再调用一次拷贝构造函数,生成临时对象tmp,形参对象a析构,main函数中对象c指向临时对象tmp,临时对象不再析构,所以只调用一次析构函数
example 3:A d; d=func(a) 调用构造函数初始化d,传递实参对象a调用一次拷贝构造函数,得到形参对象a,返回形参对象a到main函数,再调用一次拷贝构造函数,生成临时对象tmp,形参对象a析构,临时对象tmp对对象d进行赋值操作,临时对象tmp析构,所以调用两次析构函数
A e; e=a; 调用构造函数初始化e,调用赋值函数用a对e进行赋值
总结:只有在创建一个新对象时,才会调用构造函数(不管是普通构造函数、拷贝构造函数还是移动构造函数),因为构造函数的工作就是对对象做一些初始化的工作。对象已经创建完成,之后再用一个对象赋值给另一个对象,调用的是赋值函数,切记不要搞混
对类添加了赋值运算符后(赋值运算符编译器会自动添加),证明了我的以上分析过程
class A
{
public:
A() { cout << "A is construting..." << endl; }
A(const A& a) { cout << "A is cloning..." << endl; }
~A() { cout << "A is deconstructing..." << endl; }
A& operator =(const A &a)
{
cout << "赋值运算" << endl;
return *this;
}
};
A func(A a)
{
return a;
}
int main()
{
A a;
cout << endl << endl;
//example 1:
A b1 = a;
cout << endl << endl;
A b2(a);
cout << endl << endl;
//example 2:
A c1 = func(a);
cout << endl << endl;
A c2(func(a));
cout << endl << endl;
//example 3:
A d;
d = func(a);
cout << endl << endl;
A e;
e = a;
cout << endl << endl;
return 0;
}
输出: