一.题目
如下为类型CMyString的声明,请为该类型添加赋值运算符函数。
class CMyString { public: CMyString(char* pData = nullptr); CMyString(const CMyString& str); ~CMyString(void); CMyString& operator = (const CMyString& str); void Print(); private: char* m_pData; };
二.注意点
- 是否把返回值的类型声明为该类型的引用,并在函数结束前返回实例自身的引用(*this)。只有返回一个引用,才可以允许连续赋值。否则,如果函数的返回值是void,则应用该赋值运算符将不能进行连续赋值。
- 是否把传入的参数的类型声明为常量引用。如果传入的参数不是引用而是实例,那么从形参到实参会调用一次复制构造函数。把参数声明为引用可以避免这样的无谓消耗,能提高代码的效率。同时,我们在赋值运算符函数内不会改变传入的实例的状态,因此应该为传入的引用参数加上const关键字。
- 能否释放实例自身已有的内存。如果我们忘记在分配新内存之前释放自身已有的空间,则程序将会出现内存泄露。
- 判断传入的参数当前的实例(*this)是不是同一个实例。如果是同一个,则不进行赋值操作,直接返回。如果事先不判断就进行赋值,那么在释放实例自身内存的同时就会导致严重的问题:当*this 和传入的参数是同一个实例时,一旦释放了自身内存,传入的参数的内存也同时释放了,因此再也找不到需要赋值的内容了
考虑到上述问题,就能较好的解决问题;但是,如果使程序更加鲁棒,我们应该考虑异常安全性。有两种方法:
- 先用new分配新内容,再用delete释放已有的内容
- 先创建一个临时实例,再交换临时实例和原来的实例
三.代码
#include <cstdio> #include <cstring> class CMyString { public: CMyString(char* pData = nullptr); CMyString(const CMyString& str); CMyString& operator = (const CMyString& str); void Print(); ~CMyString(void); private: char* m_pData; }; CMyString::CMyString(char* pData) { if(pData == nullptr) { m_pData = new char[1]; m_pData[0] = '