关于类的自定义赋值运算符和复制构造函数的重要性。
反面例子:
class a{//没有自定义的复制构造函数和赋值运算符
public:
a(int num=0){ ptr = new int(num); }
~a(){ delete ptr; }
private:
int *ptr;
};
void doNothing(a dummy){}//值传递对象的危害
int main(){
a x(1);
{
a y(2);
x = y;//默认赋值运算符,使得x.ptr和y.prt指向了同一个地方,x.ptr原来所指的内存被抛弃
}
//y越界,调用析构函数删掉了y.ptr,同时x.ptr也被删除(它们指向相同)
a z(3);//这条语句后,x.ptr的值居然为3了!因为系统在之前x.ptr指向的地方又开辟了内存
doNothing(z);//doNothing()以值传递参数,默认复制构造函数以值传递指针,所以类似于上面的{}内的情况
//z.ptr和x.ptr又为不确定值
}
修改后:
class a{
public:
a(int num=0){ ptr = new int(num); }
a(const a & obj){ ptr = new int(*(obj.ptr)); }//自定义复制构造函数,第2句代码不会出错了
a& operator = (a& from){ if(this == &from) return *this; delete ptr; ptr = new int(*(from.ptr)); return *this; }//自定义赋值运算符,第1句代码不会出错了
~a(){ delete ptr; }
private:
int *ptr;
};
void doNothing(a dummy){}//值传递对象的危害
int main(){
a x(1);
{
a y(2);
/*1*/ x = y;//自定义赋值运算符,使得x.ptr和y.prt指向了不同地方,它们的数值相同
}
//y越界,调用析构函数删掉了y.ptr,而x.ptr被保留
a z(3);//这条语句后,x.ptr的值不会变成3了
/*2*/ doNothing(z);//doNothing()以值传递参数,调用自定义复制构造函数,以引用传递对象,并删除原来的内存并开辟新的内存,数值相等
//dummy.ptr被析构后,z.ptr不受影响