实现赋值操作符要注意的问题

实现赋值操作符要注意的问题

* 赋值操作符实现的简例
CFoo & CFoo::operator=(const CFoo & rhs)
{
if (this == &rhs)
return *this; // 防止自赋值

// assign to all data members
// ...

return *this; // 返回自身引用
}

* 要防止自身赋值
* 必须对每个成员赋值
* 增加新数据成员时，要同时更新赋值
* 子类赋值函数必须调用父类的赋值函数

derived& derived::operator=(const derived& rhs)
{
if (this == &rhs) return *this;

base::operator=(rhs); // 调用this->base::operator=
// 子类成员赋值...

return *this;
}

但如果基类赋值运算符是编译器生成的，可这样实现derived::operator=：

derived& derived::operator=(const derived& rhs)
{
if (this == &rhs) return *this;

static_cast<base&>(*this) = rhs; // 对*this的base部分
// 调用operator=
// ...
return *this;
}

* 如果不会用到赋值操作，就声明一个私有赋值函数。

2010.12.14 补充: zy498420 指出成员赋值时须小心内存泄漏, 详见下面的评论.