等号重构（operator=）函数中应该注意的问题

编写等号运算符重构函数（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=）吗？