3.异常安全的赋值运算符重载

一、题目

　　如下为类型CMyString，请为该类型添加赋值运算符函数。

class CMyString
{
public:
    CMyString(char* pData)
    {
        m_pData = new char[strlen(pData) + 1];
        strcpy(m_pData, pData);
    }

    CMyString(): m_pData(NULL) {}


    CMyString(const CMyString& str);
    
    ~CMyString()
    {
        delete []m_pData;
    }

    CMyString& operator =(const CMyString& str);

    void Print() const
    {
        printf("%s
", m_pData);
    }


private:
    char* m_pData;
};

二、经典解法

　　经典解法代码实现如下：

CMyString& CMyString::operator =(const CMyString &str)
{
    // 自身赋值
    if (this == &str)
        return *this;


    m_pData = new char[strlen(str.m_pData) + 1]; // 加一，为存放字符串的结束符''
    strcpy(m_pData, str.m_pData);

    return *this;
}

　　这是一个经典的解法，为了防止自身赋值，先判断复制对象，是否是自身，如果是，则什么都不做。这个方法可以应对常规的情况。但是，其没有考虑异常安全。在这里的

new char[],可能会由于内存不足导致其抛出异常。

三、考虑异常安全的解法

　　实现代码如下：

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;
}

　　在该赋值函数中，如果判断不是自身赋值，那么先用拷贝构造函数以str构造一个临时对象strTemp，此时对于char的内存分配转移到临时对象的拷贝构造函数中，如果抛出异常，那么对于该实例本身来说，没有任何改变，不影响该实例本身的使用。如果临时对象没有出异常，那么将实例自身的m_pData和strTemp.m_pData交换，由于strTemp是临时对象，在作用域结束时，自动调用析构函数，释放内存，而此时的strTemp的m_pData已经指向了原实例的m_pData的内存。这样就能自动释放内存了。同时也是异常安全的。