Effective C++——关于重载赋值运算

令operator=返回一个*this的引用

        在重载=,+=,*=等运算符时，令其返回一个指向this的引用。

class MyClass {int* val;
public:MyClass(int i) : val(new int(i)){}MyClass():val(new int(0)){}void print() {cout << *val << endl;}MyClass& operator=(const MyClass& m) {delete val;val = new int(*m.val);return *this;}
};

        这种情况可以实现连锁赋值。

MyClass a,b;
MyClass c(32);a = b = c;

在重载赋值运算符时处理“自我赋值”

        上面的代码，我们做如下的尝试。

        在执行b=b时，因为两个对象指向同一块内存，在执行delete val语句时，会将内存释放掉。这样的做法无疑是有问题的。

        正常的代码中，自我赋值出现的概率很小，但是隐性的自我赋值可能会出现。例如，

list[i] = list[j];
*px = *py;
void func(BaseClass* base, DerivedClass* derived){...}

        其中i=j时，list[i] 与 list[j]相同；px与py相同时，指向同一块内存；而父类指针与子类指针甚至可以同时指向同一个子类对象。

        如果在以上这种隐式的自我赋值的情况出现时，会给调试带来很大困难。我们用两种方式来避免这种情况：

        1，在深度复制前检测是否相同

class MyClass {int* val;
public:MyClass(int i) : val(new int(i)){}MyClass():val(new int(0)){}void print() {cout << *val << endl;}MyClass& operator=(const MyClass& m) {if(this == &m)return *this;delete val;val = new int(*m.val);return *this;}
};

        如果两个地址相同，那么就什么都不做，直接返回*this。

        2，用其他指针来销毁空间

	MyClass& operator=(const MyClass& m) {int* temp = m.val;val = new int(*m.val);delete temp;return *this;}

        在销毁val之前，用临时指针temp来代替val，然后在val修改之后，通过temp来释放空间。这样就保证了自我赋值的正确性。

        建议使用第二种方式。

        因为，这样避免了异常带来的影响。如果在new 的过程中出现异常，第二种方式保证了val指向可用的数据。而第一种方法会先销毁val，而new的过程如果出现异常，val会指向不明确的内存。