C++面向对象模型初探

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

C++编译器如何完成面向对象理论到计算机程序的转化？换句话：C++编译器是如何管理类、对象、类和对象之间的关系?具体的说：具体对象调用类写的方法，那，c++编译器是如何区分，是那个具体的类，调用这个方法呢?

我们先看下面一段代码：

#include <iostream>
using namespace std;


class C1
{
public:
	int i; //4 
	int j; //4
	int k; //4
protected:
private:
}; //12


class C2
{
public:
	int i; //4
	int j; //4
	int k; //4


	static int m; //4 静态放在全局区
public:
	int getK() const { return k; } //4 放在代码区，没占用具体的内存空间
	void setK(int val) { k = val; } //4


protected:
private:
}; //24  16 


struct S1
{
	int i;
	int j;
	int k;
}; //12


struct S2
{
	int i;
	int j;
	int k;
	static int m;
}; //16


void main()
{
	printf("c1:%d \n", sizeof(C1));
	printf("c2:%d \n", sizeof(C2));
	printf("s1:%d \n", sizeof(S1));
	printf("s2:%d \n", sizeof(S2));


	system("pause");
}
/**
c1:12
c2:12
s1:12
s2:12
*/

用内存四区解释 C++属性和方法:C++类对象中的成员变量和成员函数是分开存储的。
成员变量：
普通成员变量：存储于对象中，与struct变量有相同的内存布局和字节对齐方式
静态成员变量：存储于全局数据区中
成员函数:存储于代码段中
问题出来了：很多对象共用一块代码，代码是如何区分具体对象的呢？换句话说：int getK() const { retur k}，代码是如何区分，具体obj1、obj2、obj3对象的k值？

对于一个类，编译器会将所有的数据成员打包成struct，而所有的成员函数会添加上this指针，正如图片左边向右边转换一样，这样C++的类基本和C就区别不大了。

结论：

1。C++类对象中的成员变量和成员函数是分开存储的。C语言中的内存四区模型仍然有效！
2。C++中类的普通成员函数都隐式包含一个指向当前对象的this指针。
3。静态成员函数、成员变量属于类
静态成员函数与普通成员函数的区别：静态成员函数不包含指向具体对象的指针，普通成员函数包含一个指向具体对象的指针。