原文链接:http://blog.csdn.net/zlhy_/article/details/8271024
一个空的 class 在 C++ 编译器处理过后就不再为空,
编译器会自动地为我们声明一些 member function,如果你写
class A{};
编译器处理后,就相当于:
class A
{
public:
A(); //默认构造函数
A(const A&); //拷贝构造函数
~A(); //析构函数
A& operator=(const A& rhs);
A* operator&(); //取地址运算符
const A* operator&() const;
};
现在做如下说明:
看完上面的例子后,大家可能会觉得声明一个空类,大家都认为会生成:
构造函数、拷贝构造函数、析构函数、赋值运算符号、取址运算符 const、取址运算符。
其实不然啊,那么一个空类什么时候不是空类了呢?
其实对于这样的一个空类来说,是完全没有必要的,而编译器也不是这样做的。编译器的做法是:
只有你需要用到这些函数并且你又没有显示的声明这些函数的时候,编译器才会贴心的自动声明相应的函数。
class A{};
对于单独申明的一个空类 A 来说,编译器编译过程中,并没有发现创建 A 实例。
所以对于空类 A 来说,编译器是不会给类 A 生成任何函数的。
如果我们在代码中需要生成一个 A 的实例
比如
A a;
编译器就会根据上面的实例,给类A生成构造函数和析构函数。
当使用
A b(b);
编译器就会生成类A的拷贝构造函数。
A c;
c = a;
编译器生成赋值运算符函数
A &d = a;
编译器生成取地址运算符函数。
经过我们的分析可以这样理解:
对于一个没有实例化的空类,编译器是不会给它生成任何函数的,
当实例化一个空类后,编译器会根据需要生成相应的函数。
这条理论同样适合非空类(只声明变量,而不声明函数)。