一个空的class在C++编译器处理过后就不再为空,编译器会自动地为我们声明一些member function,如果你写
class Empty{};
就相当于:
class Empty
{public:
Empty();Empty(const Empty&);
~Empty();Empty& operator=(const Empty& rhs);Empty* operator&();
const Empty* operator&() const;};
这是网上流传的答案,而且在侯捷翻译的中文简体《Effective c++, 2nd》有介绍:
条款45: 弄清C++在幕后为你所写、所调用的函数
一个空类什么时候不是空类?当C++编译器通过它的时候。如果你没有声明下列函数,体贴的编译器会声明它自己的版本。这些函数是:一个拷贝构造函数,一个赋值运算符,一个析构函数,一对取址运算符。另外,如果你没有声明任何构造函数,它也将为你声明一个缺省构造函数。所有这些函数都是公有的。换句话说,如果你这么写:
class Empty{};
和你这么写是一样的:
class Empty
{public:
Empty(); // 缺省构造函数
Empty(const Empty& rhs); // 拷贝构造函数~Empty(); // 析构函数
Empty& operator=(const Empty& rhs); // 赋值运算符Empty* operator&(); // 取址运算符const Empty* operator&() const;};
对于这个问题,好像早有读者向书的作者Scott Meyers提出了疑问,Scott Meyers也认为上边的答案是有问题的.正确的结果应该是:
class Empty
{public:
Empty();Empty(const Empty&);
~Empty();Empty& operator=(const Empty& rhs);}
另外,需要注意的是只有当你需要用到这些函数的时候,编译器才会去定义它们。
声明一个空类,大家都认为会生成 构造函数、拷贝构造函数、析构函数、赋值运算符号;其实对于这样的一个空类来说,是完全没有必要的,而编译器也不是这样做的。是我们太低估编译器给我们做的工作了,我们用VC编译器来说明一下。
class A{ };
对于单独申明的一个空类A来说,编译器编译过程中,并没有发现创建A实例。所以对于空类A来说,编译器是不会给类A生成任何函数的;如果我们在代码中需要生成一个A的实例,比如
A a;
编译器就会根据上面的实例,给类A生成构造函数和析构函数。 当使用
A b(b);
编译器就会生成类A的拷贝构造函数;
A c;
c = a;
编译器生成赋值运算符函数;
A &d = a;
编译器生成取地址运算符函数。
经过分析可以这样理解:对于一个没有实例化的空类,编译器是不会给它生成任何函数的,当实例化一个空类后,编译器会根据需要生成相应的函数。这条理论同样适合非空类(只声明变量,而不声明函数)。
最后,默认的析构函数应该不是虚函数,因为许多类不是被用来做基类的,而虚函数只有位于基类时才有意义。