拷贝构造函数应用的场合由以下几个方面:
1 函数的参数是一个对象,并且是值传递方式
2 函数的返回值是一个对象,并且是值传递方式
3 用一个对象初始化另外一个对象
由此,当函数的参数或者返回值为一个对象时,使用的时候要小心,因为值传递的时候执行的是位拷贝,并不会调用对象的构造函数,也就是说生成的临时对象可能不是正确初始化的,这样就可能会出现一些意向不到的问题。当返回值是个对象和用一个对象初始化另外一个对象时的情况是相同的。
比如如下代码: #include
using namespace std;
class CTest
{
public:
int i;
CTest(){cout << "construct" << endl;}
~CTest(){cout << "discontruct" << endl;}
};
void test(CTest obj)
{
}
int main()
{
CTest testObj;
test(testObj);
return 0;
}
这个程序运行的结果为:
construct
discontruct
discontruct
调用了一次构造函数,调用了两次析构函数。声明testObj对象时,调用了一次构造函数。当testObj以值传递的方式传入test函数时,此时会生成一个CTest类型的临时变量,但是此时编译器采用的是位拷贝的方式,并不调用CTest类的构造函数。当test函数退出时,生成的临时变量生命周期结束,调用一次析构函数,当main函数退出时,testObj变量生命周期结束,调用一次析构函数。所以出现上面的输出。
正确的解决方法是定义一个拷贝构造函数。
拷贝构造函数的类型为:YourClass&(YourClass& object);
修改后的代码为: #include
using namespace std;
class CTest
{
public:
int i;
CTest(){cout << "construct" << endl;}
CTest(CTest& obj){cout << "call copy construct" << endl;} //拷贝构造函数
~CTest(){cout << "discontruct" << endl;}
};
void test(CTest obj)
{
}
int main()
{
CTest testObj;
test(testObj);
return 0;
}
此时程序的输出为:
construct
call copy construct
discontruct
discontruct
当用一个对象初始化另外一个对象时,也对调用拷贝构造函数。
如
CTest test1;
CTest test2 = test1; //调用test1的拷贝构造函数初始化对象test2
但是对于下面的表达式:
CTest test1,test2;
test2 = test1;
却不会调用CTest的拷贝构造函数,因为test2已经被初始化过了,此时如果想要正确对test2赋值,需要重载运算符=
运算符重载的方式为 : YourClass& operator=(YourClass& obj)
{
return *this;
}
虽然不编写拷贝构造函数和重载运算符=,在大部分的情况下代码都能正常工作,因为编译器会生成一个默认的拷贝构造函数并且在对象赋值的时候也会作些特殊处理。但是我们不能完全相信系统始终能正常理解你的代码。所以让代码完全在自己的控制之下才是一个好的方法。所以时刻不要忘记编写拷贝构造函数和重载。