从汇编角度看C++的函数

于 2024-08-18 17:30:52 发布
阅读量558 收藏 9
点赞数 21
分类专栏： 彻底理解C++ 文章标签： 汇编 c++ 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_43651585/article/details/141302589
版权

C++中的函数

简单的汇编知识

C++中函数参数如何传递给函数

1. 普通函数

#include <iostream>
using namespace std;

int func(int num)
{
  int x = 1;
  int y = 2;
  num += 2;
  return num;
}

int main()
{
  func(10);
}

查看func函数的汇编代码：

Dump of assembler code for function func(int):
=> 0x0000555555555169 <+0>:     endbr64 
   0x000055555555516d <+4>:     push   rbp
   0x000055555555516e <+5>:     mov    rbp,rsp
   0x0000555555555171 <+8>:     mov    DWORD PTR [rbp-0x14],edi
   0x0000555555555174 <+11>:    mov    DWORD PTR [rbp-0x8],0x1
   0x000055555555517b <+18>:    mov    DWORD PTR [rbp-0x4],0x2
   0x0000555555555182 <+25>:    add    DWORD PTR [rbp-0x14],0x2
   0x0000555555555186 <+29>:    mov    eax,DWORD PTR [rbp-0x14]
   0x0000555555555189 <+32>:    pop    rbp
   0x000055555555518a <+33>:    ret    
End of assembler dump.

大致分析一下这段代码：

  • 最开始先将在func函数中可能修改的寄存器值先保存在栈中，等最后出栈恢复，这样能保证执行func后前后的值一致。

    0x000055555555516d <+4>:     push   rbp

........

0x0000555555555189 <+32>:    pop    rbp

  • 然后将edi（也就是num的值）保存在栈上，因为x和y是局部变量，所以它们也是存在栈中的。

     0x0000555555555171 <+8>:     mov    DWORD PTR [rbp-0x14],edi
 0x0000555555555174 <+11>:    mov    DWORD PTR [rbp-0x8],0x1
 0x000055555555517b <+18>:    mov    DWORD PTR [rbp-0x4],0x2

  • 然后就是一些计算逻辑。

  • 然后将返回值通过寄存器eax返回。

    0x0000555555555186 <+29>:    mov    eax,DWORD PTR [rbp-0x14]

  • 最后跳转到func函数的下一条指令

    0x000055555555518a <+33>:    ret

2. 类成员函数

#include <iostream>
using namespace std;

class Room
{
public:
  int age;

  void func()
  {
    int a = 11;
    int b = 12;
  }
};

int main()
{
  Room room;
  room.func();
}

step1

   0x555555555195 <main+12>    mov    rax, qword ptr fs:[0x28]
   0x55555555519e <main+21>    mov    qword ptr [rbp - 8], rax
   0x5555555551a2 <main+25>    xor    eax, eax
   0x5555555551a4 <main+27>    lea    rax, [rbp - 0xc]
   0x5555555551a8 <main+31>    mov    rdi, rax
 ► 0x5555555551ab <main+34>    call   Room::func()                <Room::func()>
        rdi: 0x7fffffffe4e4 ◂— 0x4b9ba90000007fff

其中 rdi 寄存器保存的是对象room的地址，也是我们常说的this指针。

虽然类成员函数func从表面上看没有参数，但是其实还是会有一个this指针被默认传递进去，也就是这里的rdi中的值。

step2

Dump of assembler code for function Room::func():
=> 0x0000555555555232 <+0>:     endbr64 
   0x0000555555555236 <+4>:     push   rbp
   0x0000555555555237 <+5>:     mov    rbp,rsp
   0x000055555555523a <+8>:     mov    QWORD PTR [rbp-0x18],rdi
   0x000055555555523e <+12>:    mov    DWORD PTR [rbp-0x8],0xb
   0x0000555555555245 <+19>:    mov    DWORD PTR [rbp-0x4],0xc
   0x000055555555524c <+26>:    nop
   0x000055555555524d <+27>:    pop    rbp
   0x000055555555524e <+28>:    ret    
End of assembler dump.

局部变量a、b和rdi在栈中的位置图：
在这里插入图片描述

3. 普通静态函数

#include <iostream>
using namespace std;

static void func()
{
  int a = 11;
  int b = 12;
}

int main()
{
  func();
}

汇编代码：

Dump of assembler code for function func():
=> 0x0000555555555169 <+0>:     endbr64 
   0x000055555555516d <+4>:     push   rbp
   0x000055555555516e <+5>:     mov    rbp,rsp
   0x0000555555555171 <+8>:     mov    DWORD PTR [rbp-0x8],0xb
   0x0000555555555178 <+15>:    mov    DWORD PTR [rbp-0x4],0xc
   0x000055555555517f <+22>:    nop
   0x0000555555555180 <+23>:    pop    rbp
   0x0000555555555181 <+24>:    ret    
End of assembler dump.

4. 类中的静态函数

#include <iostream>
using namespace std;

class Room
{
public:
  int age;

  static void func()
  {
    int a = 11;
    int b = 12;
  }
};

int main()
{
  Room room;
  room.func();
  Room::func();
}

func的汇编代码：

Dump of assembler code for function Room::func():
=> 0x00005555555551ec <+0>:     endbr64 
   0x00005555555551f0 <+4>:     push   rbp
   0x00005555555551f1 <+5>:     mov    rbp,rsp
   0x00005555555551f4 <+8>:     mov    DWORD PTR [rbp-0x8],0xb
   0x00005555555551fb <+15>:    mov    DWORD PTR [rbp-0x4],0xc
   0x0000555555555202 <+22>:    nop
   0x0000555555555203 <+23>:    pop    rbp
   0x0000555555555204 <+24>:    ret    
End of assembler dump.

从这里我们看到静态成员函数没有this指针。

重点分析room.func(); 和Room::func();

   0x555555555169 <main>                                                     endbr64 
   0x55555555516d <main+4>                                                   push   rbp
   0x55555555516e <main+5>                                                   mov    rbp, rsp
   0x555555555171 <main+8>                                                   sub    rsp, 0x10
 ► 0x555555555175 <main+12>                                                  call   Room::func()                <Room::func()>
 
   0x55555555517a <main+17>                                                  call   Room::func()                <Room::func()>

   23 int main()
   24 {
   25   Room room;
 ► 26   room.func();
   27   Room::func();
   28 }

   0x555555555169 <main>                                                     endbr64 
   0x55555555516d <main+4>                                                   push   rbp
   0x55555555516e <main+5>                                                   mov    rbp, rsp
   0x555555555171 <main+8>                                                   sub    rsp, 0x10
   0x555555555175 <main+12>                                                  call   Room::func()                <Room::func()>
 
 ► 0x55555555517a <main+17>                                                  call   Room::func()                <Room::func()>
 
   23 int main()
   24 {
   25   Room room;
   26   room.func();
 ► 27   Room::func();
   28 }

我们看到这两种写法在汇编代码的层次上都是一一样的，因为func是静态的，所以它是属于类的，而不是类对象的。所以两种方式都可以，底层都是直接调用func就行了。

5. 虚函数

彻底搞懂C++多态

普通函数和类成员函数的汇编代码对比

#include <iostream>
using namespace std;

class Room
{
public:
  int age;

  void func()
  {
    int a = 11;
    int b = 12;
    age = 10;
  }
};

void func(Room *room)
{
  int a = 11;
  int b = 12;
  room->age = 10;
}

int main()
{
  Room room;
  room.func();

  func(&room);
}
  • 分析 room.func();
Dump of assembler code for function Room::func():
=> 0x0000555555555264 <+0>:     endbr64 
   0x0000555555555268 <+4>:     push   rbp
   0x0000555555555269 <+5>:     mov    rbp,rsp
   0x000055555555526c <+8>:     mov    QWORD PTR [rbp-0x18],rdi
   0x0000555555555270 <+12>:    mov    DWORD PTR [rbp-0x8],0xb
   0x0000555555555277 <+19>:    mov    DWORD PTR [rbp-0x4],0xc
   0x000055555555527e <+26>:    mov    rax,QWORD PTR [rbp-0x18]
   0x0000555555555282 <+30>:    mov    DWORD PTR [rax],0xa
   0x0000555555555288 <+36>:    nop
   0x0000555555555289 <+37>:    pop    rbp
   0x000055555555528a <+38>:    ret    
End of assembler dump.
  • 分析 func(&room);
Dump of assembler code for function func(Room*):
=> 0x0000555555555189 <+0>:     endbr64 
   0x000055555555518d <+4>:     push   rbp
   0x000055555555518e <+5>:     mov    rbp,rsp
   0x0000555555555191 <+8>:     mov    QWORD PTR [rbp-0x18],rdi
   0x0000555555555195 <+12>:    mov    DWORD PTR [rbp-0x8],0xb
   0x000055555555519c <+19>:    mov    DWORD PTR [rbp-0x4],0xc
   0x00005555555551a3 <+26>:    mov    rax,QWORD PTR [rbp-0x18]
   0x00005555555551a7 <+30>:    mov    DWORD PTR [rax],0xa
   0x00005555555551ad <+36>:    nop
   0x00005555555551ae <+37>:    pop    rbp
   0x00005555555551af <+38>:    ret    
End of assembler dump.

我们看到两者的汇编代码一摸一样，这时为什么呢？

C++设计的时候有一个要求：要求对普通成员函数的调用不应该比全局函数效率差；

基于这种设计要求，编译器内部实际上是将对成员函数的调用转换成了对全局函数的调用。

成员函数有独立的地址，是和类相关的，并且成员函数的地址，是在编译的时候就确定好了的。

搞定🤝。

落后的炫幕あ
关注
  • 21
    点赞
  • 踩
  • 9
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
从汇编角度查看C语言函数调用约定
CSDN文章已停止维护，后续文章会在 https://blog.hufeifei.cn 持续更新
07-25 2419
为了防止出现不必要的代码影响汇编语言的查看，所以程序中不使用任何库函数，以保持汇编代码的简洁。这里所使用的汇编是VC的MASM。默认函数调用方式__cdeclint add(int a, int b) { return a + b; }int main() { int a = 1, b = 2; return add(a,b); }对应汇编代码：; Listing gener
从汇编角度看函数参数传递
magic_world_wow的博客
06-05 5897
基本理论： 函数参数传递机制问题在本质上是调用函数过程和被调用函数在调用发生时进行同的方法问题。基本的参数传递机制有两种，值传递、引用传递。 值传递： 在值传递过程中，被调函数的形参作为被调函数的局部变量，即在该函数栈中开辟内存空间以存放由主函数传递进来的实参的值，从而成为实参的一个副本。值传递的特点是被调函数对形参的任何操作都是作为局部变量进行，不会影响主函数实参的值。 引用传递：引用传递...
从汇编的角度了解C++原理——虚函数
weixin_45001971的博客
01-16 923
从汇编的角度了解C++原理——虚函数
从x86-64汇编角度看c++代码
mumu
07-02 3018
从汇编角度看c代码
从汇编的角度了解C++原理——类的储存结构和函数调用
weixin_45001971的博客
01-16 821
从汇编的角度了解C++原理——类的储存结构和函数调用
从汇编看c++函数的默认参数
01-21
下面从汇编看其原理。 　下面是c++源码： int add(int a = 1， int b = 2) {//参数a b有默认值  return a + b; } int main() {  int c= add();//不提供参数   } 　下面是mian函数里面的汇编码： ; ...
从汇编看c++函数的默认参数的使用说明
09-05
这篇文章通过汇编语言的角度来分析C++函数默认参数的工作原理。 首先，我们来看一个具有默认参数的简单C++函数示例： ```cpp int add(int a = 1, int b = 2) { return a + b; } ``` 在`main`函数中调用`add()`...
从汇编看c++中默认构造函数的使用分析
09-05
然而，从汇编层面来看，这个过程并非总是涉及实际的函数调用。下面我们将深入探讨这一点。 首先，我们看一个简单的例子，类`X`只有一个`int`类型的成员变量`i`： ```cpp class X { private: int i; }; int main...
从汇编看c++中的默认拷贝函数
12-22
《c++编程思想》上说一个类如果没有拷贝函数，那么编译器会自动创建一个默认的拷贝函数。下面让我们看一下真实的情况。 　首先看一个简单的类X，这个类没有显示定义拷贝构造函数。c++源码如下： class X { ...
汇编编译环境的安装
黎相思的博客
08-13 437
1. 双击DOSBox0.74-win32-installer.exe程序。打开之后就是这样的编译环境,这就是汇编语言的编译环境。再次打开DOSBox就会发现窗口变大了。9. 在DOSBox中进入MASM。6. 打开DOSBox 0.74。5. 复制MASM文件粘贴到D盘。首先我们得找到环境的安装位置。3. 点击next。
C语言 | Leetcode C语言题解之第337题打家劫舍III
m0_59237910的博客
08-15 273
C语言 | Leetcode C语言题解之第337题打家劫舍III
C++(11)类语法分析(2)
最新发布
Once_day的回忆
08-17 710
Author：Once Day Date：2024年8月17日漫漫长路，才刚刚开始…全系列文章请查看专栏: 源码分析_Once-Day的博客-CSDN博客参考文档:基础类的介绍请参考文章：C++(10)类语法分析(1)-CSDN博客运算符重载是C++的一个强大特性，它允许为用户定义的类型自定义运算符的行为。通过运算符重载，我们可以使自定义类型的对象支持各种运算符，如算术运算符、比较运算符、输入输出运算符等，从而提高代码的可读性和表现力。运算符重载的语法，运算符重载的实现方式是定义一个特殊的成员函数或全局函数
c++编程（22）——STL（6）set
2301_77239666的博客
08-16 878
欢迎来到博主的专栏——c++编程博主ID：代码小豪。
C++ | Leetcode C++题解之第337题打家劫舍III
Ddddddd_158的博客
08-15 292
C++ | Leetcode C++题解之第337题打家劫舍III
【C语言】字符串操作函数详解
EleganceJiaBao的博客
08-14 997
这些头文件提供了字符串操作所需的函数声明。以下是常用字符串操作函数的详细讲解，包括每个函数的参数、返回值说明以及示例代码。每个函数的使用说明还包括了适当的表格以帮助理解其功能和用法。
C++_基本语法笔记_模板
qq_45629864的博客
08-14 415
思想是Java里的泛型（不确定用什么类型的数据）这里template这一句，意思是声明T是泛型，后面写用到泛型T的函数。建议都用应用场景：不同数据类型的交换函数。
typdef 与 struct
ligreenjian的博客
08-14 115
int age;int num;//每使用一次就要多一个struct。使用typdef就简洁些。
C++_基本语法笔记_继承和多态
qq_45629864的博客
08-13 567
思想与Java差不多。
整型二分,浮点二分法 C++
xcc134679的博客
08-16 272
需要注意的是，由于浮点数的精度问题，如果要查找的目标值非常接近区间的边界，可能无法准确地找到目标值，而是得到一个非常接近但不完全相等的浮点数。另外，在实际应用中，可能还需要设置一个终止条件来避免无限循环，例如在已知的精度范围内无法再继续缩小区间。浮点二分法的基本思想是通过将区间不断地二分，来逐步缩小查找范围，直到找到目标值或确定目标值不存在。- 如果M等于目标值，那么找到了目标值，返回M。- 如果M小于目标值，那么将L设为M，继续二分。- 如果M大于目标值，那么将R设为M，继续二分。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

落后的炫幕あ

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值