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++编译器通过它的时候。如果你没有声明下列函数，体贴的编译器会声明它自己的版本。这些函数是：一个拷贝构造函数，一个赋值运算符，一个析构函数，一对取址运算符。另外，如果你没有声明任何构造函数，它也将为你声明一个缺省构造函数。所有这些函数都是公有的。

8 楼ugg（逸学堂(exuetang.net)）回复于 2006-03-15 09:52:54 得分 40声明一个空类，大家都认为会生成 构造函数、拷贝构造函数、析构函数、赋值运算符号、取址运算符const、取址运算符。

其实对于这样的一个空类来说，是完全没有必要的，而编译器

也不是这样做的。是我们太低估编译器给我们做的工作了，我们

用VC编译器来说明一下。

class A{};

对于单独申明的一个空类A来说，编译器编译过程中，并没有发现创建A实例。

所以对于空类A来说，编译器是不会给类A生成任何函数的。

如果我们在代码中需要生成一个A的实例

比如

A a;

编译器就会根据上面的实例，给类A生成构造函数和析构函数。

当使用

A b(b);

编译器就会生成类A的拷贝构造函数。

A c;

c = a;

编译器生成赋值运算符函数

A &d = a;

编译器生成取地址运算符函数。

经过我们的分析可以这样理解：对于一个没有实例化的空类，编译器是不会给它生成任何函数的，当实例化一个空类后，编译器会根据需要生成相应的函数。这条理论同样适合非空类(只声明变量，而不声明函数）。