转载自:http://blog.csdn.net/k346k346/article/details/49892035
代码编译运行环境:VS2012+Debug+Win32
所谓动态联编,是指被调函数入口地址是在运行时、而不是在编译时决定的。C++语言利用动态联编来完成虚函数调用。C++标准并没有规定如何实现动态联编,但大多数的C++编译器都是通过虚指针(vptr)和虚函数表(vtable)来实现动态联编。
基本的思路是:
(1)为每一个包含虚函数的类建立一个虚函数表,虚函数表的每一个表项存放的是个虚函数在内存中的入口地址;
(2)在该类的每个对象中设置一个指向虚函数表的指针,在调用虚函数时,先采用虚指针找到虚函数表,确定虚函数的入口地址在表中的位置,获取入口地址完成调用。
我们将从以下几个方面来考察动态联编的实现细节。
1.虚指针(vptr)的存放位置
虚指针是作为对象的一部分存放在对象的空间中。一个类只有一个虚函数表,因此类的所有对象中的虚指针都指向同一个地方。在不同的编译器中,虚指针在对象中的位置时不同的。两种典型的做法是:
(1)在Visual C++中,虚指针位于对象的起始位置;
(2)在GNU C++中,虚指针位于对象的尾部而不是头部。
可通过下面的程序考察在Visual C++中,虚指针在对象中的位置。
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
程序运行结果:
从程序的输出结果中,可以得出以下两个结论。
(1)可以清楚地的看到虚指针对类对象大小的影响。类NoVirtual不包含虚函数,因此类NoVirtual的对象中只包含数据成员i,所以sizeof(NoVirtual)为4。类HaveVirtual包含虚函数,因此类HaveVirtual的对象不近要包含数据成员i,还要包含一个指向虚函数表的指针(大小为4B),所以sizeof(HaveVirtual)为8。
(2)虚指针如果不在对象的头部,那么对象h1和对象h2的头4个字节(代表整型成员变量i)的值应该是3和4。而程序结果显示,类HaveVirtual的两个对象h1和h2的头4个字节的内容相同,这个值就是类HaveVirtual的虚函数表所在地址。
2.虚函数表(vtable)的内部结构
虚函数表是为拥有虚函数的类准备的。虚函数表中存放的是类的各个虚函数的入口地址。那么,可以思考以下几个问题:
(1)虚函数的入口地址是按照什么顺序存放在虚函数表中的呢?
(2)不同的类(比如说父类和子类)是否可以共享同一张虚函数表的呢?
(3)虚函数表是一个类的对象共享,还是一个对象就拥有一个虚函数表?
(4)多重继承的情况下,派生类有多少个虚函数表呢?
考察如下程序:
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
- 51
- 52
- 53
- 54
- 55
- 56
- 57
- 58
- 59
- 60
- 61
- 62
- 63
- 64
- 65
- 66
- 67
- 68
- 69
- 70
- 71
程序运行结果:
代码相关说明:
C++规定,类的静态成员函数和全局函数可以直接通过函数名或类名::函数名来获取函数的入口地址。但是,对于类的非静态成员函数,不可以直接获取类成员函数的地址,需要利用内联汇编来获取成员函数的入口地址或者用union类型来逃避C++的类型转换检测。两种方法都是利用了某种机制逃避C++的类型转换检测,为什么C++编译器干脆不直接放开这个限制,一切让程序员自己作主呢?当然是有原因的,因为类成员函数和普通函数还是有区别的,允许转换后,很容易出错。
因此,在程序中使用了宏ShowFuncAddress,利用内联汇编来获取类的非静态成员函数的入口地址。这是一个带参数的宏,并且对宏的参数做了一些特殊处理,如字符串化的处理。
程序结果说明:
(1)基类Base虚函数表的地址与派生类Derived的虚函数表的地址是不同的,尽管类Base是类Derived的父类,但它们却各自使用不同的虚函数表。可见,所有的类都不会和其他的类共享同一张虚函数表。
(2)对任意包含虚函数的类,将虚函数的入口地址写入虚函数表,按照如下的步骤进行:
a.确定当前类所包含的虚函数个数。一个类的虚函数有两个来源,一是继承自父类(在当前类中可能被改写),其他的是在当前类中新申明的虚函数。
b.为所有虚函数排序。继承自父类的所有虚函数,排在当前类新生命的虚函数之前。心声明的虚函数,按照在当前类中申明的顺序排列。
c.确定虚函数的入口地址。继承自父类的虚函数,如果在当前类中被改写,则虚函数的入口地址是改写之后的函数的地址,否则保留父类中的虚函数的入口地址。新声明的虚函数,其入口地址就是在当前类中的函数的入口地址。
d.将所有虚函数的入口地址按照排定的次序写入虚函数表中。
(3)虚函数表是一个类的所有对象共享,而不是一个对象就拥有一个虚函数表,读者可自行验证。
以上代码描述的是单继承情况下父类和子类的虚函数表在内存中的结构,直观的图示描述如下:
注意:在上面这个图中,我在虚函数表的最后多加了一个结点,这是虚函数表的结束结点,就像字符串的结束符“\0”一样,其标志了虚函数表的结束。这个结束标志的值在不同的编译器下是不同的。在Visual C++下,这个值是NULL。而在GNU C++下,这个值是如果1,表示还有下一个虚函数表,如果值是0,表示是最后一个虚函数表。
(4)多重继承的情况下,派生类有多少个虚函数表呢?
子类如果继承了多个父类,并重写了继承而来的虚函数,下面是对于子类实例中的虚函数表的图:
我们可以看见,子类有多少个父类,就有多少个虚函数表。三个父类虚函数表中的f()位置被替换成了子类的函数。这样,我们就可以以任一静态类型的父类来指向子类,动态调用子类的f()。如:
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
注意:第一个虚函数表的最后一项Derive::g1()是子类新增的虚函数。
3.虚函数表(vtable)的放在哪里
虚函数表放在应用程序的常量区。将上面的代码编译之后生成汇编代码文件,查看.asm文件可以发现这样两端内容:
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
这里说明一下如何在VS2012中生成汇编代码文件。需要进行如下设置:
- 1
这样在项目里面生成后缀为*.asm 的文件。里面还有注释,有利于分析。
从汇编代码可以看出,这是两个常量段,其中分别存放了Base类的虚函数表和Derived类的虚函数表。从中可以发现,虚函数表中的每一项代表了一个函数的入口地址,类型是Double Word。类中每个虚函数的入口地址在虚函数表中的排放顺序,也可以从相应的标识符看出。
4.通过访问虚函数表手动调用虚函数
既然知道了虚函数表的位置和结构,那么就可以通过访问虚函数表,手动调用虚函数。虽然在利用C++编写程序时没有必要这样做,但如果想了解动态联编的实现机理,请参考如下代码:
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
- 51
执行executeVirtualFunc(&b,1);就是调用基类对象b的第二个虚函数(b.f2()),执行executeVirtualFunc(&d,3);就是调用子类d的第四个虚函数(d.f4())。程序的输出结果是:
Base’s f2()
Derived’s f4(),j=1
结果表明,成功的对不同对象上的不同虚函数实现了调用。这些调用是通过访问每个对象虚函数表来实现的。由于在调用类对象的非静态成员函数时,必须同时给出对象的首地址,所以在程序中使用了内联汇编代码_asm mov ecx,pObj;来达到这个目的。在Visual C++中,在调用类的费静态成员函数之前,对象的首地址都是送往寄存器ecx的。