用汇编的眼光看C++（之虚函数）

最新推荐文章于 2023-01-16 17:24:51 发布
最新推荐文章于 2023-01-16 17:24:51 发布
阅读量74 收藏
点赞数
分类专栏： C/C++ 汇编语言
原文链接：https://blog.csdn.net/feixiaoxing/article/details/6779279
版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接： https://blog.csdn.net/feixiaoxing/article/details/6779279

【 声明：版权所有，欢迎转载，请勿用于商业用途。  联系信箱：feixiaoxing @163.com】  


    虚函数是面向对象设计中的一个重要内容。它的出现使得我们只需要相同的接口函数，并可以得到不同的生成结果。但是有些朋友却知其然，不知其所以然，为什么会出现这样的结果，我们可以用一段代码说明问题。首先，我们先定义两个基本类型，一个是employee，一个是manager，看过前面一片博客的朋友应该都有点印象：


 
 
  1. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     class employee
    
    
    
   
   
  2. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     {
    
    
    
   
   
  3. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     public:
    
    
    
   
   
  4. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     	employee() { }
    
    
    
   
   
  5. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     	~employee() {}
    
    
    
   
   
  6. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    	
     
     virtual void print() const { 
     
     printf(
     
     "employee!\n");}
    
    
    
   
   
  7. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     };
    
    
    
   
   
  8. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
     
    
    
    
   
   
  9. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     class manager : 
     
     public employee
    
    
    
   
   
  10. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     {
    
    
    
   
   
  11. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     public:
    
    
    
   
   
  12. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     	manager() {}
    
    
    
   
   
  13. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     	~manager() {}
    
    
    
   
   
  14. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    	
     
     void print() const {
     
     printf(
     
     "manager!\n");}
    
    
    
   
   
  15. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     };
    我们看到，和前面出现的成员函数稍微有一些不同，这里的print函数之前出现了virtual。然而正是这个virtual发挥了巨大的作用。可以毫不夸张地说，没有虚函数，基本上就没有设计模式，也就无法体现C++语言在面向对象设计中的巨大优越性。下面我们看看这个virtual是怎样发挥作用的？ 


 
 
  1. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     76:       employee p;
    
    
    
   
   
  2. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     0040128D   lea         ecx,[ebp
     
     -10h]
    
    
    
   
   
  3. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     00401290   
     
     call        @ILT+
     
     45(employee::employee) (
     
     00401032)
    
    
    
   
   
  4. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     00401295   mov         dword ptr [ebp
     
     -4],
     
     0
    
    
    
   
   
  5. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     77:       manager m;
    
    
    
   
   
  6. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     0040129C   lea         ecx,[ebp
     
     -14h]
    
    
    
   
   
  7. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     0040129F   
     
     call        @ILT+
     
     65(manager::manager) (
     
     00401046)
    
    
    
   
   
  8. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012A4   mov         byte ptr [ebp
     
     -4],
     
     1
    
    
    
   
   
  9. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     78:       employee* e = &p;
    
    
    
   
   
  10. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012A8   lea         eax,[ebp
     
     -10h]
    
    
    
   
   
  11. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012AB   mov         dword ptr [ebp
     
     -18h],eax
    
    
    
   
   
  12. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     79:       e->print();
    
    
    
   
   
  13. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012AE   mov         ecx,dword ptr [ebp
     
     -18h]
    
    
    
   
   
  14. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012B1   mov         edx,dword ptr [ecx]
    
    
    
   
   
  15. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012B3   mov         esi,esp
    
    
    
   
   
  16. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012B5   mov         ecx,dword ptr [ebp
     
     -18h]
    
    
    
   
   
  17. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012B8   
     
     call        dword ptr [edx]
    
    
    
   
   
  18. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012BA   cmp         esi,esp
    
    
    
   
   
  19. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012BC   
     
     call        __chkesp (
     
     00408870)
    
    
    
   
   
  20. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     80:       e = &m;
    
    
    
   
   
  21. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012C1   lea         eax,[ebp
     
     -14h]
    
    
    
   
   
  22. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012C4   mov         dword ptr [ebp
     
     -18h],eax
    
    
    
   
   
  23. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     81:       e->print();
    
    
    
   
   
  24. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012C7   mov         ecx,dword ptr [ebp
     
     -18h]
    
    
    
   
   
  25. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012CA   mov         edx,dword ptr [ecx]
    
    
    
   
   
  26. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012CC   mov         esi,esp
    
    
    
   
   
  27. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012CE   mov         ecx,dword ptr [ebp
     
     -18h]
    
    
    
   
   
  28. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012D1   
     
     call        dword ptr [edx]
    
    
    
   
   
  29. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012D3   cmp         esi,esp
    
    
    
   
   
  30. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012D5   
     
     call        __chkesp (
     
     00408870)
    
    
    
   
   
  31. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     82:   }
    上面是一段函数调用的代码，代码可以稍微有点长。不过没有关系，我们可以按照代码的行数一行一行地去进行说明和理解。

    76行： 我们创建了employee类型的一个变量p，这个可以从后面的employee的构造函数可以看出来

    77行： 我们创建了manager类型的一个变量，这个也可以从后面的manager的构造函数看出

    78行： 我们创建一个指针临时变量e，它保存了变量p的地址，这一句也比较简单

    79行： 我们发现79句下面共有7句汇编，其中第三句、第六句、第七句是平衡堆栈的时候用的，和我们的调用没有关系。那么call的edx是什么东西呢？原来函数调用的顺序是这样的：edx -> [ecx]  ->[ebp-0x18]，不知道大家看明白了没有。在内存的第一个字节记录一个指向print函数指针的指针，也就是edx。通过这个edx，我们就可以查找到位于edx地址的内容是什么。后来我们提取出来后发现[edx]的内容正是我们要查找的print函数地址。这里相当于一个二次寻址的过程。

    80行： 我们重新对临时变量e进行了赋值，此时e保存的是变量m的地址

    81行： 我们发现此时的寻找过程和79行惊奇地一致，原因就在于edx的内容不同罢了。也就是指向函数指针的指针发生了变化而已。


    试想一下，如果没有这个virtual函数，以上这段代码会发生什么差别呢？


 
 
  1. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     76:       employee p;
    
    
    
   
   
  2. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     0040127D   lea         ecx,[ebp-
     
     10h]
    
    
    
   
   
  3. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     0040128
     
     0   call        @ILT+
     
     45(employee::employee) (
     
     00401032)
    
    
    
   
   
  4. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     00401285   mov         dword ptr [ebp-
     
     4],
     
     0
    
    
    
   
   
  5. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     77:       manager 
     
     m;
    
    
    
   
   
  6. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     0040128C   lea         ecx,[ebp-
     
     14h]
    
    
    
   
   
  7. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     0040128F   call        @ILT+
     
     65(manager::manager) (
     
     00401046)
    
    
    
   
   
  8. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     00401294   mov         byte ptr [ebp-
     
     4],
     
     1
    
    
    
   
   
  9. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     78:       employee* e = &p;
    
    
    
   
   
  10. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     00401298   lea         eax,[ebp-
     
     10h]
    
    
    
   
   
  11. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     0040129B   mov         dword ptr [ebp-
     
     18h],eax
    
    
    
   
   
  12. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     79:       e->
     
     print();
    
    
    
   
   
  13. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     0040129E   mov         ecx,dword ptr [ebp-
     
     18h]
    
    
    
   
   
  14. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012A1   call        @ILT+
     
     5(employee::
     
     print) (
     
     0040100a)
    
    
    
   
   
  15. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     80:       e = &
     
     m;
    
    
    
   
   
  16. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012A6   lea         ecx,[ebp-
     
     14h]
    
    
    
   
   
  17. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012A9   mov         dword ptr [ebp-
     
     18h],ecx
    
    
    
   
   
  18. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     81:       e->
     
     print();
    
    
    
   
   
  19. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012AC   mov         ecx,dword ptr [ebp-
     
     18h]
    
    
    
   
   
  20. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     004012AF   call        @ILT+
     
     5(employee::
     
     print) (
     
     0040100a)
    
    
    
   
   
  21. 
   
   
    
    
    
    
   
   
    
   
   
    
    
    
    
     
     82:   }
    很遗憾，这里就没有了动态查找的过程，所有的打印函数最终都指向了函数employee::print，此时多态性也不复存在了。


【预告： 下一片博客将介绍类中的静态变量和静态函数】
  


石上清泉80
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
用汇编解释虚函数调用
pennyliang的专栏
06-09 9029
做程序设计助教，刚刚有个同学来实验室找我。问了个问题，“为什么指向基类指针能指向派生类，而且能调用派生类的函数”。        我按我的理解，简单解释下         指向基类的指针，“能看见”的部分是这个基类定义的，包括函数和变量。         如果该指针指向了它的派生类，它依然“能看见”的部分还是基类定义的，包括函数和变量。 但是如果函数是虚函数，那么C++编译器会把这个调用，借
C++虚函数调用的反汇编解析
热门推荐
阮建辉的专栏
08-23 1万+
C++虚函数调用的反汇编解析     作者：阮建辉 虚函数的调用如何能实现其“虚”？作为C++多态的表现手段，估计很多人对其实现机制感兴趣。大约一般的教科书就说到这个C++强大机制的时候，就是教大家怎么用，何时用，而不会去探究一下这个虚函数的真正实现细节。（当然，因为不同的编译器厂家，可能对虚函数有自己的实现，呵呵，这就算是虚函数对于编译器的“多态”了：）。 作为编译型语言，C
汇编下的C++虚函数
zzzzzz
05-18 634
#include class B { private: int x; public: B(int i) :x(i) {} virtual void printinfo() const { printnum(); printf("Base\n"); } virtual void printnum() const
C++虚函数调用的汇编过程
kenby的专栏
02-19 1158
下面的程序改编自《Thinking in C++》的Instrument4.cpp#include using namespace std;enum note { middleC, Csharp, Cflat }; // Etc.class Instrument { public: virtual void play(note)
从汇编层面深度剖析C++虚函数
12-22
csdn网友所发的一篇博文《VC虚函数布局引发的问题》 从汇编角度分析了对象虚函数表的构，以及C++指针或者引用是如何利用这个表来实现运行时多态。 　诚然，C++虚函数的结构会因编译器不同而异，但所使用的原理是...
从汇编看c++中默认构造函数的使用分析
09-05
然而，从汇编层面来看，这个过程并非总是涉及实际的函数调用。下面我们将深入探讨这一点。 首先，我们看一个简单的例子，类`X`只有一个`int`类型的成员变量`i`： ```cpp class X { private: int i; }; int main...
用汇编的眼光看C/C++之深入指针
07-16
### 用汇编的眼光看C/C++之深入指针 #### 概述 在C/C++编程语言中，指针是一种极为重要的数据类型，能够直接操纵内存，从而提高程序的性能与灵活性。本文将深入探讨指针的概念及其在C/C++中的应用，并结合汇编语言...
如何获取C++类成员虚函数地址的示例代码
08-29
总结，获取C++虚函数地址的方法包括直接通过成员函数指针、使用内联汇编以及访问虚函数表。理解这些机制对于深入理解C++的虚函数机制和运行时类型信息的使用非常重要。不过，需要注意的是，这些操作通常属于底层编程...
从汇编的角度了解C++原理——虚函数
最新发布
weixin_45001971的博客
01-16 917
从汇编的角度了解C++原理——虚函数
汇编视角分析C++虚函数实现原理
GetnextWindow的专栏
08-07 646
虚函数是c++语言非常重要的机制，日常的c++编程工作中经常使用虚函数，通过汇编视角来探究虚函数的实现原理，有助于深刻理解虚函数的内部机制。c++语法规范并没有规定虚函数的具体实现方案，不同的编译器实现方式可以不同，本文基于arm32平台，g++编译器来分析虚函数表的实现机制，基本主流编译器的原理基本是相似的，所以理解g++实现方案再去分析其他编译器的实现也是类似的。......
从汇编的角度理解C++虚函数（一）
qq_41071646的博客
07-01 524
写在前面这篇文章适合和我一样的汇编小白还有c++小白 大牛可绕过（打扰了）如果哪里有错误 还请指出  不胜感激 orz希望大家一起探讨 共同进步 我写这个博客主要是因为我们的C++考试 有一道关于虚析构函数的一道题 我当时没有做出来。我当时自认为我理解了多态 加上当时要复习高数 物理等一些科目 还有一些比赛 所以我就没有把精力放在c++上 结果很打脸的是 我当时 没有做出来那个我认为我理解的一道题...
从汇编的角度理解c++虚函数（二）
qq_41071646的博客
07-02 254
上一个博客写的是析构函数 从析构函数我们就可以知道了我们写c++程序的时候析构函数最好是写成虚函数，因为这样的话，释放空间的时候，会把父类 以及子类的空间都是释放了 ，然后今天我们 看的是析构函数，假如是普通的成员函数 会是怎么样 我们先来看看我们写的c++代码#include <iostream> #include <stdio.h> #include <algor...
虚函数调用汇编
heartrude的专栏
03-20 899
tP->TV(); 00F2167A mov eax,dword ptr [tP] // 把对象指针放入eax 00F21680 mov edx,dword ptr [eax] // 对象指针地址的最前面放置着该对象的虚地址指针，取虚地址指针 00F21682 mov esi,esp 00F21684 mov
虚函数调用 汇编代码
farmwang的专栏
08-02 523
c++ 从汇编代码看虚函数实现
letterwhite的专栏
01-20 579
网上已经有很多关于c++虚函数多态的文章,今天我们从汇编的角度来看下这种实现. 废话不说,直接上代码: class BaseObject { public: void virtual print(int i,int j) {m_x = i;m_y = j;}; void virtual print2() { printf("base\n");}; private: int m_x;...
虚函数表和虚函数表指针的汇编分析
sanqiuai的博客
05-02 1079
1.什么是虚函数？ 2.虚函数有什么用？ 3.怎样才产生虚函数表? 4.虚函数表存放在什么位置？ 5.虚函数表长什么样？ 6.为什么用虚函数实现多态时需要用到指针或者引用，而不能直接赋值? 假设有这么一个需求 class Creature { public: int hp; int mp; char* name; void Attack(); void Defend(); void Dead(); Creature(char* name); }; class Player:p
几秒读懂C++虚函数调用的汇编代码实现
dvlinker的技术专栏
10-30 6500
本文详细讲述C++虚函数调用的汇编代码实现。
C++析构函数调用时机与汇编视角的C++解析
本文主要探讨了C++编程中的析构函数调用时机以及通过汇编视角理解C++的一些基础知识，同时提到了滑窗迭代离散傅立叶变换（DFT）算法在电力谐波检测中的应用。 首先，我们来看析构函数的调用。析构函数是C++中用于...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值