Effective C++_笔记_条款05_了解C++默认编写并调用哪些函数

（整理自Effctive C++，转载请注明。整理者：华科小涛@http://www.cnblogs.com/hust-ghtao/）

直接上代码：

   1: class Empty{};

如果你写了这样一个空类，你没有声明任何函数，编译器会声明一个default构造函数、copy构造函数、copy赋值操作符和一个析构函数。相当于你写下：

   1: class Empty

   2: {

   3: public:

   4:     Empty(){...} //default构造函数

   5:     Empty(const Empty& rhs){...} //copy构造函数

   6:     Empty& operator=(const Empty& rhs)//copy赋值操作符

   7:     ~Empty(){...}//析构函数

   8: };

这些函数的作用：

（1）default构造函数和析构函数：主要是给编译器一个地方用来放置“藏身幕后”的代码，像是调用base classes和non-static成员变量的构造函数和析构函数。注意：编译器产出的析构函数是non-virtual的，除非这个类的base class自身声明virtual析构函数。

（2）至于copy构造函数和copy赋值操作符，编译器创建的版本只是单纯地将来源对象的每个non-static成员变量拷贝到目标对象。

一般来说，copy赋值操作符和copy构造函数的行为基本上是一致的。但如果你打算在一个“内含reference成员”的class内支持copy赋值操作符，你必须自己定义它。因为要进行赋值操作，就相当于对reference赋值，但是C++并不允许让reference改指不同对象，reference初始化后就不能改变了；面对“内含const成员”的class，编译器的反应也是一样的，更改const成员是不合法的；还有一种情况：如果base class 将copy赋值操作符声明为private，编译器拒绝为其derived classes生成copy赋值操作符，编译器想要为派生类生成的copy赋值操作符处理base class 成分，但它无法调用派生类无权调用的成员函数。

总结：

（1）编译器可以自动为class创建default构造函数、copy构造函数、copy赋值操作符，以及析构函数。