C++中的空类，编译器默认可以产生哪些成员函数

C++中的空类，编译器默认可以产生哪些成员函数

 

C++中创建一个空类：
class Empty {};
默认会生成4个函数，其函数的原型如下：

public: Empty() { ... }

 Empty(const Empty& rhs) { ... } 

 ~Empty() { ... } 

 Empty& operator=(const Empty& rhs) { ... }

说明：1) 这些函数只有在需要调用的时候，编译器才会生成。

2) 4个函数都是public的。

3) 4个函数都是inline的（即函数定义在类的定义中的函数）。

4) 如果你显式的声明了这些函数中的任何一个函数，那么编译器将不再生成默认的函数。

比如，当遇到下列语句时，函数会被编译器生成：

Empty e1; //默认构造函数 

 //对象销毁时，析构函数

Empty e2(e1); //拷贝构造函数

e2 = e1; //赋值运算符

另外，还存在两种默认的函数：就是取地址运算符和取地址运算符的const版本，这两个函数在《Effective C++》中没有提及。

public: Empty* operator&() { ... }

const Empty* operator&() const { ... }

这两个函数是确实存在的，正如下面的代码可以正常工作：

#include <stdio.h>

class Empty {};

int main(int argc, char** argv){

Empty a; 

 const Empty *b = &a; printf("%p/n", &a); //调用取地址运算符

 printf("%p/n", b); //调用const取地址运算符}

一个容易被忽略的问题：自定义的拷贝构造函数不仅会覆盖默认的拷贝构造函数，也会覆盖默认的构造函数。下面的代码是编译不过的，用户必须再显式的定义一个无参的构造函数。

class Empty {

public: Empty(const Empty& e) { } 

 //拷贝构造函数};

int main(int argc, char** argv){ Empty a;}