条款05：了解C++默默编写并调用哪些函数

Know what functions C++ silently writes and calls

什么时候empty class不再是empty class呢？当C++处理过它之后。如果你没有声明，编译器就会为它声明一个copy构造函数，一个copy assignment操作符和一个析构函数。此外，如果你没有声明任何构造函数，编译器也会为你声明一个default构造函数。所有这些函数都是public且inline。

惟有当这些函数被调用，它们才会被编译器创建出来。

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

copy构造函数和copy assignment操作符，编译器创建的版本只是单纯地将来源对象的每一个non-static成员变量拷贝到目标对象。但对于copy assignment操作符，一般而言只有当生出的代码合法且有适当机会证明它有意义，编译器才会为它生成一个默认的copy assignment操作符。例如，当一个类Object的某个成员是一个引用，std::string &nameValue;当两个Object类发生赋值操作时，p=s; 在赋值之前，不论p.nameValue和s.nameValue都指向string对象，赋值动作该如何影响p.nameValue呢？赋值之后 p.nameValue应该指向s.nameValue所指的那个string吗？也就是说reference自生可被改动吗？如果是，那可就开辟了新天地，因为C++并不允许“让reference改指向不同对象”。换一个想法，p.nameValue说指的那个string对象该被修改，进而影响“持有pointers或references而且指向该string”的其他对象吗？也就是对象不被直接牵扯到赋值操作内？编译器生成的copy assignment操作符究竟该怎么做呢？

面对这个难题，C++的相应是拒绝编译那一行赋值动作。如果你打算在一个“内含reference成员”的class内支持赋值操作，你必须自己定义copy assignment操作符。面对“内含const成员”的classes，编译器的反应也是一样。最后一种情况，如果某个base class将copy assignment操作符声明为private，编译器将拒绝为其derived classes生成一个copy assignment操作符。

请记住

• 编译器可以暗自为class创建default构造函数、copy构造函数、copy assignment操作符，以及析构函数