C/C++赋值运算符函数实现

例子一、判断如下程序的运行状况：

#include <iostream>
using namespace std;
class A
{
private:
    int value;
public:
    A(int n)
    {
        value = n;
    }
    A(A other)
    {
        value = other.value;}
    void print()
    {
        std::cout<<value<<std::endl;
    }
};

int main()
{
    A a(10);
    A b = a;
    b.print();
    return 0;
}

分析：

在上述代码中，复制构造函数A（other）传入的参数是A的一个实例。由于是传值参数，我们把形参复制到实参会调用复制构造函数。因此如果允许复制构造函数传值，就会在复制构造函数内调用复制构造函数，就会形成永无休止的递归调用从而导致栈溢出。因此C++的标准不允许复制构造函数传值参数，在Visual Studio和GCC中，都将编译出错。要解决这个问题，我们可以把构造函数修改为A(const A& other)，也就是把传值参数改成常量引用。

例子二：如下为类型CMyString的声明，请为该类型添加赋值运算符函数

class CMyString
{
public:
    CMyString(char *pData = NULL);
    CMyString (const CMyString& str);
    ~CMyString (void) ;
private:
    char* mpData;
};

应聘者写代码是应该关注如下几点：

1.是否把返回值的类型声明为该类型的引用，并在函数结束前返回实例自身的引用（即*this)。只有返回一个引用，才可以允许连续赋值。否则如果函数的返回值是void，应用该赋值运算符将不能做连续赋值。假设有3个CMyString 的对象:str1、str2和str3，在程序中语句str1=str2=str3将不能通过编译。

2.是否把传入的参数的类型声明为常量引用。如果传入的参数不是引用而是实例，那么从形参到实参会调用一次复制构造函数。把参数声明为引用可以避免这样的无谓消耗，能提高代码的效率。同时，我们在赋值运算符函数内不会改变传入的实例的状态，因此应该为传入的引用参数加上 const关键字。

3.是否释放实例自身已有的内存。如果我们忘记在分配新内存之前释放自身己有的空间，程序将出现内存泄露。

4.是否判断传入的参数和当前的实例(*this）是不是同一个实例。如果是同一个，则不进行赋值操作，直接返回。如果事先不判断就进行赋值，那么在释放实例自身的内存的时候就会导致严重的问题:当*this和传入的参数是同一个实例时，那么--旦释放了自身的内存，传入的参数的内存也同时被释放了，因此再也找不到需要赋值的内容了。

初级解法：

CMyString& CMyString::operator=(const CMyString &str)
{
    if(this == &str)
        return *this;
    delete []m_pData;
    m_pData =NULL;
    m_pData = new char [strlen (str.m_pData) +1];
    strcpy(m_pData, str.m_pData) ;
    return *this;

}

高级解法（考虑异常安全性）：

 在前面的函数中，我们在分配内存之前先用delete释放了实例m_pData的内存。如果此时内存不足导致new char抛出异常，m_pData将是一个空指针，这样非常容易导致程序崩溃。也就是说一旦在赋值运算符函数内部抛出一个异常，CMyString的实例不再保持有效的状态，这就违背了异常安全性（Exception Safety）原则。

在赋值运算符中实现异常安全性的两种方法：

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

在这个函数中，我们先创建一个临时实例strTemp，接着把strTemp.m_pData和实例自身的m_pData做交换。由于strTemp是一个局部变量，但程序运行到if的外面时也就出了该变量的作用域，就会自动调用strTemp 的析构函数，把strTemp.m_ pData所指向的内存释放掉。由于strTemp.m_pData指向的内存就是实例之前m_pData的内存，这就相当于自动调用析构函数释放实例的内存。

考点：

1.考查对C++的基础语法的理解，如运算函数、常量引用

2.考查对内存泄漏的理解

2.考查对C++代码异常安全性的理解