C++空类知识点学习

1、概述。
空类，是指编译器不会生成任何成员函数的class。对于空类，编译器不会生成任何的成员函数，只会生成1个字节的占位符。
2、为何EmptyClass占一字节呢？
如果定义对EmptyClass取sizeof()的值为0，那么该空class实例化出100个对象时，在内存地址上就不能区分该class实例化出的对象，这是难以想象及接受的！因此，为了实现每个实例在内存中都有一个独一无二的地址，编译器往往会给一个空类隐含的加一个字节的占位符，这样空class在实例化后在内存获得独一无二的地址。
例程：

#include <iostream>
using namespace std;

class EmptyClass_A
{
};

int main()
{
	cout <<" sizeof(EmptyClass_A):  "<< sizeof(EmptyClass_A) << endl;
	cin.get();
	return 0;
}

3、编译器只会在需要的时候生成6个成员函数和this指针。
Effective C++告诉我们，这些成员函数，必须public且inline。
①、默认构造函数(default contructor)；
②、拷贝构造函数(copy contructor)；
③、析构函数(destructor)；
④、重载赋值运算符(assignment)；
⑤、重载取址运算符（非常成员函数）(&)；
⑥、重载取址运算符（常成员函数）(& const)；

class EmptyClass_B
{
	//这些成员函数，必须public且inline
public:
	EmptyClass_B();															//默认构造
	EmptyClass_B(const EmptyClass_B& res);					//拷贝构造
	~EmptyClass_B();															//析构
	EmptyClass_B& operator=(const EmptyClass_B& res);//重载赋值运算符
	EmptyClass_B* operator&();										//重载取址运算符（const成员）
	const EmptyClass_B* operator&()const;						//重载取址运算符（const成员）
};
inline EmptyClass_B::EmptyClass_B()//默认构造
{
}
inline EmptyClass_B::EmptyClass_B(const EmptyClass_B& res)//拷贝构造
{
}
inline EmptyClass_B::~EmptyClass_B()//析构
{
}
inline EmptyClass_B& EmptyClass_B::operator=(const EmptyClass_B &res)//重载赋值运算符
{
	/*
	...
	*/
	return *this;
}
inline EmptyClass_B* EmptyClass_B::operator&()//重载取址运算符（非const成员）
{
	return this;
}
inline const EmptyClass_B* EmptyClass_B::operator&()const//重载取址运算符（const成员）
{
	return this;
}

调用：

int main()
{
	//调用：
	EmptyClass_B empty;							//调用默认构造
	EmptyClass_B empty1(empty);					//调用拷贝构造
	empty1 = empty;								//重载赋值运算符=
	EmptyClass_B *pEmpty = new EmptyClass_B();
	if (pEmpty)
	{
		delete pEmpty;							//调用析构
		pEmpty = NULL;
	}

	EmptyClass_B *pEmpty2 = ∅				//重载取址运算符&(非const)
	EmptyClass_B *pEmpty3 = ∅				//重载取址运算符&(const)

	cin.get();
	return 0;
}

参考：参考

入门萌新，浅知拙见，若有斧正，不胜感激。^ - ^