类型中的赋值运算符函数的设计需要考虑以下几点:
- 把返回值的类型声明为该类型的引用,并在函数结束前返回实例自身的引用(保证连续赋值)。
- 把传入的参数的类型声明为常量引用(避免调用拷贝构造函数)。在拷贝赋值运算符函数中,如果不改变参数的状态,则设置 const 关键字。
- 释放自身已有的动态分配的内存(防止内存泄露)。
- 如果传入参数和当前实例 *this 是同一个实例,则不进行赋值,直接返回。
- 保证异常安全性。动态内存分配可能会产生异常。
class MyClass {
public:
};
MyClass& MyClass::operator=(const MyClass& arg) { //拷贝赋值运算符函数
if (this == &arg)
return *this;
MyClass tmp(*this);
// TODO
// 将arg中的数据拷贝到this中
// 如果发生异常,将由tmp保存的的数据移动回this的内存空间中
return *this;
} // 离开tmp的作用域,析构函数被自动调用
MyClass& MyClass::operator=(MyClass&& arg) { //移动赋值运算符函数
if (this == &arg)
return *this;
// 将arg中的数据移动到this的内存空间中
// 保证arg使用安全,如指针设置为nullptr
return *this;
}