细说C++对象模型

定义一个类A

class A
{
private:
	char ch;
	int s ;
};

        声明一个A的对象

int main()
{
	A a;
	cout<<sizeof(a)<<endl;
	return 1;
}

        类A非常的简单，只定义了两个私有变量，实际执行时，sizeof(a)=8，稍有经验的同学可以看得出来，char原本只占1个字节，但是在对象模型中，和int补齐，所以最终大小为8

       现在，我们改变A的定义

class A
{
private:
	char ch;
	int s ;
	static int i;
};
int A::i = 0;

       定义一个静态类型的变量，sizeof(a)该是多少呢？似乎应该是12，但实际结果为8，这个很好理解，静态类型的变量不属于某一个对象，我们可以认为它是属于类的，因此，所有的对象都共用它，自然，在对象内也就无需留出空间存储它，不光静态类型的变量，类的成员函数也不属于某一个对象，而是属于类，这句话怎么解释内，可以参见下面的代码

      

class A
{
private:
	char ch;
	int s ;
	static int i;
public:
	void Print()
	{
		cout<<"Ok"<<endl;
	}
};

int A::i = 0;

int main()
{
	A a;
	cout<<sizeof(a)<<endl;
	A* p = NULL;
	p->Print();
	return 1;
}

我们定义一个指针p,虽然为NULL，却可以调用Print()方法，而且可以正确的执行，因为方法属于类，虽然p指向NULL，但仍然可以调用，但正确执行是需要条件的，这个方法里不能访问非静态的变量，因为这些变量是属于对象的，p指向NULL，意味着这些变量都是不存在的，如果访问，就会报错的。

        不扯那么远，我们继续研究对象模型

        

class A
{
private:
	char ch;
	int s ;
	static int i;
public:
	void Print()
	{
		cout<<"Ok"<<endl;
	}
	virtual ~A(){}
};
int A::i = 0;

          现在，我们加入了一个虚函数，猜猜看，这时的sizeof(a)是多大？实际执行，大小为12，因为有了虚函数，所以对象模型内会存储一个虚表指针，这个指针指向了类的所有虚函数，不光如此，所有对象里的虚表指针都指向了同一个地址，没有虚表指针，也就不会有多态。