剑指offer 学习笔记 赋值运算符函数

面试题1：赋值运算符函数。如下为类型CMyString的声明，为该类型添加赋值运算符函数。

class CMyString {
public:
    CMyString(char *pData = nullptr);
    CMyString(const CMyString &str);
    ~CMyString(void);

private:
    char *m_pData;
}

要点：
1.返回值类型声明为该类型的引用。这样可以连续赋值。
2.形参为const的引用。传引用时不会调用构造函数，提高效率。
3.释放实例自身已有的内存，否则会内存泄漏。
4.判断传入的参数和*this是否是同一个实例。

初级解法：

CMyString &CMyString::operator=(const CMyString &str) {
    if (this == &str) {
        return *this;
    }

    delete[] m_pData;
    m_pData = nullptr;
    
    m_pData = new char[strlen(str.m_pData + 1)];
    strcpy(m_pData, str.m_pData);

    return *this;
}

以上代码有一个问题，当我们new char时，可能出现内存不足的情况，从而抛出一个bad_alloc异常，m_pData也就变成了空指针，此时CMyString的实例不再保持有效状态，违背了异常安全性原则。

我们有两种方法实现异常安全性：
1.先用new分配新内容，再用delete释放已有内容，这样可以确保当内存分配失败时CMyString的实例不会被修改。
2.更好的办法是先创建一个临时实例，再交换临时实例和原来的实例：

CMyString &CMyString::operator=(const CMyString &str) {
    if (this != &str) {
        CMyString strTemp(str);

        char *pTemp = strTemp.m_pData;
        strTemp.m_pData = m_pData;
        m_pData = pTemp;
    }
    return *this;
}

以上代码创建了一个临时的该类对象，通过使用该类的拷贝构造函数，new一份新的m_pData对象，如此时抛出bad_alloc异常，对已有实例没有影响。如果正常运行到if语句块结尾，会调用临时对象的析构函数，此时临时对象的m_pData指针指向左侧运算对象的数据，从而delete掉正确的数据。