CPP中重载赋值操作符

在CPP中，析构函数，拷贝构造函数和赋值操作符的重载总是绑定在一起的。

 

一、几个问题

1、赋值操作符重载函数

        参数为：const Test& obj，加上const的原因是我们不希望此函数对用来进行赋值的obj进行任何修改，其次加上const的形参，能接受const和非const的实参，反之只能接受非const的实参。

        返回值为：Test&，返回值是返回被赋值着的引用，即*this，这样可以实现连续复制，类似

t2 = t1 = t3。如果返回不是引用类型而是Test，那么返回的是*this的副本，再用这个副本作为左值，那么就会出错。

        避免自赋值：c/c++的语法并不反对类似 t2 = t2 这样的自赋值语法，所以要在操作符重载加以判断避免自赋值操作，一来为了提高效率，二来避免出错。假设如上代码去掉 if 判断：

那么*this与obj是同一个对象时，执行 delete m_pointer 也就意味着c.m_pointer也被delete，那么执行到 m_pointer = new int(*obj.m_pointer) 时 m_pointer就是一个野指针了，对一个野指针解引用就会出错。

        为什么先 delete m_pointer 再new：因为原先的m_pointer是通过类的构造函数new的，要再new一个空间并初始化为 *obj.m_pointer 就需要先将原来的 m_pointer 给delete，不然将造成内存泄漏，其实在这里还可以复用 m_pointer 原先的堆空间

        赋值运算符的重载函数只能是类的成员函数，不能是是类的静态函数(因为静态成员函数只能操作类的静态成员)，也不能是(友元)全局函数，否则在编译阶段就出错了！假设可以为全局函数，c++类已经默认提供了赋值重载函数了，那么在赋值运算符重载函数(全局函数)和赋值运算符重载函数(类的成员函数)同时存在的情况下，当进行相同类型间的赋值时，编译器就不知道要调用哪一个函数了。

        调用时机：对比拷贝构造函数和赋值运算符重载函数的代码，可见除了避免自赋值判断之外，赋值运算符重载函数还比拷贝构造函数多了一句delete。其实初始化和赋值这两个东西不一样。初始化调用的是拷贝构造函数，m_pointer = new int(*obj.m_pointer) 语句是对象首次动态分配空间中边分配边为该空间初始化的，但是在赋值时调用的是赋值运算符重载函数，m_pointer = new int(*obj.m_pointer) 是在第二次分配空间的时候变分配边为该空间初始化的，所以需要把上次的new到的空间delete。