Effective C++ iterm5

条款五

--17/01/19

编译器为你生成了什么函数？

（1）如果的类什么构造函数都没有，那么编译器就帮助你自动生成一个默认构造函数，自动按照默认的方式初始化类的成员变量，所谓的按照默认的方式如调用base classes和non-static成员变量的构造函数。如果你的类拥有一个构造函数或以上的话，那么编译器将不帮你干任何事情。析构函数类似。

（2）接下来要重点讲的就是这个cppy构造函数和copy assignment运算符，函数的原型如下：

1 class C {
2 public:
3   C(const C& rhs) { ... }
4   C& operator = (const C& rhs) { ... }
5 };

当类的变量内含reference成员时，如果编译器还会帮我们生成一个copy构造函数吗？

写个程序测试一下：

 1 /*zhen hao*/
 2 #include <bits/stdc++.h>
 3 using namespace std;
 4
 5 class C {
 6 public:
 7   C() {}
 8   C(const string& _val) : _val(_val) {}
 9   string val() { return _val; }
10 private:
11   string _val;
12 };
13
14 int main() {
15   C a("abc");
16   C b = a;
17   C c(a);
18   cout << a.val() << endl;
19   cout << b.val() << endl;
20   cout << c.val() << endl;
21   return 0;
22 }

由上面程序可见，没有显示声明cppy构造函数和copy assignment运算符，编译器自动帮我们生成了一个。

如将上述程序改成下面这个：

 1 /*zhen hao*/
 2 #include <bits/stdc++.h>
 3 using namespace std;
 4
 5 class C {
 6 public:
 7   C() {}
 8   C(const string& _val) : _val(_val) {}
 9   string val() { return _val; }
10 private:
11   string _val;
12 };
13
14 int main() {
15   C a("abc");
16   C b = a;
17   C c(a);
18   cout << a.val() << endl;
19   cout << b.val() << endl;
20   cout << c.val() << endl;
21   return 0;
22 }

综上得出的结论就是：如果打算在一个“内含reference成员”的类支持赋值操作，必须自己定义一个copy assignment运算符，编译器不会帮你自动生成，对于内含const成员同理。还有一种情况：如果你的基类里面的copy assignment运算符是private的，那么编译器也不会帮你自动生成，因为他不能够帮你把基类的那部分也copy下来，面对这种无能为力的情况，编译器一般都会say no！