什么时候empty class(空类)不再是一个empty class呢?当C++处理过它之后。如果自己没有声明,编译器就会为它声明一个copy构造函数、一个copy assignment操作符和一个析构函数。此外如果你没有声明任何构造函数,编译器会为你声明一个default构造函数。所有这些函数都是public且inline。因此,如果写下:
class Empty{};
就好像写下了这样的代码:
class Empty{
public:
Empty(){} //default构造函数
Empty(const Empty& rhs){} //copy构造函数
~Empty(){} //析构函数
Empty& operator=(const Empty& rhs){} //copy assignment操作符
}
惟有当这些函数被需要(被调用),它们才会被编译器创建出来。
编译器产生的析构函数是个non-virtual,除非这个class的base class自身声明有virtual析构函数。
如果自己声明了一个构造函数,编译器不再为它创建default构造函数。
如果某个base class将copy assignment操作符声明为private,编译器将拒绝为其derived classes生成一个copy assignment操作符。
编译器可以暗自为class创建default构造函数、copy构造函数、copy assignment操作符,以及析构函数。