编写等号运算符重构函数(operator=)时,有些问题是需要注意的:
注意1:等号运算符重构函数(operator=)中应该处理“自我赋值”
注意2:等号运算符重构函数(operator=)返回一个指向*this的引用(reference to *this)
注意3:当一个类中含有引用(reference)成员,则必须程序员自己定义一个等号运算符重构函数(operator=)
注意1:等号运算符重构函数(operator=)中应该处理“自我赋值”
有些人可能觉得“自我赋值”就是将自己的值赋给自己,自己本身的值也不会改变。不处理“自我赋值”问题也不是很大呀,只是要程序浪费一次的赋值时间而已。其实这个想法是很糟糕的。对于“自我赋值”如果操作不当的话,会引起程序的崩溃。请看下面的程序:
class A{....};
class B{
public:
B & operator=(const B& c)
private:
A *p;
};
/*当c和*this是同一个对象时,delete语句会把自身的p删除掉,这样子会丢失本身的信息*/
B& B::operator=(const B &c){//不具备自我赋值安全性和异常安全性
delete p;
p=new A(*c.p);
return *this;
}
/*如果new分配内存失败,会导致破坏原来对象的数据p*/
B& B::operator=(const B &c){具备自我赋值安全性,但不具备异常安全性
if(this==&c) return *this;
delete p;
p=new A(*c.p);
return *this;
}
/*具有很好的异常安全性*/
B& B::operator=(const B &c){//具备自我赋值安全性和备异常安全性
A *temp=p;
p=new A(*c.p);
delete temp;
return *this;
}
注意2:等号运算符重构函数(operator=)返回一个指向*this的引用(reference to *this)
这是为了能够实现“连锁赋值”,例如
int x,y,z;
x=y=z=16;
B & operator=(B & c){
...
return *this;
}
B a,b,c;
a=b=c;
注意3:当一个类中含有引用(reference)成员,则必须程序员自己定义一个等号运算符重构函数(operator=)
这个可以参考我另外一篇博文《定义一个空类时,C++到底默默编写了哪些函数?》中所提及的问题3:如果要对一个含有“reference成员”的类进行赋值操作,可以依赖编译器生成的赋值重构函数(operator=)吗?