深度探索C++对象模型(7)

【 tulaoshi.com - 编程语言 】

　　关于《深度探索C++对象模型》停顿了半个月，今天继续啃这个骨头，我的学习进入了第四章，函数的语意学。先做个复习C++支持三种成员函数：静态、虚、和非静态。每一种函数的调用方式都不同，当然他们的作用也会有区别，一般来说我们只要掌握根据我们的需要正确的使用这三种类型的成员函数便可以了，至于内部是如何运做的我们可以不知。但是《深度探索C++对象模型》正是让我们对这些不知道的东西进行深度探索的一本书。通过前面的学习，我想我知道了一些以前不知道的东西，但是感觉并没有提高多少，也许是我对此书的学习还停留在一个比较肤浅的层次上吧。我想我应该会抽时间再看几遍。有些跑题了，因为雷神想说明一下，这些笔记只是雷神看书是的一些想法的记录，如果你再看仅供参考，因为我本人好象也只探索了不是很深的程度。 我们的在设计和使用类时最常用的便是非静态成员函数，使用成员函数是为了封装和隐藏我们的数据，我想这是成员函数和外部函数的最明显的区别。但是他们的效率是否有不同呢？我们不会想为了保护我们的数据而使用成员函数，最后确导致效率降低的结果。让我们看看非静态成员函数在实际的执行时被编译器搞成了什么样子。

　　float magnitude3d(const Point3d *_this){}

　　//这是一个外部函数，它有参数。表示它间接的取得坐标（Point3d）成员。

　　float Point3d::mangnitude3d() const {}

　　//这是一个成员函数，它直接取得坐标（Point3d）的成员。

　　表面上看，似乎成员函数的效率高很多，但实际上他们的效率真的想我们想象的那样吗？非也。实际上一个成员函数被内部转化成了外部函数。

　　1、 一个this指针被加入到成员函数的参数中，为的是能够使类的对象调用这个函数。

　　2、 将对所有非静态数据成员的存取操作改为由this来存取。

　　3、 对函数的名称进行重新的处理，使它成为程序中独一无二的。

　　这时后，经过以上的转换，成员函数已经成为了非成员函数。

float Point3d::mangnitude3d() const {}//成员函数将被变成下面的样子
//伪码
mangnitude3d__7Point3dFv(register Point3d * const this)
{
return sqrt(this-_x * this-x+
this-_y * this-y+
this-_z * this-z);
}

　　调用此函数的操作也被转换

　　obj. mangnitude3d()

　　被转换成：

　　mangnitude3d__7Point3dFv（*obj）；

　　怎么样看出来了吧，和我们开始声明的非成员函数没有区别了。因此得出结论：两个铁球同时落地。

　　一般来说，一个成员的名称前面会被加上类的名称，形成唯一的命名。实际上在对成员名称做处理时，除了加上了类名，还会将参数的链表一并加上，这样才能保证结果是独一无二的。

　　我们在来看看静态成员函数。我们有这样的概念，成员函数的调用必须是用类的对象，象这样obj.fun();或者这样ptr-fun().但实际上，只有一个或多个静态数据成员被成员函数存取时才需要类的对象。类的对象提供一个指针this，用来将用到的非静态数据成员绑定到类对象对应的成员上。如果没有用到任何一个成员数据，就不需要用到this指针，也就没有必要通过类的对象来调用一个成员函数。而且我们还知道静态数据成员是在类之外的，可以被视做全局变量的，只不过它只在一个类的生命范围内可见。（参考前面的笔记）。而且一般来说我们会将静态的数据成员声明为一个非Public。这样我们便必须提供一个或多个成员函数用来存取这个成员。虽然我们可以不依靠类的对象存取静态数据成员，但是这个可以用来存取静态成员的函数确实必须绑定在类的对象上的。为了更加好的解决这个问题，cfront2.0引入了静态成员函数的概念。

　　静态成员函数是没有this指针的。因为它不需要通过类的对象来调用。而且它不能直接存取类中的非静态成员。并且不能够被声明为virtual,const,volatile.如果取得一个静态成员函数的地址，那么我们获得的是这个函数在内存中的位置。（非静态成员函数的地址我们获得的是一个指向这个类成员函数的指针，函数指针）。可以看到由于静态成员函数没有this指针，和非成员函数非常的相似。

　　有了前面几章的基础，好象这些描述理解起来也不很费劲，而且我们的思路可以跟着书上所说的一路倾泻下来，这便是读书的乐趣所在了，如果一本书读起来都想读第一章时那样费劲，我想我读不下去的可能性会很高。

　　继续我们的学习，下面书上开始将虚函数了。我们知道虚函数是C++的一个很重要的特性，面向对象的多态便是由虚函数实现的。多态的概念是一个用一个public base class的指针（或者引用），寻址出一个派生类对象。虚函数实现的模型是这样。每一个类都有一个虚函数表，它包含类中有作用的虚函数的地址，当类产生对象时会有一个指针，指向虚函数表。为了支持虚函数的机制，便有了执行期多态的形式。

　　下面这样。

　　我们可以定义一个基类的指针。

　　Point *ptr;

　　然后在执行期使他寻址出我们需要的对象。可以是

　　ptr =new Point2d;

　　还可以是

　　ptr=new Pont3d;

　　ptr这个指针负责使程序在任何地方都可以采用一组由基类派生的类型。这种多态形式是消极的，因为它必须在编译时期完成。与之对应的是一种多态的积极形式，即在执行期完成用指针或引用查找我们的一个派生类的对象。

　　象下面这样：

　　ptr-z();

　　要想达到我们目的，这个函数z()应该是虚函数，并且还应该知道ptr所指的对象的真实类型，以便我们选择z()的实体。以及z()实体的位置，以便我们能够调用它。这些工作编译器都会为我们做好，编译器是如何做的呢？

　　我们已知每一个类会有一个虚函数表，这个表中含有对应类的对象的所有虚函数实体的地址，并且可能会改写一个基类的虚函数实体。如果没有改写基类存在的虚函数实体，则会继承基类的函数实体，这还没完，还会有一个pure_virtual_called()的函数实体。每一个虚函数不论是继承的还是改写的，都会被指派一个固定的索引值，这个索引在整个继承体系中保持与特定的虚函数关联。

　　说明：当没有改写基类的虚函数时，该函数的实体地址是被拷贝到派生类的虚函数表中的。

　　这样我们便实现了执行期的积极多态。这种形式的特点是，我们从头到尾都不知道ptr指针指向了那一个对象类型，基类？派生类1？派生类2？我们不知道，也不需要知道。我们只需要知道ptr指向的虚函数表。而且我们也不知道z()函数的实体会被调用，我们只知道z()函数的函数地址被放在虚函数表中的位置。

　　总结：在单一继承的体系中，虚函数机制是一种很有效率的机制。我们判断一个类是否支持多态，只需要看它有没有虚函数便可以了。 好了今天就到这里，雷神必须加快学习这本书的速度了，好象现在也可以快一些了。