【剑指offer】赋值运算符函数

题目

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

class CMyString
{
public:
	CMyString(char* str ="")
	{
		if (nullptr == str)
			str = "";
		_str = new char[strlen(str) + 1];
		strcpy(_str, str);
	}
	CMyString(const CMyString& str)    //copy(s)
		:_str(new char[strlen(str._str)+1])
	{
		strcpy(_str, str._str);
	}
	~CMyString(void)
	{
		if (_str)
		{
			delete[]_str;
			_str = nullptr;
		}
	}
   CMyString& operator=(const CMyString&str);
private:
	char *_str;
};

写重载赋值运算符函数时，面试官一般会关注以下几点：

1. 返回值的类型是否被声明为该类型的引用，并在函数结束前返回实例自身的引用（*this）。只有返回引用时才能连续赋值。
2. 传入参数的类型是否被声明为常量引用。若传参不是引用而是实例，那么从形参到实参会调用一次复制构造函数。另外传入的参数不允许改变，所以加const关键字。
3. 是否释放了实例自身已有的内存。若我们忘记在分配新内存之前释放自身已有的空间，则程序将出现内存泄漏。
4. 是否判断传入的实参和当前的实例（*this）是不是同一个实例。如果是同一个，则不用进行赋值操作，直接返回。这里事先不判断就进行赋值的话会造成很严重的后果：*this和传入实参是同一个实例时，一旦释放了自身内存，传入实参的内存也会消失，从而再也找不到赋值内容了。

1.初级程序员的解法 ：全面的考虑上面4点内容

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

2. 考虑异常安全性的解法
主要考虑到若上面的new失败抛出异常，而_str已被释放这时就会出现野指针，导致程序奔溃。这就违背了异常安全性的原则。
这里有两种解决异常安全性的思路。1）先用new分配新内容，再delete释放原来的空间，可以保证CMyString实例不会被修改 2）先创建一个临时实例，再交换临时实例和原来的实例

CMyString&CMyString::operator=(const CMyString&str)    //s2=s1
{
	if (this != &str)
	{
		CMyString strTemp(str);
		char* pTemp = strTemp._str;
		strTemp._str = _str;
		_str = pTemp;
	}
	return *this;
}