【Effective C++读书笔记】篇五（条款10～条款12）

条款10：令 operator = 返回一个 reference to *this                                                        

例子如下：

<span style="font-size:14px;">#include <iostream>

using namespace std;

class base
{
public:
base(int tmp):a(tmp){}
base& operator=(const base& pb)
{
a = pb.a;
return *this; //此句可有可无，结果一样。gcc 4.8.4
}
int a;
};

int main()
{
base b1(1);
base b2(2);
base b3(3);
cout << b1.a << " " << b2.a << " " << b3.a << endl;
(b1 = b2) = b3;
cout << b1.a << " " << b2.a << " " << b3.a << endl;
b1 = b2 = b3;
cout << b1.a << " " << b2.a << " " << b3.a << endl;
return 0;
}</span>

执行结果：
<span style="font-size:14px;">1 2 3
3 2 3
3 3 3
</span>

发现如果返回值不是 const reference to *this 时，等号左值可以再次被赋值。
C++里，这是一个协议，所有内置类型和标准程序库提供的类型如 string，vector，complex等都共同遵守。

如：

<span style="font-size:14px;"> string a("aaa");
string b("bbb");
string c("ccc");
(a = b) = c;
cout << a << " " << b << " " << c << endl;</span>

结果是：
<span style="font-size:14px;">ccc bbb ccc</span>

请记住：令赋值（assignment）操作符返回一个 reference to *this。









条款11：令 operator = 中处理“自我赋值”  
                                                                     


“自我赋值”发生在对象被赋值给自己。

class Widget {...}
Widget w;
...
w = w; //赋值给自己

虽然看起来有点傻，但合法，而且别认定用户就不会这么干。而且有的自我赋值不总是一眼就可以被发现，如
a[i] = a[j]; //当 i = j 时，就是个自我赋值

实际上两个对象只要来自同一个继承体系，它们甚至不需声明为相同类型就能造成“别名”，因为一个 base class 的 reference 或 pointer 可以指向一个 derived class 对象。

请记住：

1、确保当对象自我赋值时 operator= 有良好行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及 copy-and-swap。

2、确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为任然正确。









条款12：复制对象时勿忘其每一个成分
                                                                            


请记住：


1、copying
函数（包括 copy 构造函数与 copy 赋值函数）应该确保复制“对象内的所有成员变量”及“所有 base class 成分”。

2、不要尝试以某个
copying 函数实现另一个 copying 函数。应该将共同机能放进第三个函数中，并由两个 copying 函数共同调用。