Rule of Three

《C++ Primer》中称构造函数、赋值操作符重载、复制构造函数为Rule of Three，自己译为“三剑客”。意思是它们常常是一起出现的。为什么呢？目前遇到过的问题是——有非static动态分配的指针成员的时候需要用到析构函数，同时注意到后两者对于指针的默认复制方式是shallow copy，一般需要deep copy。至于其它情况还没遇到。

然后书里的课后题提示说，自己写一个类，重载上面这三个，分别在它们的函数体里面打印函数名，用各种方式来执行它们，自然就会明白其中的规律，代码写出来共享一下，发现运行之后确实豁然开朗了！！！

#include <stdio.h>#include <string>using namespace std;class Test{public:    Test() {        printf("Test()\n");    }    Test(const Test& t) {        printf("Test(const Test& t)\n");    }    Test& operator = (const Test& t) {        printf("Test& operator = (const Test& t)\n");        return *this;    }    ~Test() {        printf("~Test()\n");    }};Test func1(Test t) {    printf("func1\n");    return t;}Test func2(Test& t) {    printf("func2\n");    return t;}Test& func3(Test t) {    printf("func3\n");    Test* tt = new Test(t);    return *tt;}Test& func4(Test& t) {    printf("func4\n");    return t;}int main() {    Test a;    Test b(a);    Test c = a;    b = c;    printf("\n----------------\n");    Test f1 = func1(a);    printf("\n----------------\n");    Test f2 = func2(a);    printf("\n----------------\n");    Test& f3 = func3(a);    delete &f3;    printf("\n----------------\n");    Test& f4 = func4(a);    return 0;}

一个小发现是，（我用的是g++），定义类的对象时，即使用的是等于号，编译器好像会优化成直接调用复制构造函数，比如上面程序里的：Test c = a;（为什么说是优化呢？因为不然的话，应该是先创建c，然后复制一遍a的数据到c里面）。