【学习记录】关于c++类和多态的底层原理探索

于 2024-09-30 15:49:54 发布
阅读量143 收藏 3
点赞数 2
文章标签： 学习 c++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/liarsup/article/details/142657100
版权

示例代码如下：

class Base {  
public:  
    int B_int;
    void add() {  
       B_int++;
    }  
    virtual  void hello(){
        B_int+=2;
    }
}; 
class Derived : public Base {  
public:  
    int D_int;
    void sub() {  
       D_int--;
    } 
    void hello() override {
        D_int+=2;
    } 
};
int main() {
    Derived d;
    Base c;
    d.D_int=0;
    c.B_int=0;
    d.add();
    c.add();
    d.sub();
}

生成汇编代码如下：

	.arch armv8-a
	.file	"main.cpp"
	.text
	.section	.text._ZN4Base3addEv,"axG",@progbits,_ZN4Base3addEv,comdat
	.align	2
	.weak	_ZN4Base3addEv
	.type	_ZN4Base3addEv, %function
_ZN4Base3addEv:
.LFB0:
	.cfi_startproc
	sub	sp, sp, #16
	.cfi_def_cfa_offset 16
	str	x0, [sp, 8]
	ldr	x0, [sp, 8]
	ldr	w0, [x0, 8]
	add	w1, w0, 1
	ldr	x0, [sp, 8]
	str	w1, [x0, 8]
	nop
	add	sp, sp, 16
	.cfi_def_cfa_offset 0
	ret
	.cfi_endproc
.LFE0:
	.size	_ZN4Base3addEv, .-_ZN4Base3addEv
	.section	.text._ZN4Base5helloEv,"axG",@progbits,_ZN4Base5helloEv,comdat
	.align	2
	.weak	_ZN4Base5helloEv
	.type	_ZN4Base5helloEv, %function
_ZN4Base5helloEv:
.LFB1:
	.cfi_startproc
	sub	sp, sp, #16
	.cfi_def_cfa_offset 16
	str	x0, [sp, 8]
	ldr	x0, [sp, 8]
	ldr	w0, [x0, 8]
	add	w1, w0, 2
	ldr	x0, [sp, 8]
	str	w1, [x0, 8]
	nop
	add	sp, sp, 16
	.cfi_def_cfa_offset 0
	ret
	.cfi_endproc
.LFE1:
	.size	_ZN4Base5helloEv, .-_ZN4Base5helloEv
	.section	.text._ZN7Derived3subEv,"axG",@progbits,_ZN7Derived3subEv,comdat
	.align	2
	.weak	_ZN7Derived3subEv
	.type	_ZN7Derived3subEv, %function
_ZN7Derived3subEv:
.LFB2:
	.cfi_startproc
	sub	sp, sp, #16
	.cfi_def_cfa_offset 16
	str	x0, [sp, 8]
	ldr	x0, [sp, 8]
	ldr	w0, [x0, 12]
	sub	w1, w0, #1
	ldr	x0, [sp, 8]
	str	w1, [x0, 12]
	nop
	add	sp, sp, 16
	.cfi_def_cfa_offset 0
	ret
	.cfi_endproc
.LFE2:
	.size	_ZN7Derived3subEv, .-_ZN7Derived3subEv
	.section	.text._ZN7Derived5helloEv,"axG",@progbits,_ZN7Derived5helloEv,comdat
	.align	2
	.weak	_ZN7Derived5helloEv
	.type	_ZN7Derived5helloEv, %function
_ZN7Derived5helloEv:
.LFB3:
	.cfi_startproc
	sub	sp, sp, #16
	.cfi_def_cfa_offset 16
	str	x0, [sp, 8]
	ldr	x0, [sp, 8]
	ldr	w0, [x0, 12]
	add	w1, w0, 2
	ldr	x0, [sp, 8]
	str	w1, [x0, 12]
	nop
	add	sp, sp, 16
	.cfi_def_cfa_offset 0
	ret
	.cfi_endproc
.LFE3:
	.size	_ZN7Derived5helloEv, .-_ZN7Derived5helloEv
	.section	.text._ZN4BaseC2Ev,"axG",@progbits,_ZN4BaseC5Ev,comdat
	.align	2
	.weak	_ZN4BaseC2Ev
	.type	_ZN4BaseC2Ev, %function
_ZN4BaseC2Ev:
.LFB7:
	.cfi_startproc
	sub	sp, sp, #16
	.cfi_def_cfa_offset 16
	str	x0, [sp, 8]
	adrp	x0, _ZTV4Base+16
	add	x1, x0, :lo12:_ZTV4Base+16
	ldr	x0, [sp, 8]
	str	x1, [x0]
	nop
	add	sp, sp, 16
	.cfi_def_cfa_offset 0
	ret
	.cfi_endproc
.LFE7:
	.size	_ZN4BaseC2Ev, .-_ZN4BaseC2Ev
	.weak	_ZN4BaseC1Ev
	.set	_ZN4BaseC1Ev,_ZN4BaseC2Ev
	.section	.text._ZN7DerivedC2Ev,"axG",@progbits,_ZN7DerivedC5Ev,comdat
	.align	2
	.weak	_ZN7DerivedC2Ev
	.type	_ZN7DerivedC2Ev, %function
_ZN7DerivedC2Ev:
.LFB9:
	.cfi_startproc
	stp	x29, x30, [sp, -32]!
	.cfi_def_cfa_offset 32
	.cfi_offset 29, -32
	.cfi_offset 30, -24
	add	x29, sp, 0
	.cfi_def_cfa_register 29
	str	x0, [x29, 24]
	ldr	x0, [x29, 24]
	bl	_ZN4BaseC2Ev
	adrp	x0, _ZTV7Derived+16
	add	x1, x0, :lo12:_ZTV7Derived+16
	ldr	x0, [x29, 24]
	str	x1, [x0]
	nop
	ldp	x29, x30, [sp], 32
	.cfi_restore 30
	.cfi_restore 29
	.cfi_def_cfa 31, 0
	ret
	.cfi_endproc
.LFE9:
	.size	_ZN7DerivedC2Ev, .-_ZN7DerivedC2Ev
	.weak	_ZN7DerivedC1Ev
	.set	_ZN7DerivedC1Ev,_ZN7DerivedC2Ev
	.text
	.align	2
	.global	main
	.type	main, %function
main:
.LFB4:
	.cfi_startproc
	stp	x29, x30, [sp, -64]!
	.cfi_def_cfa_offset 64
	.cfi_offset 29, -64
	.cfi_offset 30, -56
	add	x29, sp, 0
	.cfi_def_cfa_register 29
	adrp	x0, :got:__stack_chk_guard
	ldr	x0, [x0, #:got_lo12:__stack_chk_guard]
	ldr	x1, [x0]
	str	x1, [x29, 56]
	mov	x1,0
	add	x0, x29, 24
	bl	_ZN7DerivedC1Ev
	add	x0, x29, 40
	bl	_ZN4BaseC1Ev
	str	wzr, [x29, 36]
	str	wzr, [x29, 48]
	add	x0, x29, 24
	bl	_ZN4Base3addEv
	add	x0, x29, 40
	bl	_ZN4Base3addEv
	add	x0, x29, 24
	bl	_ZN7Derived3subEv
	mov	w0, 0
	adrp	x1, :got:__stack_chk_guard
	ldr	x1, [x1, #:got_lo12:__stack_chk_guard]
	ldr	x2, [x29, 56]
	ldr	x1, [x1]
	eor	x1, x2, x1
	cmp	x1, 0
	beq	.L9
	bl	__stack_chk_fail
.L9:
	ldp	x29, x30, [sp], 64
	.cfi_restore 30
	.cfi_restore 29
	.cfi_def_cfa 31, 0
	ret
	.cfi_endproc
.LFE4:
	.size	main, .-main
	.weak	_ZTV7Derived
	.section	.data.rel.ro.local._ZTV7Derived,"awG",@progbits,_ZTV7Derived,comdat
	.align	3
	.type	_ZTV7Derived, %object
	.size	_ZTV7Derived, 24
_ZTV7Derived:
	.xword	0
	.xword	_ZTI7Derived
	.xword	_ZN7Derived5helloEv
	.weak	_ZTV4Base
	.section	.data.rel.ro.local._ZTV4Base,"awG",@progbits,_ZTV4Base,comdat
	.align	3
	.type	_ZTV4Base, %object
	.size	_ZTV4Base, 24
_ZTV4Base:
	.xword	0
	.xword	_ZTI4Base
	.xword	_ZN4Base5helloEv
	.weak	_ZTI7Derived
	.section	.data.rel.ro._ZTI7Derived,"awG",@progbits,_ZTI7Derived,comdat
	.align	3
	.type	_ZTI7Derived, %object
	.size	_ZTI7Derived, 24
_ZTI7Derived:
	.xword	_ZTVN10__cxxabiv120__si_class_type_infoE+16
	.xword	_ZTS7Derived
	.xword	_ZTI4Base
	.weak	_ZTS7Derived
	.section	.rodata._ZTS7Derived,"aG",@progbits,_ZTS7Derived,comdat
	.align	3
	.type	_ZTS7Derived, %object
	.size	_ZTS7Derived, 9
_ZTS7Derived:
	.string	"7Derived"
	.weak	_ZTI4Base
	.section	.data.rel.ro._ZTI4Base,"awG",@progbits,_ZTI4Base,comdat
	.align	3
	.type	_ZTI4Base, %object
	.size	_ZTI4Base, 16
_ZTI4Base:
	.xword	_ZTVN10__cxxabiv117__class_type_infoE+16
	.xword	_ZTS4Base
	.weak	_ZTS4Base
	.section	.rodata._ZTS4Base,"aG",@progbits,_ZTS4Base,comdat
	.align	3
	.type	_ZTS4Base, %object
	.size	_ZTS4Base, 6
_ZTS4Base:
	.string	"4Base"
	.ident	"GCC: (Ubuntu/Linaro 7.5.0-3ubuntu1~18.04) 7.5.0"
	.section	.note.GNU-stack,"",@progbits

g++ -S -o hello.s main.cpp //汇编

首先对c++代码进行说明，基类Base有方法add 和 hello 派生类Derived有继承自Base 有方法add sub和重写过的hello
通过汇编查看

_ZN4Base3addEv:  ;此段为Base类的add方法，而Derived并没有该方法
.LFB0:
	.cfi_startproc
	sub	sp, sp, #16
	.cfi_def_cfa_offset 16
	str	x0, [sp, 8]
	ldr	x0, [sp, 8]
	ldr	w0, [x0, 8]
	add	w1, w0, 1
	ldr	x0, [sp, 8]
	str	w1, [x0, 8]
	nop
	add	sp, sp, 16
	.cfi_def_cfa_offset 0
	ret

在main中查看：发现是调用了两次Base的add方法通过对寄存器x0设置不同的栈内地址实现的不同参数传递而已

...
	str	wzr, [x29, 36]
	str	wzr, [x29, 48]
	add	x0, x29, 24
	bl	_ZN4Base3addEv
	add	x0, x29, 40
	bl	_ZN4Base3addEv
	add	x0, x29, 24
	bl	_ZN7Derived3subEv
	mov	w0, 0
...

这里提一嘴：当前架构和编译器下：参数传递较少的时候使用的是寄存器传值，通常来说当参数大于四个的时候就会使用堆栈传值，并且在类方法调用时，所有的非静态成员函数都隐式的接收了一个参数为类对象本身，可以理解为this，在类方法内部如果想要访问内对象中的值则通过地址偏移访问，形式上相当于c中的

void add(void * this){
    *((int *)(this+(偏移地址))).B_int++;
}

只不过这些内容c++编译器帮我们做了而已，如此使用c来实现c++的面向对象多态等功能是完全可行的，只不过我们需要手动补齐以上编译器帮我们做的这些内容。以下举个例子来抛砖引玉

typedef struct{
    int B_int;
    void (*Base)(void *self);
    void (*add)(void *self);
}Base;

void add(void *self){
    Base * this=(Base *)self;
    this->B_int++;
}
int main(){
    Base base1; //对象实例化
    base1.Base(&base1); //这里模仿的是构造函数的调用，c++中不需要我们这样写而是在实例化对象的时候自动调用，C语言就需要手动补上
    //此外c++编译器会自动在我们调取函数时将base1.add等直接跳转到对应的地址如之前的汇编_ZN4Base3addEv，在这里我们手写面向对象
    //则需要我们自己做这部分内容,所以我们要在构造函数中补上函数指针的赋值 对于以上就是this->add=add;其它所有方法都是如此
    base1.add(&base1);//这里就是实际的调用对象的方法，编译器帮我们传递的默认参数需要我们补上也就是对象本身
}

然后时虚函数，虚函数在子类中可以被子类重写，但是观察生成的汇编代码

_ZN4Base5helloEv:
.LFB1:
	.cfi_startproc
	sub	sp, sp, #16
	.cfi_def_cfa_offset 16
	str	x0, [sp, 8]
	ldr	x0, [sp, 8]
	ldr	w0, [x0, 8]
	add	w1, w0, 2
	ldr	x0, [sp, 8]
	str	w1, [x0, 8]
	nop
	add	sp, sp, 16
	.cfi_def_cfa_offset 0
	ret

_ZN7Derived5helloEv:
.LFB3:
	.cfi_startproc
	sub	sp, sp, #16
	.cfi_def_cfa_offset 16
	str	x0, [sp, 8]
	ldr	x0, [sp, 8]
	ldr	w0, [x0, 12]
	add	w1, w0, 2
	ldr	x0, [sp, 8]
	str	w1, [x0, 12]
	nop
	add	sp, sp, 16
	.cfi_def_cfa_offset 0
	ret

可以发现尽管功能一幕一样，但是编译器还是帮我们生成了一份一样的代码（上图中的差异是内存偏移不一样，就是d->D_int和c->B_int的偏移不一样）。

由此看来，虽然上层可以搞得花里胡哨，但是对于底层来说众生平等，任你什么对象继承多态的，对于汇编层面就是库库掉函数，库库写寄存器，所以上层对于程序员的轻松，只是有人替我们负重前行了（编译器）。

liarsup
关注
C++：多态的底层实现原理 -- 虚函数表
weixin_43908419的博客
04-14 1486
本文结合内存监视窗口和虚表打印函数，分析了多态实现的底层原理，并给出了单继承和多继承体系中的内存模型。
如何学懂C++语言：C++从入门到精通的全面指南（完整C++学习笔记）
martian665的专栏
09-18 1623
如何学懂C++语言：C++从入门到精通的全面指南（完整C++学习笔记）
C++对象模型之继承与多态的探索
我喜欢雨天的清新的博客
06-29 527
多态在C++中继承和多态为它的俩大特性：那么对于我们常说的动态多态，它是如何形成的？ 通常我们都会说应用赋值兼容规则，让一个Base类指针或引用指向一个派生类对象，那么当我们在基类中定义出一个虚函数，在派生类中我们对它进行重写后。当我们用指向派生类对象的基类指针调用这个函数时，就会发生多态，当指针指向对象不同时，它就会调用不同类中的该函数。 那么何为赋值兼容规则呢，为什么Base类指针就可以指向
浅析 Python 的一些底层原理与 CPython
叶庭云 成为自己的光
03-15 1746
浅析 Python 的一些底层原理与 CPython
7 多态 -- 学习笔记
技术小白er的救赎之路
07-21 230
c++多态相关的知识，包含重载，覆盖，隐藏，以及在复杂情况(是否有虚函数，是否虚拟继承)下类的存储布局的探索。
《深度探索C++对象模型（Inside The C++ Object Model ）》学习笔记
墨鱼菜鸡
07-11 587
来源：http://dsqiu.iteye.com/blog/1669614 之前一直对C++内部的原理的完全空白，然后找到《Inside The C++ Object Model》这本书看了下， 感觉收获很大，因为书写得比较早，有些知识应该要更新，但是还是值得好好研读，由于该书的内容给人比较散的感觉，所以一直想找个时间整理一下，遂成此文，虽然都是抄...
C++学习记录
clc的博客
06-19 373
C++知识点
C++学习路线：从基础到精通
byte轻骑兵的博客
09-17 3321
从基础语法到面向对象，掌握STL与内存管理，进阶模板与多线程，实战项目提升能力，持续学习新标准与优秀代码，成为C++高手。
关于c++从入门到精通的笔记（转载）
weixin_74197037的博客
02-21 384
而企业里开发很少会基于Windows系统，所以Linux平台上的编译器更为重要，最典型的当属 GCC，甚至有些公司有自己定制过的交叉编译工具，但没关系，只要 GCC熟悉，其他问题都不大。但没想到，两年内，这个项目受到越来越多人的追捧，并在本月初登上了热榜，于是他对整个项目的结构做了梳理规划，细分出了「基础」、「进阶」、「实战」板块，并将所有代码开源供大家学习，此外还专门为这个项目做了网站。C++和C语言确实是不同的语言，但是C++确实是对C语言的延伸，可以理解为在C语言里加入了面向对象的特性。
2022年C语言/C++学习笔记~ C++资源
07-27
标题和描述中提到的是关于2022年的C语言和C++学习资料，这表明资源可能包含最新的教学方法、实践案例和编程技巧。C++作为C语言的扩展，不仅继承了C语言的大部分特性，还引入了类、对象、继承、多态等OOP概念，使得...
C++和Linux学习笔记.zip
12-31
通过深入学习C++和Linux，开发者不仅可以掌握编程技术，还能理解操作系统底层原理，为解决复杂问题和开发高质量软件打下坚实基础。无论你是初学者还是有经验的程序员，这份资料都将帮助你提升技能，开拓视野。
Spring Boot 学习和使用
cesske的博客
09-24 1199
Spring Boot是一款开源的Java Web应用框架，旨在简化Spring应用的初始搭建以及开发过程。Spring Boot通过整合Spring技术栈中的诸多关键组件，为开发者提供了一种快速、简便的Spring应用开发方式。它遵循“约定优于配置”的原则，通过自动配置、起步依赖和内置的Servlet容器，极大地简化了传统Spring应用的配置和部署过程。Spring Boot通过其自动化配置、起步依赖、内嵌服务器等特性，极大地简化了Spring应用的开发和部署过程。
大模型输入参数学习
AI智能，无处不在
09-25 551
top_p和top_k：用于控制生成文本的多样性和连贯性。较小的值会使生成的文本更连贯但缺乏多样性，较大的值会使生成的文本更随机和多样。：用于控制生成文本的随机性。较高的值增加随机性，较低的值增加确定性。：用于控制生成文本的长度。
Nexus学习
howwickhappy的博客
09-24 1003
Nexus 是一个开源的仓库管理器，用于管理和分发软件构建的组件。
Linux入门学习：进程概念
Lvision2的博客
09-24 1092
在课本的概念中，进程程序的一个执行实例，正在执行的程序。其内核观点：担当分配系统资源（CPU时间，内存）的实体。但这些概念太笼统，并不能让我们更加清晰的知道进程是什么，实际上，进程是内核数据结构(pcb) + 程序的代码与数据。pcb(process control block)进程控制块，进程信息被放在一个叫pcb的数据结构中，可以理解为进程属性的集合。在Linux入门学习：深刻理解计算机硬件与OS体系中，我们已经了解到。
H.264学习笔记
zfenggo的博客
09-26 778
H.264凭借其出色的压缩效率、灵活的编码方式以及高质量的视频表现，成为了现代视频技术的核心标准之一。它不仅减少了存储需求，还提高了流媒体和实时视频传输的可行性。对于从高清到超高清视频，H.264的编码能力仍然广泛适用。H.264的帧结构设计（I帧、P帧和B帧）极大地提高了视频编码的压缩效率。I帧保存完整的图像信息，P帧通过参考之前的帧减少冗余数据，而B帧则通过双向参考提供进一步的压缩优势。这种帧间的协同工作大幅降低了带宽需求和存储成本，同时保持了视频的高质量。NALU头。
从0学习React（3）
最新发布
qq_54432917的博客
09-29 416
在第一篇文章中，我们对index.tsx文件的每一行代码都做了简单的分析。通过第一篇文章的总结，我也大致知道了index.tsx里的很多语法。而第二篇文章，我对index.tsx文件的框架做了一个大致的分析，通过第二篇文章，我对index.tsx有了进一步的认识。按理来讲，第三篇文章我还是解析index.tsx文件，但是我发现，对于前两篇文章，其实我对语法的细节有很多不明白的点。因此这篇文章，我就把React的一些最基础的知识给梳理一下，帮助我更好的理解index.tsx的代码。
ｃ＋＋多态的底层原理
10-19
C++多态的底层原理是通过虚函数表实现的。每个含有虚函数的类都有一个虚函数表，其中存储了该类的虚函数地址。当一个类被继承时，子类会继承父类的虚函数表，并在其中添加自己的虚函数地址。当通过基类指针或引用调用虚函数时，实际上是通过虚函数表中存储的地址来调用相应的虚函数。这样就实现了多态性，即通过基类指针或引用调用不同子类的同名虚函数时，会根据实际指向的对象类型来调用相应的虚函数。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值