转

C++面试题之虚函数(表)实现机制

前言

大家都应该知道C++的精髓是虚函数吧? 虚函数带来的好处就是: 可以定义一个基类的指针, 其指向一个继承类, 当通过基类的指针去调用函数时, 可以在运行时决定该调用基类的函数还是继承类的函数. 虚函数是实现多态(动态绑定)/接口函数的基础. 可以说: 没有虚函数, C++将变得一无是处!

既然是C++的精髓, 那么我们有必要了解一下她的实现方式吗? 有必要! 既然C++是从C语言的基础上发展而来的, 那么我们可以尝试用C语言来模拟实现吗? 有可能! 接下来, 就是我一步一步地来解析C++的虚函数的实现方式, 以及用C语言对其进行的模拟.

C++对象的内存布局

要想知道C++对象的内存布局, 可以有多种方式, 比如:

  1. 输出成员变量的偏移, 通过offsetof宏来得到
  2. 通过调试器查看, 比如常用的VS

  1. 只有数据成员的对象

    类实现如下:

    1. class Base1
    2. {
    3. public:
    4. int base1_1;
    5. int base1_2;
    6. };

    对象大小及偏移:

    sizeof(Base1) 8
    offsetof(Base1, base1_1) 0
    offsetof(Base1, base1_2) 4

    可知对象布局:

    可以看到, 成员变量是按照定义的顺序来保存的, 最先声明的在最上边, 然后依次保存!
    类对象的大小就是所有成员变量大小之和.

  2. 没有虚函数的对象

    类实现如下:

    1. class Base1
    2. {
    3. public:
    4. int base1_1;
    5. int base1_2;
    6. void foo(){}
    7. };

    结果如下:

    sizeof(Base1) 8
    offsetof(Base1, base1_1) 0
    offsetof(Base1, base1_2) 4

    和前面的结果是一样的? 不需要有什么疑问对吧?
    因为如果一个函数不是虚函数,那么他就不可能会发生动态绑定,也就不会对对象的布局造成任何影响.
    当调用一个非虚函数时, 那么调用的一定就是当前指针类型拥有的那个成员函数. 这种调用机制在编译时期就确定下来了.

  3. 拥有仅一个虚函数的类对象

    类实现如下:

    1. class Base1
    2. {
    3. public:
    4. int base1_1;
    5. int base1_2;
    6. virtual void base1_fun1() {}
    7. };

    结果如下:

    sizeof(Base1) 12
    offsetof(Base1, base1_1) 4
    offsetof(Base1, base1_2) 8

    咦? 多了4个字节? 且 base1_1 和 base1_2 的偏移都各自向后多了4个字节!
    说明类对象的最前面被多加了4个字节的"东东", what's it?
    现在, 我们通过VS2013来瞧瞧类Base1的变量b1的内存布局情况:
    (由于我没有写构造函数, 所以变量的数据没有根据, 但虚函数是编译器为我们构造的, 数据正确!)
    (Debug模式下, 未初始化的变量值为0xCCCCCCCC, 即:-858983460)

    看到没? base1_1前面多了一个变量 __vfptr(常说的虚函数表vtable指针), 其类型为void**, 这说明它是一个void*指针(注意:不是数组).

    再看看[0]元素, 其类型为void*, 其值为 ConsoleApplication2.exe!Base1::base1_fun1(void), 这是什么意思呢? 如果对WinDbg比较熟悉, 那么应该知道这是一种惯用表示手法, 她就是指 Base1::base1_fun1() 函数的地址.

    可得, __vfptr的定义伪代码大概如下:

    1. void* __fun[1] = { &Base1::base1_fun1 };
    2. const void** __vfptr = &__fun[0];

    值得注意的是:

    1. 上面只是一种伪代码方式, 语法不一定能通过
    2. 该类的对象大小为12个字节, 大小及偏移信息如下:
      sizeof(Base1) 12
      offsetof(__vfptr) 0
      offsetof(base1_1) 4
      offsetof(base1_2) 8
    3. 大家有没有留意这个__vfptr? 为什么它被定义成一个指向指针数组的指针, 而不是直接定义成一个指针数组呢?

      我为什么要提这样一个问题? 因为如果仅是一个指针的情况, 您就无法轻易地修改那个数组里面的内容, 因为她并不属于类对象的一部分.
      属于类对象的, 仅是一个指向虚函数表的一个指针__vfptr而已, 下一节我们将继续讨论这个问题.

    4. 注意到__vfptr前面的const修饰. 她修饰的是那个虚函数表, 而不是__vfptr.

    现在的对象布局如下:

    虚函数指针__vfptr位于所有的成员变量之前定义.

    注意到: 我并未在此说明__vfptr的具体指向, 只是说明了现在类对象的布局情况.
    接下来看一个稍微复杂一点的情况, 我将清楚地描述虚函数表的构成.

  4. 拥有多个虚函数的类对象

    和前面一个例子差不多, 只是再加了一个虚函数. 定义如下:

    1. class Base1
    2. {
    3. public:
    4. int base1_1;
    5. int base1_2;
    6. virtual void base1_fun1() {}
    7. virtual void base1_fun2() {}
    8. };

    大小以及偏移信息如下:

    有情况!? 多了一个虚函数, 类对象大小却依然是12个字节!

    再来看看VS形象的表现:

    呀, __vfptr所指向的函数指针数组中出现了第2个元素, 其值为Base1类的第2个虚函数base1_fun2()的函数地址.

    现在, 虚函数指针以及虚函数表的伪定义大概如下:

    1. void* __fun[] = { &Base1::base1_fun1, &Base1::base1_fun2 };
    2. const void** __vfptr = &__fun[0];

    通过上面两张图表, 我们可以得到如下结论:

    1. 更加肯定前面我们所描述的: __vfptr只是一个指针, 她指向一个函数指针数组(即: 虚函数表)
    2. 增加一个虚函数, 只是简单地向该类对应的虚函数表中增加一项而已, 并不会影响到类对象的大小以及布局情况

    前面已经提到过: __vfptr只是一个指针, 她指向一个数组, 并且: 这个数组没有包含到类定义内部, 那么她们之间是怎样一个关系呢?
    不妨, 我们再定义一个类的变量b2, 现在再来看看__vfptr的指向:

    通过Watch 1窗口我们看到:

    1. b1和b2是类的两个变量, 理所当然, 她们的地址是不同的(见 &b1 和 &b2)
    2. 虽然b1和b2是类的两个变量, 但是: 她们的__vfptr的指向却是同一个虚函数表

    由此我们可以总结出:

    同一个类的不同实例共用同一份虚函数表, 她们都通过一个所谓的虚函数表指针__vfptr(定义为void**类型)指向该虚函数表.

    是时候该展示一下类对象的内存布局情况了:

    不出意外, 很清晰明了地展示出来了吧? :-) hoho~~

    那么问题就来了! 这个虚函数表保存在哪里呢? 其实, 我们无需过分追究她位于哪里, 重点是:

    1. 她是编译器在编译时期为我们创建好的, 只存在一份
    2. 定义类对象时, 编译器自动将类对象的__vfptr指向这个虚函数表

  5. 单继承且本身不存在虚函数的继承类的内存布局

    前面研究了那么多啦, 终于该到研究继承类了! 先研究单继承!

    依然, 简单地定义一个继承类, 如下:

    1. class Base1
    2. {
    3. public:
    4. int base1_1;
    5. int base1_2;
    6. virtual void base1_fun1() {}
    7. virtual void base1_fun2() {}
    8. };
    9. class Derive1 : public Base1
    10. {
    11. public:
    12. int derive1_1;
    13. int derive1_2;
    14. };

    我们再来看看现在的内存布局(定义为Derive1 d1):

    没错! 基类在上边, 继承类的成员在下边依次定义! 展开来看看:

    经展开后来看, 前面部分完全就是Base1的东西: 虚函数表指针+成员变量定义.
    并且, Base1的虚函数表的[0][1]两项还是其本身就拥有的函数: base1_fun1() 和 base1_fun2().

    现在类的布局情况应该是下面这样:

  6. 本身不存在虚函数(不严谨)但存在基类虚函数覆盖的单继承类的内存布局

    标题`本身不存在虚函数`的说法有些不严谨, 我的意思是说: 除经过继承而得来的基类虚函数以外, 自身没有再定义其它的虚函数.

    Ok, 既然存在基类虚函数覆盖, 那么来看看接下来的代码会产生何种影响:

    1. class Base1
    2. {
    3. public:
    4. int base1_1;
    5. int base1_2;
    6. virtual void base1_fun1() {}
    7. virtual void base1_fun2() {}
    8. };
    9. class Derive1 : public Base1
    10. {
    11. public:
    12. int derive1_1;
    13. int derive1_2;
    14. // 覆盖基类函数
    15. virtual void base1_fun1() {}
    16. };

    可以看到, Derive1类 重写了Base1类的base1_fun1()函数, 也就是常说的虚函数覆盖. 现在是怎样布局的呢?

    特别注意我高亮的那一行: 原本是Base1::base1_fun1(), 但由于继承类重写了基类Base1的此方法, 所以现在变成了Derive1::base1_fun1()!

    那么, 无论是通过Derive1的指针还是Base1的指针来调用此方法, 调用的都将是被继承类重写后的那个方法(函数), 多态发生鸟!!!

    那么新的布局图:

  7. 定义了基类没有的虚函数的单继承的类对象布局

    说明一下: 由于前面一种情况只会造成覆盖基类虚函数表的指针, 所以接下来我不再同时讨论虚函数覆盖的情况.

    继续贴代码:

    1. class Base1
    2. {
    3. public:
    4. int base1_1;
    5. int base1_2;
    6. virtual void base1_fun1() {}
    7. virtual void base1_fun2() {}
    8. };
    9. class Derive1 : public Base1
    10. {
    11. public:
    12. int derive1_1;
    13. int derive1_2;
    14. virtual void derive1_fun1() {}
    15. };

    和第5类不同的是多了一个自身定义的虚函数. 和第6类不同的是没有基类虚函数的覆盖.

    咦, 有没有发现问题? 表面上看来几乎和第5种情况完全一样? 为嘛呢?
    现在继承类明明定义了自身的虚函数, 但不见了??
    那么, 来看看类对象的大小, 以及成员偏移情况吧:

    居然没有变化!!! 前面12个字节是Base1的, 有没有觉得很奇怪?

    好吧, 既然表面上没办法了, 我们就只能从汇编入手了, 来看看调用derive1_fun1()时的代码:

    1. Derive1 d1;
    2. Derive1* pd1 = &d1;
    3. pd1->derive1_fun1();

    要注意: 我为什么使用指针的方式调用? 说明一下: 因为如果不使用指针调用, 虚函数调用是不会发生动态绑定的哦! 你若直接d1.derive1_fun1(); , 是不可能会发生动态绑定的, 但如果使用指针: pd1->derive1_fun1(); , 那么 pd1就无从知道她所指向的对象到底是Derive1 还是继承于Derive1的对象, 虽然这里我们并没有对象继承于Derive1, 但是她不得不这样做, 毕竟继承类不管你如何继承, 都不会影响到基类, 对吧?

    ; pd1->derive1_fun1();
00825466  mov         eax,dword ptr [pd1]
00825469  mov         edx,dword ptr [eax]
0082546B  mov         esi,esp
0082546D  mov         ecx,dword ptr [pd1]
00825470  mov         eax,dword ptr [edx+8]
00825473  call        eax

    汇编代码解释:

    第2行: 由于pd1是指向d1的指针, 所以执行此句后 eax 就是d1的地址
    第3行: 又因为Base1::__vfptr是Base1的第1个成员, 同时也是Derive1的第1个成员, 那么: &__vfptr == &d1, clear? 所以当执行完 mov edx, dword ptr[eax] 后, edx就得到了__vfptr的值, 也就是虚函数表的地址.
    第5行: 由于是__thiscall调用, 所以把this保存到ecx中.
    第6行: 一定要注意到那个 edx+8, 由于edx是虚函数表的地址, 那么 edx+8将是虚函数表的第3个元素, 也就是__vftable[2]!!!
    第7行: 调用虚函数.

    结果:

    1. 现在我们应该知道内幕了! 继承类Derive1的虚函数表被加在基类的后面! 事实的确就是这样!
    2. 由于Base1只知道自己的两个虚函数索引[0][1], 所以就算在后面加上了[2], Base1根本不知情, 不会对她造成任何影响.
    3. 如果基类没有虚函数呢? 这个问题我们留到第9小节再来讨论!

    最新的类对象布局表示:

  8. 多继承且存在虚函数覆盖同时又存在自身定义的虚函数的类对象布局

    真快, 该看看多继承了, 多继承很常见, 特别是接口类中!

    依然写点小类玩玩:

    1. class Base1
    2. {
    3. public:
    4. int base1_1;
    5. int base1_2;
    6. virtual void base1_fun1() {}
    7. virtual void base1_fun2() {}
    8. };
    9. class Base2
    10. {
    11. public:
    12. int base2_1;
    13. int base2_2;
    14. virtual void base2_fun1() {}
    15. virtual void base2_fun2() {}
    16. };
    17. // 多继承
    18. class Derive1 : public Base1, public Base2
    19. {
    20. public:
    21. int derive1_1;
    22. int derive1_2;
    23. // 基类虚函数覆盖
    24. virtual void base1_fun1() {}
    25. virtual void base2_fun2() {}
    26. // 自身定义的虚函数
    27. virtual void derive1_fun1() {}
    28. virtual void derive1_fun2() {}
    29. };

    代码变得越来越长啦! 为了代码结构清晰, 我尽量简化定义.

    初步了解一下对象大小及偏移信息:

    貌似, 若有所思? 不管, 来看看VS再想:

    哇, 不摆了! 一丝不挂啊! :-)

    结论:

    1. 按照基类的声明顺序, 基类的成员依次分布在继承中.
    2. 注意被我高亮的那两行, 已经发生了虚函数覆盖!
    3. 我们自己定义的虚函数呢? 怎么还是看不见?!

    好吧, 继承反汇编, 这次的调用代码如下:

    1. Derive1 d1;
    2. Derive1* pd1 = &d1;
    3. pd1->derive1_fun2();

    反汇编代码如下:

    ; pd1->derive1_fun2();
00995306  mov         eax,dword ptr [pd1]
00995309  mov         edx,dword ptr [eax]
0099530B  mov         esi,esp
0099530D  mov         ecx,dword ptr [pd1]
00995310  mov         eax,dword ptr [edx+0Ch]
00995313  call        eax

    解释下, 其实差不多:

    第2行: 取d1的地址
    第3行: 取Base1::__vfptr的值!!
    第6行: 0x0C, 也就是第4个元素(下标为[3])

    结论:

    Derive1的虚函数表依然是保存到第1个拥有虚函数表的那个基类的后面的.

    看看现在的类对象布局图:

    如果第1个基类没有虚函数表呢? 进入第9节!

  9. 如果第1个直接基类没有虚函数(表)

    这次的代码应该比上一个要稍微简单一些, 因为把第1个类的虚函数给去掉鸟!

    1. class Base1
    2. {
    3. public:
    4. int base1_1;
    5. int base1_2;
    6. };
    7. class Base2
    8. {
    9. public:
    10. int base2_1;
    11. int base2_2;
    12. virtual void base2_fun1() {}
    13. virtual void base2_fun2() {}
    14. };
    15. // 多继承
    16. class Derive1 : public Base1, public Base2
    17. {
    18. public:
    19. int derive1_1;
    20. int derive1_2;
    21. // 自身定义的虚函数
    22. virtual void derive1_fun1() {}
    23. virtual void derive1_fun2() {}
    24. };

    来看看VS的布局:

    这次相对前面一次的图来说还要简单啦! Base1已经没有虚函数表了! (真实情况并非完全这样, 请继续往下看!)

    现在的大小及偏移情况: 注意: sizeof(Base1) == 8;

    重点是看虚函数的位置, 进入函数调用(和前一次是一样的):

    1. Derive1 d1;
    2. Derive1* pd1 = &d1;
    3. pd1->derive1_fun2();

    反汇编调用代码:

    ; pd1->derive1_fun2();
012E4BA6  mov         eax,dword ptr [pd1]
012E4BA9  mov         edx,dword ptr [eax]
012E4BAB  mov         esi,esp
012E4BAD  mov         ecx,dword ptr [pd1]
012E4BB0  mov         eax,dword ptr [edx+0Ch]
012E4BB3  call        eax

    这段汇编代码和前面一个完全一样!, 那么问题就来了! Base1 已经没有虚函数表了, 为什么还是把b1的第1个元素当作__vfptr呢?
    不难猜测: 当前的布局已经发生了变化, 有虚函数表的基类放在对象内存前面!? , 不过事实是否属实? 需要仔细斟酌.

    我们可以通过对基类成员变量求偏移来观察:

    可以看到:

    &d1==0x~d4
&d1.Base1::__vfptr==0x~d4
&d1.base2_1==0x~d8
&d1.base2_2==0x~dc
&d1.base1_1==0x~e0
&d1.base1_2==0x~e4

    所以不难验证: 我们前面的推断是正确的, 谁有虚函数表, 谁就放在前面!

    现在类的布局情况:

    那么, 如果两个基类都没有虚函数表呢?

  10. What if 两个基类都没有虚函数表

    代码如下:

    1. class Base1
    2. {
    3. public:
    4. int base1_1;
    5. int base1_2;
    6. };
    7. class Base2
    8. {
    9. public:
    10. int base2_1;
    11. int base2_2;
    12. };
    13. // 多继承
    14. class Derive1 : public Base1, public Base2
    15. {
    16. public:
    17. int derive1_1;
    18. int derive1_2;
    19. // 自身定义的虚函数
    20. virtual void derive1_fun1() {}
    21. virtual void derive1_fun2() {}
    22. };

    前面吃了个亏, 现在先来看看VS的基本布局:

    可以看到, 现在__vfptr已经独立出来了, 不再属于Base1和Base2!

    看看求偏移情况:

    Ok, 问题解决! 注意高亮的那两行, &d1==&d1.__vfptr, 说明虚函数始终在最前面!

    不用再废话, 相信大家对这种情况已经有底了.

    对象布局:

  11. 如果有三个基类: 虚函数表分别是有, 没有, 有!

    这种情况其实已经无需再讨论了, 作为一个完结篇....

    上代码:

    1. class Base1
    2. {
    3. public:
    4. int base1_1;
    5. int base1_2;
    6. virtual void base1_fun1() {}
    7. virtual void base1_fun2() {}
    8. };
    9. class Base2
    10. {
    11. public:
    12. int base2_1;
    13. int base2_2;
    14. };
    15. class Base3
    16. {
    17. public:
    18. int base3_1;
    19. int base3_2;
    20. virtual void base3_fun1() {}
    21. virtual void base3_fun2() {}
    22. };
    23. // 多继承
    24. class Derive1 : public Base1, public Base2, public Base3
    25. {
    26. public:
    27. int derive1_1;
    28. int derive1_2;
    29. // 自身定义的虚函数
    30. virtual void derive1_fun1() {}
    31. virtual void derive1_fun2() {}
    32. };

    只需要看看偏移就行了:

    只需知道: 谁有虚函数表, 谁就往前靠!

C++中父子对象指针间的转换与函数调用

讲了那么多布局方面的东东, 终于到了尾声, 好累呀!!!

通过前面的讲解内容, 大家至少应该明白了各类情况下类对象的内存布局了. 如果还不会.....呃..... !@#$%^&*

进入正题~

由于继承完全拥有父类的所有, 包括数据成员与虚函数表, 所以:把一个继承类强制转换为一个基类是完全可行的.

如果有一个Derive1的指针, 那么:

  • 得到Base1的指针: Base1* pb1 = pd1;
  • 得到Base2的指针: Base2* pb2 = pd1;
  • 得到Base3的指针: Base3* pb3 = pd1;

非常值得注意的是:

这是在基类与继承类之间的转换, 这种转换会自动计算偏移! 按照前面的布局方式!
也就是说: 在这里极有可能: pb1 != pb2 != pb3 ~~, 不要以为她们都等于 pd1!

至于函数调用, 我想, 不用说大家应该知道了:

  1. 如果不是虚函数, 直接调用指针对应的基本类的那个函数
  2. 如果是虚函数, 则查找虚函数表, 并进行后续的调用. 虚函数表在定义一个时, 编译器就为我们创建好了的. 所有的, 同一个类, 共用同一份虚函数表.

用C语言完全模拟C++虚函数表的实现与运作方式

如果对前面两大节的描述仔细了解了的话, 想用C语言来模拟C++的虚函数以及多态, 想必是轻而易举的事情鸟!

前提

但是, 话得说在前面, C++的编译器在生成类及对象的时候, 帮助我们完成了很多事件, 比如生成虚函数表!
但是, C语言编译器却没有, 因此, 很多事件我们必须手动来完成, 包括但不限于:

  1. 手动构造父子关系
  2. 手动创建虚函数表
  3. 手动设置__vfptr并指向虚函数表
  4. 手动填充虚函数表
  5. 若有虚函数覆盖, 还需手动修改函数指针
  6. 若要取得基类指针, 还需手动强制转换
  7. ......

总之, 要想用C语言来实现, 要写的代码绝对有点复杂.

C++原版调用

接下来, 我们都将以最后那个, 最繁杂的那个3个基类的实例来讲解, 但作了一些简化与改动:

  1. 用构造函数初始化成员变量
  2. 减少成员变量的个数
  3. 减少虚函数的个数
  4. 调用函数时产生相关输出
  5. Derive1增加一个基类虚函数覆盖

以下是对类的改动, 很少:

  1. class Base1
  2. {
  3. public:
  4. Base1() : base1_1(11) {}
  5. int base1_1;
  6. virtual void base1_fun1() {
  7. std::cout << "Base1::base1_fun1()" << std::endl;
  8. }
  9. };
  10. class Base2
  11. {
  12. public:
  13. Base2() : base2_1(21) {}
  14. int base2_1;
  15. };
  16. class Base3
  17. {
  18. public:
  19. Base3() : base3_1(31) {}
  20. int base3_1;
  21. virtual void base3_fun1() {
  22. std::cout << "Base3::base3_fun1()" << std::endl;
  23. }
  24. };
  25. class Derive1 : public Base1, public Base2, public Base3
  26. {
  27. public:
  28. Derive1() : derive1_1(11) {}
  29. int derive1_1;
  30. virtual void base3_fun1() {
  31. std::cout << "Derive1::base3_fun1()" << std::endl;
  32. }
  33. virtual void derive1_fun1() {
  34. std::cout << "Derive1::derive1_fun1()" << std::endl;
  35. }
  36. };

为了看到多态的效果, 我们还需要定义一个函数来看效果:

  1. void foo(Base1* pb1, Base2* pb2, Base3* pb3, Derive1* pd1)
  2. {
  3. std::cout << "Base1::\n"
  4. << " pb1->base1_1 = " << pb1->base1_1 << "\n"
  5. << " pb1->base1_fun1(): ";
  6. pb1->base1_fun1();
  7. std::cout << "Base2::\n"
  8. << " pb2->base2_1 = " << pb2->base2_1
  9. << std::endl;
  10. std::cout << "Base3::\n"
  11. << " pb3->base3_1 = " << pb3->base3_1 << "\n"
  12. <<" pb3->base3_fun1(): ";
  13. pb3->base3_fun1();
  14. std::cout << "Derive1::\n"
  15. << " pd1->derive1_1 = " << pd1->derive1_1<< "\n"
  16. <<" pd1->derive1_fun1(): ";
  17. pd1->derive1_fun1();
  18. std::cout<< " pd1->base3_fun1(): ";
  19. pd1->base3_fun1();
  20. std::cout << std::endl;
  21. }

调用方式如下:

  1. Derive1 d1;
  2. foo(&d1, &d1, &d1, &d1);

输出结果:

可以看到输出结果全部正确(当然了! :-), 哈哈~
同时注意到 pb3->base3_fun1() 的多态效果哦!

用C语言来模拟

必须要把前面的理解了, 才能看懂下面的代码!

为了有别于已经完成的C++的类, 我们分别在类前面加一个大写的C以示区分(平常大家都是习惯在C++写的类前面加C, 今天恰好反过来, 哈哈).

C语言无法实现的部分

C/C++是两个语言, 有些语言特性是C++专有的, 我们无法实现! 不过, 这里我是指调用约定, 我们应该把她排除在外.

对于类的成员函数, C++默认使用__thiscall, 也即this指针通过ecx传递, 这在C语言无法实现, 所以我们必须手动声明调用约定为:

  1. __stdcall, 就像微软的组件对象模型那样
  2. __cdecl, 本身就C语言的调用约定, 当然能使用了.

上面那种调用约定, 使用哪一种无关紧要, 反正不能使用__thiscall就行了.

因为使用了非__thiscall调用约定, 我们就必须手动传入this指针, 通过成员函数的第1个参数!

从最简单的开始: 实现 Base2

由于没有虚函数, 仅有成员变量, 这个当然是最好模拟的咯!

  1. struct CBase2
  2. {
  3. int base2_1;
  4. };
有了虚函数表的Base1, 但没被覆盖

下面是Base1的定义, 要复杂一点了, 多一个__vfptr:

  1. struct CBase1
  2. {
  3. void** __vfptr;
  4. int base1_1;
  5. };

因为有虚函数表, 所以还得单独为虚函数表创建一个结构体的哦!
但是, 为了更能清楚起见, 我并未定义前面所说的指针数组, 而是用一个包含一个或多个函数指针的结构体来表示!
因为数组能保存的是同一类的函数指针, 不太很友好! 
但他们的效果是完全一样的, 希望读者能够理解明白!

  1. struct CBase1_VFTable
  2. {
  3. void(__stdcall* base1_fun1)(CBase1* that);
  4. };

注意: base1_fun1 在这里是一个指针变量!
注意: base1_fun1 有一个CBase1的指针, 因为我们不再使用__thiscall, 我们必须手动传入! Got it?

Base1的成员函数base1_fun1()我们也需要自己定义, 而且是定义成全局的:

  1. void __stdcall base1_fun1(CBase1* that)
  2. {
  3. std::cout << "base1_fun1()" << std::endl;
  4. }
有虚函数覆盖的Base3

虚函数覆盖在这里并不能体现出来, 要在构造对象初始化的时候才会体现, 所以: base3其实和Base1是一样的.

  1. struct CBase3
  2. {
  3. void** __vfptr;
  4. int base3_1;
  5. };
  6. struct CBase3_VFTable
  7. {
  8. void(__stdcall* base3_fun1)(CBase3* that);
  9. };

Base3的成员函数:

  1. void __stdcall base3_fun1(CBase3* that)
  2. {
  3. std::cout << "base3_fun1()" << std::endl;
  4. }
定义继承类CDerive1

相对前面几个类来说, 这个类要显得稍微复杂一些了, 因为包含了前面几个类的内容:

  1. struct CDerive1
  2. {
  3. CBase1 base1;
  4. CBase3 base3;
  5. CBase2 base2;
  6. int derive1_1;
  7. };

特别注意: CBase123的顺序不能错!

另外: 由于Derive1本身还有虚函数表, 而且所以项是加到第一个虚函数表(CBase1)的后面的, 所以此时的CBase1::__vfptr不应该单单指向CBase1_VFTable, 而应该指向下面这个包含Derive1类虚函数表的结构体才行:

  1. struct CBase1_CDerive1_VFTable
  2. {
  3. void (__stdcall* base1_fun1)(CBase1* that);
  4. void(__stdcall* derive1_fun1)(CDerive1* that);
  5. };

因为CDerive1覆盖了CBase3的base3_fun1()函数, 所以不能直接用Base3的那个表:

  1. struct CBase3_CDerive1_VFTable
  2. {
  3. void(__stdcall* base3_fun1)(CDerive1* that);
  4. };

Derive1覆盖Base3::base3_fun1()的函数以及自身定义的derive1_fun1()函数:

  1. void __stdcall base3_derive1_fun1(CDerive1* that)
  2. {
  3. std::cout << "base3_derive1_fun1()" << std::endl;
  4. }
  5. void __stdcall derive1_fun1(CDerive1* that)
  6. {
  7. std::cout << "derive1_fun1()" << std::endl;
  8. }
构造各类的全局虚函数表

由于没有了编译器的帮忙, 在定义一个类对象时, 所有的初始化工作都只能由我们自己来完成了!

首先构造全局的, 被同一个类共同使用的虚函数表!

  1. // CBase1 的虚函数表
  2. CBase1_VFTable __vftable_base1;
  3. __vftable_base1.base1_fun1 = base1_fun1;
  4. // CBase3 的虚函数表
  5. CBase3_VFTable __vftable_base3;
  6. __vftable_base3.base3_fun1 = base3_fun1;

然后构造CDerive1和CBase1共同使用的虚函数表:

  1. // CDerive1 和 CBase1 共用的虚函数表
  2. CBase1_CDerive1_VFTable __vftable_base1_derive1;
  3. __vftable_base1_derive1.base1_fun1 = base1_fun1;
  4. __vftable_base1_derive1.derive1_fun1 = derive1_fun1;

再构造CDerive1覆盖CBase3后的虚函数表: 注意: 数覆盖会替换原来的函数指针

  1. CBase3_CDerive1_VFTable __vftable_base3_derive1;
  2. __vftable_base3_derive1.base3_fun1 = base3_derive1_fun1;
开始! 从CDerive1构造一个完整的Derive1类

先初始化成员变量与__vfptr的指向: 注意不是指错了!

  1. CDerive1 d1;
  2. d1.derive1 = 1;
  3. d1.base1.base1_1 = 11;
  4. d1.base1.__vfptr = reinterpret_cast<void**>(&__vftable_base1_derive1);
  5. d1.base2.base2_1 = 21;
  6. d1.base3.base3_1 = 31;
  7. d1.base3.__vfptr = reinterpret_cast<void**>(&__vftable_base3_derive1);

由于目前的CDerive1是我们手动构造的, 不存在真正语法上的继承关系, 如要得到各基类指针, 我们就不能直接来取, 必须手动根据偏移计算:

  1. char* p = reinterpret_cast<char*>(&d1);
  2. Base1* pb1 = reinterpret_cast<Base1*>(p + 0);
  3. Base2* pb2 = reinterpret_cast<Base2*>(p + sizeof(CBase1) + sizeof(CBase3));
  4. Base3* pb3 = reinterpret_cast<Base3*>(p + sizeof(CBase1));
  5. Derive1* pd1 = reinterpret_cast<Derive1*>(p);

真正调用:

foo(pb1, pb2, pb3, pd1);

调用结果:

结果相当正确!!!

源代码

我以为我把源代码搞丢了，结果过了一年多发现其实并没有。--- 2015-12-24（每个圣诞我都在写代码）

有两个，忘了区别了：Source1.cpp, Source2.cpp.

原文链接：https://blog.twofei.com/496/

C++ 虚函数实现机制相关推荐

  1. C++虚函数实现机制

    C++虚函数实现机制 C++程序的内存格局通常分为四个区:全局数据区,代码区,栈区,和堆区(即自由存储区). 全局数据区存放全局变量,静态数据和常量:所有类成员函数和非成员函数代码存放在代码区:为运行 ...

  2. 虚函数，虚函数表，虚函数实现原理，虚函数实现机制，虚函数解决的问题

    虚函数 虚函数表 虚函数实现原理? 虚函数解决的问题?虚函数解决问题的实现机制? 虚函数模型的构建? 虚函数模型的应用?

  3. （一图胜千言）虚函数实现机制（Vptr, Vtbl）

    1. 摘要 讲解C++中虚函数的实现机制,主要是Vptr和Vtbl的讲解,有了虚函数才可以拥有像多态这种强大的功能. 虚函数主要是出现在类的继承体系中. 2.虚指针vptr和虚表vtbl 虚指针及虚表 ...

  4. C++ Primer 5th笔记（chap 15 OOP）虚函数

    1. 定义 基类希望其派生类进行覆盖的函数(虚函数). 基类通过在成员函数前面加上 virtual 函数使得该函数执行动态绑定. 任何构造函数之外的非静态函数都可以是虚函数. 关键字 virtual ...

  5. C++中的继承与虚函数各种概念

    虚继承与一般继承 虚继承和一般的继承不同,一般的继承,在目前大多数的C++编译器实现的对象模型中,派生类对象会直接包含基类对象的字段.而虚继承的情况,派生类对象不会直接包含基类对象的字段,而是通过一个 ...

  6. C++11学习 virtual（虚函数）的用法

    Virtual虚函数 在面向对象的C++语言中,虚函数(virtual function)是一个非常重要的概念.因为它充分体现了面向对象思想中的继承和多态性这两大特性,在C++语言里应用极广. 多态性 ...

  7. C++ 虚函数和虚继承解析

    本文针对C++里的虚函数,虚继承表现和原理进行一些简单分析,有不对的地方请指出.下面都是以VC2008编译器对这两种机制内部实现为例. 有喜欢或者想学习C/C++的朋友加一下我的C/C++交流群815 ...

  8. C++学习笔记——虚函数

    2019独角兽企业重金招聘Python工程师标准>>> 基本概念 虚函数是在某基类中声明为 virtual 并在一个或多个派生类中被重新定义的成员函数,用法格式为: virtual ...

  9. C++语言虚函数表实现多态原理

    首先介绍一下为什么会引进多态呢,基于c++的复用性和拓展性而言,同类的程序模块进行大量重复,是一件无法容忍的事情,比如我设置了苹果,香蕉,西瓜类,现在想把这些东西都装到碗这个函数里,那么在主函数当中, ...

最新文章

  1. android APK内存多少字节,Android apk安全测评、应用加固、字节对齐、二次签名（有这一篇就够了）...
  2. jetty debug 启动 jettyconfig配置文件
  3. [最近公共祖先（LCA）]
  4. B/S模式下如何使软件屏蔽系统热键
  5. [Android Training视频系列]2.4 Recreating an Activity
  6. STM32中STD、HAL、LL库比较
  7. About JXTA message reliable design
  8. unity能连jsp吗_Unity3D与JSP TomCat服务器传递数据和文件( 一 ) 建立Java服务器
  9. linux如何利用命令保存文件,如何在Linux中将命令输出保存到文件？
  10. Math3中StatUtils类和MathArrays的使用(数组运算)
  11. 【Level 08】U08 Positive Attitude L3 What a life
  12. Spring-第1天
  13. python动态图片转字符画_Python实现图片转字符画
  14. 当宝石遇到宝藏 “不思进取”的PopCap
  15. 正确学习PLC编程的方法
  16. java获取method_从Method中获取完整类名和方法名
  17. IT名人博客推荐（15个）
  18. 产品全生命周期的产品结构和配置管理构架
  19. 按键,触摸屏流程分析
  20. iOS程序员如何成为编程高手，并以此创业

热门文章

  1. 浅谈数字媒体艺术中的技术应用-4-技术路线和学习地图
  2. 移动应用性能测试工具—PerfDog
  3. 国内CRM系统哪家公司的好 CRM管理系统推荐
  4. harmonyos pc,华为鸿蒙系统（HarmonyOS）9月11日发布2.0版本将打通PC、手表和车机等产品终...
  5. optimus切换 linux,在Ubuntu上安装和配置Nvidia Optimus驱动
  6. 对nvidia optimus黑屏与背光调节问题的一点总结
  7. iPhone开发之SQLite
  8. 计算机中的服务是什么,电脑中的Local Service是什么意思？
  9. 又拍相册图片如何批量下载
  10. 【CSS特效】108个小时钟组成大数字时钟