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

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++   
条款45:   弄清C++在幕后为你所写、所调用的函数   
    
一个空类什么时候不是空类？   ----   当C++编译器通过它的时候。如果你没有声明下列函数，体贴的编译器会声明它自己的版本。这些函数是：一个拷贝构造函数，一个赋值运算符，一个析构函数，一对取址运算符。另外，如果你没有声明任何构造函数，它也将为你声明一个缺省构造函数。所有这些函数都是公有的。  

声明一个空类，大家都认为会生成    构造函数、拷贝构造函数、析构函数、赋值运算符号、取址运算符const、取址运算符。   
其实对于这样的一个空类来说，是完全没有必要的，而编译器   
也不是这样做的。是我们太低估编译器给我们做的工作了，我们   
用VC编译器来说明一下。   
    
class   A{};   
    
对于单独申明的一个空类A来说，编译器编译过程中，并没有发现创建A实例。   
所以对于空类A来说，编译器是不会给类A生成任何函数的。   
如果我们在代码中需要生成一个A的实例   
比如   
A   a;   
编译器就会根据上面的实例，给类A生成构造函数和析构函数。   
当使用   
A   b(b);   
编译器就会生成类A的拷贝构造函数。   
A   c;   
c   =   a;   
编译器生成赋值运算符函数   
A   &d   =   a;   
编译器生成取地址运算符函数。   
    
经过我们的分析可以这样理解：对于一个没有实例化的空类，编译器是不会给它生成任何函数的，当实例化一个空类后，编译器会根据需要生成相应的函数。这条理论同样适合非空类(只声明变量，而不声明函数）。