类中成员函数的调用机制

C++中成员函数(无论是否为虚函数)的调用机制都涉及到this指针的使用,但虚函数的存在引入了虚函数表(vtable),这改变了函数调用的具体实现方式。下面详细解释没有虚函数和有虚函数时成员函数调用的差异:

没有虚函数时的成员函数调用

当一个类没有虚函数时,所有成员函数调用都是静态绑定的,即编译器在编译时就能确定调用哪个函数。这种情况下:

  • this指针 :每个成员函数都隐式地接收一个指向调用对象的this指针。这允许成员函数访问和操作调用它的对象的数据成员。
  • 函数地址:编译器在编译时根据函数的定义解析函数的地址,并直接将这个地址硬编码到调用指令中。调用成员函数时,程序直接跳转到这个地址执行函数代码。

有虚函数时的成员函数调用

当类中包含虚函数时,需要支持运行时多态,即根据对象的实际类型在运行时确定调用哪个函数。这种情况下的调用机制如下:

  • 虚函数表(vtable):每个包含虚函数的类都有一个虚函数表,这是一个包含函数指针的数组,指向类中所有虚函数的实现。
  • 虚函数表指针(vptr):每个对象都包含一个指向其类的虚函数表的指针(vptr)。这个指针是对象内存布局的一部分,通常位于对象数据的开始位置。
  • 调用过程
    1. 通过对象的this指针访问对象的内存。
    2. 使用this指针找到对象中的vptr。
    3. 通过vptr访问虚函数表,然后根据需要调用的虚函数在表中的位置找到对应的函数指针。
    4. 跟随这个函数指针跳转到相应的函数实现,执行函数代码。

这个机制允许在派生类中重写虚函数,并在运行时根据对象的实际类型调用相应的函数实现,支持了多态性。

总结

  • 没有虚函数时:函数调用是静态绑定的,调用地址在编译时就已确定,直接通过硬编码的地址调用。
  • 有虚函数时:引入虚函数表以支持运行时多态,函数调用通过动态查找虚函数表实现,根据对象的实际类型动态调用相应的函数。

所以静态绑定,实现直接根据函数名称确定函数地址进行调用,并隐式传入了this指针,故成员函数可以访问当前对象的数据,而动态绑定需要先通过当前对象this的指针,找的虚函数表指针,然后再定位到具体的函数地址,进行函数的调用,并且虚函数的调用时任然会隐式的传入this指针,实现对当前对象数据的访问。

这两种机制反映了C++设计中对效率和灵活性的不同需求的平衡。

类的内存布局

当基类中没有定义虚函数时,其长度=数据成员长度;派生类长度=自身数据成员长度+基类继承的数据成员长度;

当基类中定义虚函数后,其长度=数据成员长度+虚函数表的地址长度;派生类长度=自身数据成员长度+基类继承的数据成员长度+虚函数表的地址长度。

相关推荐
智者知已应修善业10 小时前
【洛谷P9975奶牛被病毒传染最少数量推导,导出多样例】2025-2-26
c语言·c++·经验分享·笔记·算法·推荐算法
Trouvaille ~10 小时前
【Linux】应用层协议设计实战(一):自定义协议与网络计算器
linux·运维·服务器·网络·c++·http·应用层协议
CSCN新手听安10 小时前
【linux】高级IO,I/O多路转接之poll,接口和原理讲解,poll版本的TCP服务器
linux·运维·服务器·c++·计算机网络·高级io·poll
CSCN新手听安10 小时前
【linux】网络基础(三)TCP服务端网络版本计算器的优化,Json的使用,服务器守护进程化daemon,重谈OSI七层模型
linux·服务器·网络·c++·tcp/ip·json
m0_7369191010 小时前
C++中的委托构造函数
开发语言·c++·算法
小小小小王王王10 小时前
洛谷-P1886 【模板】单调队列 / 滑动窗口
c++·算法
历程里程碑10 小时前
Linux 库
java·linux·运维·服务器·数据结构·c++·算法
Sheep Shaun11 小时前
如何让一个进程诞生、工作、终止并等待回收?——探索Linux进程控制与Shell的诞生
linux·服务器·数据结构·c++·算法·shell·进程控制
小龙报11 小时前
【51单片机】从 0 到 1 玩转 51 蜂鸣器:分清有源无源,轻松驱动它奏响新年旋律
c语言·数据结构·c++·stm32·单片机·嵌入式硬件·51单片机
石去皿11 小时前
【嵌入式就业6】计算机组成原理与操作系统核心机制:夯实底层基础
c++·面试·嵌入式