《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里面)。