从汇编角度看C++类的方法访问类成员的原理

2024-03-31 21:08

本文主要是介绍从汇编角度看C++类的方法访问类成员的原理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

C++编译后最终也是生成了机器码,不需要解释器或虚拟机来运行。相比C语言,C++的类大大的方便了代码结构的组织,使得构建大程序简便容易了很多。实例化一个类后,类的成员方法就可以访问这个类的成员了,那么从汇编角度看,到底是如何实现的呢?其实这个原理也十分简单,类实例后的对象从内存上和其所有成员变量组成的结构体是一样的,每个类的方法第一个入参就是把这个结构体的地址穿进去,类的方法通过这样的机制实现了访问类的成员。Python的类中self满天飞机制上也有点类似。下面用一个例子来具体看下:

class Test{
public:int a;int b;int c;int d;int e;Test(int a, int b, int c, int d, int e) {this->a = a;this->b = b;this->c = c;this->d = d;this->e = e;}int fun() {int a1 = a;int b1 = b;int c1 = c;int d1 = d;int e1 = e;return 100;}
};int main()
{Test test(1, 2, 3, 4, 5);test.fun();return 0;
}

上面的代码非常简单,主要看一下反汇编后的汇编代码,用下面命令编译 g++ -g -m64 main.c, 编译生成 a.out ELF文件, 然后反汇编 objdump -dS a.out, 即可看到源代码和反汇编的汇编代码一一对应的呈现, 也可以 gdb a.out, 用 disass /m fun_name 看与源码对应的函数反汇编。

首先看下类Test的大小, Test类型大小就是其成员变量组成的结构体的大小。

(gdb) pt Test
type = class Test {public:int a;int b;int c;int d;int e;Test(int, int, int, int, int);int fun(void);
}
(gdb) p sizeof(Test)
$1 = 20

然后看下Test类构造函数的反汇编,函数调用约定可以看:从汇编看Linux C函数的调用约定和参数传递的细节,按照标准调用约定,第一个入参 %rdi 寄存器并不是代码形参,而就是这个对象本身的地址。

    Test(int a, int b, int c, int d, int e) {//400530:   55                      push   %rbp//400531:   48 89 e5                mov    %rsp,%rbp//400534:   48 89 7d f8             mov    %rdi,-0x8(%rbp)  // 把调用约定参数1,test对应实例的地址//400538:   89 75 f4                mov    %esi,-0xc(%rbp)  // 调用约定里参数2//40053b:   89 55 f0                mov    %edx,-0x10(%rbp) // 调用约定里参数3//40053e:   89 4d ec                mov    %ecx,-0x14(%rbp) // 调用约定里参数4//400541:   44 89 45 e8             mov    %r8d,-0x18(%rbp) // 调用约定里参数5//400545:   44 89 4d e4             mov    %r9d,-0x1c(%rbp) // 调用约定里参数6this->a = a;//400549:   48 8b 45 f8             mov    -0x8(%rbp),%rax//40054d:   8b 55 f4                mov    -0xc(%rbp),%edx//400550:   89 10                   mov    %edx,(%rax)this->b = b;//400552:   48 8b 45 f8             mov    -0x8(%rbp),%rax//400556:   8b 55 f0                mov    -0x10(%rbp),%edx//400559:   89 50 04                mov    %edx,0x4(%rax)this->c = c;//40055c:   48 8b 45 f8             mov    -0x8(%rbp),%rax//400560:   8b 55 ec                mov    -0x14(%rbp),%edx//400563:   89 50 08                mov    %edx,0x8(%rax)this->d = d;//400566:   48 8b 45 f8             mov    -0x8(%rbp),%rax//40056a:   8b 55 e8                mov    -0x18(%rbp),%edx//40056d:   89 50 0c                mov    %edx,0xc(%rax)this->e = e;//400570:   48 8b 45 f8             mov    -0x8(%rbp),%rax//400574:   8b 55 e4                mov    -0x1c(%rbp),%edx//400577:   89 50 10                mov    %edx,0x10(%rax)}//40057a:   5d                      pop    %rbp//40057b:   c3                      retq

然后看下Test成员函数的反汇编,隐含着吧这个类实例的首地址作为第一个参数传了进来:

000000000040057c <_ZN4Test3funEv>:int fun() {//40057c:   55                      push   %rbp//40057d:   48 89 e5                mov    %rsp,%rbp//400580:   48 89 7d d8             mov    %rdi,-0x28(%rbp) // 把调用约定的参数1放到栈中int a1 = a;int b1 = b;//400584:   48 8b 45 d8             mov    -0x28(%rbp),%rax//400588:   8b 00                   mov    (%rax),%eax//40058a:   89 45 ec                mov    %eax,-0x14(%rbp)int c1 = c;//40058d:   48 8b 45 d8             mov    -0x28(%rbp),%rax//400591:   8b 40 04                mov    0x4(%rax),%eax//400594:   89 45 f0                mov    %eax,-0x10(%rbp)int d1 = d;//400597:   48 8b 45 d8             mov    -0x28(%rbp),%rax//40059b:   8b 40 08                mov    0x8(%rax),%eax//40059e:   89 45 f4                mov    %eax,-0xc(%rbp)int e1 = e;//4005a1:   48 8b 45 d8             mov    -0x28(%rbp),%rax//4005a5:   8b 40 0c                mov    0xc(%rax),%eax//4005a8:   89 45 f8                mov    %eax,-0x8(%rbp)return 100;//4005ab:   48 8b 45 d8             mov    -0x28(%rbp),%rax//4005af:   8b 40 10                mov    0x10(%rax),%eax//4005b2:   89 45 fc                mov    %eax,-0x4(%rbp)}//4005b5:   b8 64 00 00 00          mov    $0x64,%eax
};//4005ba:   5d                      pop    %rbp//4005bb:   c3                      retq

最后看下 main 函数如何在栈里定义个 Test对象并调用其方法:

int main()
{//4004ed:   55                      push   %rbp//4004ee:   48 89 e5                mov    %rsp,%rbpTest test(1, 2, 3, 4, 5);//4004f1:   48 83 ec 20             sub    $0x20,%rsp//4004f5:   48 8d 45 e0             lea    -0x20(%rbp),%rax//4004f9:   41 b9 05 00 00 00       mov    $0x5,%r9d  // 调用约定里入参6, 从右向左参数压栈//4004ff:   41 b8 04 00 00 00       mov    $0x4,%r8d  // 调用约定里入参5//400505:   b9 03 00 00 00          mov    $0x3,%ecx  // 调用约定里入参4//40050a:   ba 02 00 00 00          mov    $0x2,%edx  // 调用约定里入参3//40050f:   be 01 00 00 00          mov    $0x1,%esi  // 调用约定里入参2//400514:   48 89 c7                mov    %rax,%rdi  // 调用约定里入参1, test的地址//400517:   e8 14 00 00 00          callq  //400530 <_ZN4TestC1Eiiiii>test.fun();//40051c:   48 8d 45 e0             lea    -0x20(%rbp),%rax//400520:   48 89 c7                mov    %rax,%rdi  // test变量的地址作为了第一个参数//400523:   e8 54 00 00 00          callq  //40057c <_ZN4Test3funEv>return 0;//400528:   b8 00 00 00 00          mov    $0x0,%eax
}//40052d:   c9                      leaveq//40052e:   c3                      retq

通过反汇编C++编译后的ELF文件, 可以很容易看出,C++ 的class对象大小就是其成员变量组成对应接头的大小,class方法(成员函数)可以访问成员变量就是因为每个函数隐式的把对象的首地址传给了成员函数。知道了这点,就更加容易知道this指针的本质,也可以思考python的类self为什么满天飞。

这篇关于从汇编角度看C++类的方法访问类成员的原理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/865343

相关文章

Android 12解决push framework.jar无法开机的方法小结

《Android12解决pushframework.jar无法开机的方法小结》:本文主要介绍在Android12中解决pushframework.jar无法开机的方法,包括编译指令、框架层和s... 目录1. android 编译指令1.1 framework层的编译指令1.2 替换framework.ja

在.NET平台使用C#为PDF添加各种类型的表单域的方法

《在.NET平台使用C#为PDF添加各种类型的表单域的方法》在日常办公系统开发中,涉及PDF处理相关的开发时,生成可填写的PDF表单是一种常见需求,与静态PDF不同,带有**表单域的文档支持用户直接在... 目录引言使用 PdfTextBoxField 添加文本输入域使用 PdfComboBoxField

SQLyog中DELIMITER执行存储过程时出现前置缩进问题的解决方法

《SQLyog中DELIMITER执行存储过程时出现前置缩进问题的解决方法》在SQLyog中执行存储过程时出现的前置缩进问题,实际上反映了SQLyog对SQL语句解析的一个特殊行为,本文给大家介绍了详... 目录问题根源正确写法示例永久解决方案为什么命令行不受影响?最佳实践建议问题根源SQLyog的语句分

redis中使用lua脚本的原理与基本使用详解

《redis中使用lua脚本的原理与基本使用详解》在Redis中使用Lua脚本可以实现原子性操作、减少网络开销以及提高执行效率,下面小编就来和大家详细介绍一下在redis中使用lua脚本的原理... 目录Redis 执行 Lua 脚本的原理基本使用方法使用EVAL命令执行 Lua 脚本使用EVALSHA命令

C#如何调用C++库

《C#如何调用C++库》:本文主要介绍C#如何调用C++库方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录方法一:使用P/Invoke1. 导出C++函数2. 定义P/Invoke签名3. 调用C++函数方法二:使用C++/CLI作为桥接1. 创建C++/CL

Java 中的 @SneakyThrows 注解使用方法(简化异常处理的利与弊)

《Java中的@SneakyThrows注解使用方法(简化异常处理的利与弊)》为了简化异常处理,Lombok提供了一个强大的注解@SneakyThrows,本文将详细介绍@SneakyThro... 目录1. @SneakyThrows 简介 1.1 什么是 Lombok?2. @SneakyThrows

判断PyTorch是GPU版还是CPU版的方法小结

《判断PyTorch是GPU版还是CPU版的方法小结》PyTorch作为当前最流行的深度学习框架之一,支持在CPU和GPU(NVIDIACUDA)上运行,所以对于深度学习开发者来说,正确识别PyTor... 目录前言为什么需要区分GPU和CPU版本?性能差异硬件要求如何检查PyTorch版本?方法1:使用命

Qt实现网络数据解析的方法总结

《Qt实现网络数据解析的方法总结》在Qt中解析网络数据通常涉及接收原始字节流,并将其转换为有意义的应用层数据,这篇文章为大家介绍了详细步骤和示例,感兴趣的小伙伴可以了解下... 目录1. 网络数据接收2. 缓冲区管理(处理粘包/拆包)3. 常见数据格式解析3.1 jsON解析3.2 XML解析3.3 自定义

SpringMVC 通过ajax 前后端数据交互的实现方法

《SpringMVC通过ajax前后端数据交互的实现方法》:本文主要介绍SpringMVC通过ajax前后端数据交互的实现方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价... 在前端的开发过程中,经常在html页面通过AJAX进行前后端数据的交互,SpringMVC的controll

Java中的工具类命名方法

《Java中的工具类命名方法》:本文主要介绍Java中的工具类究竟如何命名,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录Java中的工具类究竟如何命名?先来几个例子几种命名方式的比较到底如何命名 ?总结Java中的工具类究竟如何命名?先来几个例子JD