首页 > 代码库 > Effective C++ iterm5

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!

Effective C++ iterm5