c++编译器会为类添加那些成员函数

转自：http://xingyunbaijunwei.blog.163.com/blog/static/76538067201232483141428/

C++编译器会为类添加哪些成员函数 

一个空的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也认为上边的答案是有问题的.正确的结果应该是：

（注：罗剑锋<<Boost 程序库完全开发指南>>中也是如下的描述，第4章，102页）

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;   
编译器生成取地址运算符函数。   
    
经过分析可以这样理解：对于一个没有实例化的空类，编译器是不会给它生成任何函数的，当实例化一个空类后，编译器会根据需要生成相应的函数。这条理论同样适合非空类(只声明变量，而不声明函数）。

最后，默认的析构函数应该不是虚函数，因为许多类不是被用来做基类的，而虚函数只有位于基类时才有意义。