Inside the C++ Object Model 学习笔记 第四章 函数语意学

这章主要讲了以下几个问题

1.成员函数的各种调用方式

2.虚成员函数

3.指向成员函数的指针

第一个问题，成员函数的各种调用方法。

成员函数 又分为三种，nostatic member， static member，以及virtual member function。

个人觉得比较简单，简要介绍

nostatic member：分下面几步。

第一步：加个this指针。有了它class object就可以调用它了。

第二步：通过这个this可以调用class object 里边的data member了

第三步：将member function重新写成一个外部函数 名称处理一下，编译器搞定它。

在名称处理的过程中，书中讲了一个名称的特殊处理，就是区分函数德尔一个处理，很简单。

virtual member function

书上例子：

如果normalize（）是个vritual member function， 那么

ptr—>normalize;

将会转化为：

（*ptr->vptr[1])(ptr);

其中 vptr表示虚函数指针，在object中。

1代表了virtual table slot 的索引值。关联到normalize（）函数。

第二个ptr 代表了this指针。

static member function  与前两个的区别就是没有this指针，就麻烦了，比较不规则。它不用classobject就能调用了。具体的见p151

第二个问题 虚成员函数

基本的就不记了，虚函数表。虚函数指针，type_info。覆盖什么的。这些东西学c++的估计见到都想吐了。搞个多重继承的。

看出它的们地关系了吧：好 加个代码测试一下#include<iostream>using namespace std;class A{public:virtual void fun1(){cout<<"A::fun1"<<endl;}virtual void fun2(){cout<<"A::fun2"<<endl;}virtual void fun3(){cout<<"A::fun3"<<endl;}};class A1:public A{public:virtual void fun1(){cout<<"A1::fun1"<<endl;}};class A2:public A{public:virtual void fun2(){cout<<"A2::fun2"<<endl;}virtual void fun3(){cout<<"A2::fun3"<<endl;}};class B :public A1,public A2{public:virtual void fun4(){cout<<"B::fun4"<<endl;}};int main(int argc, char* argv[]){A1 a1; typedef int Fun;cout<<"A1虚函数表的地址为:"<<(int *)(&a1)<<endl; cout<<"A1第一个虚函数的地址为:"<<(int *) *(int *)(&a1)<<endl; Fun fun1,fun2,fun3,fun4;fun1=( Fun) ( *(int *) *(int *)(&a1));a1.fun1();fun2=(Fun) (* ((int *) *(int *)(&a1)+1));a1.fun2();fun3=(Fun) (* ((int *) *(int *)(&a1)+2));a1.fun3();A2 a2;cout<<"A2虚函数表的地址为:"<<(int *)(&a2)<<endl; cout<<"A2第一个虚函数的地址为:"<<(int *) *(int *)(&a2)<<endl; fun1=( Fun) ( *(int *) *(int *)(&a2));a2.fun1();fun2=(Fun) (* ((int *) *(int *)(&a2)+1));a2.fun2();fun3=(Fun) (* ((int *) *(int *)(&a2)+2));a2.fun3();B b;cout<<"B的第一个虚函数表的地址为:"<<(int *)(&b)<<endl; cout<<"B的第一个虚函数表的第一个虚函数的地址为:"<<(int *) *(int *)(&b)<<endl; fun1=( Fun) ( *(int *) *(int *)(&b)); cout<<fun1<<endl;fun2=(Fun) (* ((int *) *(int *)(&b)+1));cout<<fun2<<endl;fun3=(Fun) (* ((int *) *(int *)(&b)+2));cout<<fun3<<endl;fun4=(Fun) (* ((int *) *(int *)(&b)+3));cout<<fun4<<endl; cout<<"B的第二个虚函数表的地址为:"<<(int *)(&b)+1<<endl; cout<<"B的第二个虚函数表的第一个虚函数的地址为:"<<(int *) *((int *)(&b)+1)<<endl; fun1=( Fun) ( *(int *) *((int *)(&b)+1)); cout<<fun1<<endl;fun2=(Fun) (* ((int *) *((int *)(&b)+1)+1));cout<<fun2<<endl;fun3=(Fun) (* ((int *) *((int *)(&b)+1)+2));cout<<fun3<<endl;char ch;while (1){cin>>ch;}return 0;}

要想知道结果么

就在这里，是我修改别人的，它那个根本搞不出来。

这里要说下

就是这个B不是继承了A1和A2么 当我们定义个

A2 *pa2 = new B；的时候，this指针要进行调整，本来this指向了A2么，现在要指向B了，你得动啊

加个offset，也就是sizeof（A1)。这是编译器给我们做的。

//虚拟c++代码

this += sizeof（A1)；

B：：~B（this）；

懂了吧，如果想仔细看 ，书上165页有图，可以看看。

下一个问题，指向Member Function的pointer

时间比较急，就不写了 把我写的一个很乱的代码给大家看看，大家就知道怎么回事了

#include<iostream>using namespace std;class A{public: int a;};class B: public A{ public: int b;};int main(){ B *bp = NULL ; A *ap = bp; int A:: *j = &A::a; int B:: *k = &B::a; cout<<"A::a="<<j<<endl; cout<<"B::a="<<k<<endl; B origin; int *f = &origin.a; cout<<"B::a origin"<<f<<endl; A origin1 ; int *l = &origin.a; cout<<"A::a orgin"<<l<<endl; A m; m.a=4; int *ma = &m.a; cout<<"&m.a"<<ma<<endl; cout<<m.a<<endl; B n; n.a = 5; int *na = &n.a; cout<<"&n.a"<<na<<endl; cout<<m.a<<endl; cout<<n.a<<endl; return 0;}

这里最重要的上就是有的是通过object调用的 有的不是， 结果就不同了 一个是offset一个是真正的地址，呵呵。 去开会了。。。

要考试了  加油啊。 哎。