关于赋值运算符函数

来自 剑指offer  名企面试官精讲典型编程题

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

当面试官要求应聘者定义一个赋值运算符函数时，他会在检查应聘者写出代码时关注如下几点：

1. 是否把返回值的类型声明为该类型的引用，并在函数结束前返回实例自身的引用（*this）。只有返回一个引用，才可以允许连续赋值。否则如果函数的返回值是void，应用该赋值运算符将不能做连续赋值。 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将是一个空指针，这样程序非常容易崩溃。这就违背了异常安全性原则。

我们有2中方法解决：

一个简单的方法是我们先用new分配新内容再用delete释放已有的内容。这样只在分配内容成功之后再释放原来的内容，也就是当分配内存失败时我们能确保CMyString的实例不会修改。

另一个更好的解决办法是先创建一个临时实例，再交换临时实例和原来的实例。下面是这种思路的参考代码：

CMyString& CMyString::operator = (const CMyString &str)
{
	if(this != &str)
	{
		CMyString strTemp(str);
		
		char* pTemp = strTemp.m_pData;
		strTemp.m_Data = m_pData;
		m_pData = pTemp;
	}

	return *this;
}

在这个函数中，当程序运行到if的外面时也就是出了该变量的作用域，就会自动调用strTemp的析构函数，把strTemp.m_pData所指向的内存释放掉。

我们是在CMyString的构造函数里用new分配内存。如果由于内存不足抛出诸如bad_alloc等异常。我们还没有改变原来实例的状态，因此实例的状态还是有效的。