题目:
赋值运算符函数
如下为类型CMyString的声明,请为该类型添加赋值运算符函数。
class CMyString {
public:
//构造函数
CMyString(char *pData = nullptr);
//拷贝构造函数
CMyString(const CMyString &str);
//赋值运算符函数
CMyString &operator=(const CMyString &str);
//析构函数
~CMyString(void);
private:
char *m_pData;
};
撰写代码时应关注如下几点:
1.是否把返回值的类型声明为该类型的引用,并在函数结束前返回实例自身的引用(*this)。只有返回一个引用,才可以允许连续赋值。否则,如果函数的返回值是void,则应用赋值运算符将不能进行连续赋值。
2.是否把传入的参数的类型声明为常量引用。
3.是否释放实例自身已有的内存。
4.判断传入的参数和当前的实例(*this)是不是同一个实例。
经典的解法(适用于初级程序员)
//赋值运算符函数
CMyString &CMyString::operator=(const CMyString &str) {
cout << "这是拷贝赋值运算符!" << endl;
if (this == &str) {
//检查自赋值的情况
return *this;
}
//释放原本的内存
if (m_pData) {
delete[] m_pData;
m_pData = nullptr;
}
m_pData = new char[strlen(str.m_pData) + 1];
strcpy(m_pData, str.m_pData);
return *this;
}
考虑异常安全性的解法
初级解法,在分配内存之前先用delete释放了实例m_pData的内存。如果此时内存不足导致new char抛出异常,则m_Data将是一个空指针,这样非常容易导致程序奔溃,这样就违背了异常安全性原则。
要想在赋值运算符中实现异常安全性,我们有两种方法
1.先用new分配新内容,再用delete释放已有的内容。
2.先创建一个临时实例,再交换临时实例和原来的实例。
//高级程序员版本
CMyString &CMyString::operator=(const CMyString &str) {
if (this != &str) {
//调用拷贝构造函数
CMyString strTmp(str);
char *pTmp = strTmp.m_pData;
strTmp.m_pData = m_pData;
m_pData = pTmp;
}
return *this;
}