C++ 对象模型初探

测试环境：windows7(32 位机器上)  vs2010

C++中的class从面向对象理论出发，将变量(属性)和函数(方法)集中定义在一起，用于描述现实世界中的类。然而从计算机的角度，程序依然由数据段和代码段构成。

C++编译器如何完成面向对象理论到计算机程序的转化？

换句话：C++编译器是如何管理类、对象、类和对象之间的关系

具体的说：具体对象调用类写的方法，c++编译器究竟是如何区分，是那个具体的类，调用这个方法那?

看下面程序：

#include<iostream>
using namespace std;

class TestA
{
private:
	int m_a;// 4个字节
	int m_b;// 4个字节
	static int m_s;
};

class TestB
{
private:
	int m_a;// 4个字节
	int m_b;// 4个字节
	static int m_s;

public:
	int getA()
	{
		return m_a;
	}
	int getS()
	{
		return m_s;
 	}
 };

struct s_TestA
{
private:
	int m_a;// 4个字节
	int m_b;// 4个字节
};

struct s_TestB
{
private:
	int m_a;// 4个字节
	int m_b;// 4个字节
	static int m_s;
};
void main()
{

	cout<<"TestA 大小"<<sizeof(TestA)<<endl;
	cout<<"TestB 大小"<<sizeof(TestB)<<endl;
	cout<<"s_TestA 大小"<<sizeof(s_TestA)<<endl;
	cout<<"s_TestB 大小"<<sizeof(s_TestB)<<endl;
	system("pause");
}

程序运行结果：

为什么都是8 static 变量哪去了，函数哪去了？

下面来用内存四区（代码区、数据区、栈区、堆区）解释C++属性和方法

成员变量：

普通成员变量：存储于对象中，与struct变量有相同的内存布局和字节对齐方式

静态成员变量：存储于全局数据区中（数据区中）

成员函数：存储于代码段中。

那么问题出来了：很多对象公用一块代码？代码是如何区分具体对象的那？

C++编译器对普通成员函数的内部处理

比如TestB 中getA 方法就会被处理成普通的函数

int getA(TestB *pThis)

{

     return pThis->m_a;

}

这里pThis 也就是我们常说的this指针的概念，这样的话，代码就可以区分具体对象了。由于C++中类的普通成员函数都隐式包含一个指向当前对象的this指，针当具体对象去调用该成员函数时候就该对象的this指针传过去，这样的话该函数就知道是哪个对象调用的。

总结：

1、C++类对象中的成员变量和成员函数是分开存储的。C语言中的内存四区模型仍然有效！

2、C++中类的普通成员函数都隐式包含一个指向当前对象的this指针。

静态成员函数、成员变量属于类

静态成员函数与普通成员函数的区别

静态成员函数不包含指向具体对象的指针

普通成员函数包含一个指向具体对象的指针