C++成员函数的存储方式

按理说，如果用同一个类定义了10个对象，那么就需要分别为10个对象的数据和函数代码分配存储单元，如图8.4所示。

能否只用一段空间来存放这个共同的函数代码段，在调用各对象的函数时，都去调用这个公用的函数代码。如图8.5所示。

显然，这样做会大大节约存储空间。C++编译系统正是这样做的，因此每个对象所占用的存储空间只是该对象的数据成员部分所占用的存储空间，而不包括函数代码所占用的存储空间。如果声明了一个类：

class Time
{
public:
int hour;
int minute;
int sec;
void set( )
{
cin>>a>>b>>c;
}
};

可以用下面的语句来输出该类对象所占用的字节数：
cout< 输出的值是12。
这就证明了一个对象所占的空间大小只取决于该对象中数据成员所占的空间，而与成员函数无关。

函数代码是存储在对象空间之外的。如果对同一个类定义了10个对象，这些对象的成员函数对应的是同一个函数代码段，而不是10个不同的函数代码段。需要注意的是，虽然调用不同对象的成员函数时都是执行同一段函数代码，但是执行结果一般是不相同的。

不同的对象使用的是同一个函数代码段，它怎么能够分别对不同对象中的数据进行操作呢？

原来C++为此专门设立了一个名为this的指针，用来指向不同的对象。需要说明：
不论成员函数在类内定义还是在类外定义，成员函数的代码段都用同一种方式存储。
不要将成员函数的这种存储方式和inMne(内置)函数的概念混淆。不要误以为用inline声明(或默认为inline)的成员函数，其代码段占用对象的存储空间，而不用 inline声明的成员函数,其代码段不占用对象的存储空间。不论是否用inline声明，成员函数的代码段都不占用对象的存储空间。用inline声明的作用是在调用该函数时，将函数的代码段复制插人到函数调用点，而若不用inline声明，在调用该函数时，流程转去函数代码段的人口地址，在执行完该函数代码段后，流程返回函数调用点。inline与成员函数是否占用对象的存储空间无关，它们不属同一个问題，不应搞混。
应当说明，常说的“某某对象的成员函数”，是从逻辑的角度而言的，而成员函数的存储方式，是从物理的角度而言的，二者是不矛盾的。

1.同一个类的若干对象共享同一个成员函数代码段，每一个对象中都不存在这个代码段，

每个对象中只有数据成员，因此对象的大小就是数据成员总和的大小，

但是要减去static数据成员的大小，因为static数据成员不属于某一个对象，而是属于类的，

被所有的对象所共享，用sizeof(objectname)的输出可以验证。

2.由于同一个类的若干对象都引用同一个成员函数代码段，如何使同一个代码段引用不同对象的

数据成员？这就引出了this的概念，在每一个成员函数中都存在this指针，this指针指向当前的对象，

通过this指针成员函数就可以找到当前对象的数据了。

3.静态数据成员必须初始化，并且只能在类外初始化；由于静态数据成员不属于某一个对象，

因此不能通过构造函数的方式初始化静态数据成员。

4.如果定义了对象，可以通过对象名或者类名引用静态数据成员，如果没有定义对象，可以通过类名来应用静态数据成员，因为静态数据成员是属于类的，而不是单独某个对象的。

5.静态成员函数一般情况下只引用静态数据成员（特殊情况也可以通过对象名引用非静态数据成员，之所以用对象名明确地引用，是因为它没有this指针）；而非静态成员函数可以引用静态数据成员和非静态数据成员。