什么是虚函数表(vtable)?它是如何在 C++ 中实现的?

2024-02-20 17:36
文章标签 c++ 实现 函数 vtable

本文主要是介绍什么是虚函数表(vtable)?它是如何在 C++ 中实现的?,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

什么是虚函数表(vtable)?它是如何在 C++ 中实现的?
虚函数表(vtable)是C++中实现多态性的关键机制之一,它用于解决在继承层次结构中的虚函数调用问题。虚函数表是一个存储在内存中的表格,其中包含了类中所有虚函数的指针,每个类都有自己的虚函数表。当调用虚函数时,编译器通过虚函数表来确定应该调用哪个函数的实现。

虚函数表的实现:
虚函数指针(vptr):

每个对象中都包含一个指向虚函数表的指针,通常称为虚函数指针(vptr)。
这个指针位于对象的内存布局的开头或末尾,由编译器插入。
虚函数表:

虚函数表是一个数组,其中每个条目都是指向虚函数的指针。
每个类的虚函数表包含了该类中所有虚函数的地址,以及派生类中新增的虚函数的地址。
编译器生成虚函数表:

在编译阶段,对于每个包含虚函数的类,编译器会在代码中生成虚函数表,并将虚函数的地址填充到表中。
对于每个对象,编译器会在对象的内存布局中插入一个指向相应虚函数表的虚函数指针。
动态绑定:

在运行时,当调用虚函数时,编译器会通过对象的虚函数指针找到对应的虚函数表。
然后,通过虚函数表中的索引找到对应的虚函数的地址,并调用该函数。
示例:
考虑以下代码:

class Base {
public:virtual void func1() {// 实现 func1}virtual void func2() {// 实现 func2}
};int main() {Base obj;obj.func1();obj.func2();return 0;
}

在这个示例中,Base 类中包含两个虚函数 func1() 和 func2()。编译器会为 Base 类生成一个虚函数表,并将 func1() 和 func2() 的地址填充到表中。在 main() 函数中,创建了一个 Base 类对象 obj,编译器会在 obj 的内存布局中插入一个指向 Base 类虚函数表的虚函数指针。当调用 obj.func1() 和 obj.func2() 时,编译器通过 obj 的虚函数指针找到对应的虚函数表,然后根据虚函数的索引找到对应的虚函数的地址,并调用该函数。
虚函数表(vtable)是 C++ 中实现多态性的关键机制之一,它解决了在继承层次结构中的虚函数调用问题。下面更详细地解释虚函数表的工作原理以及在 C++ 中的实现方式:

虚函数表的工作原理:
虚函数声明:

当一个类声明了虚函数时,编译器会为该类生成一个虚函数表(vtable)。
虚函数表是一个数组,其中包含了该类中所有虚函数的指针。
虚函数指针:

每个对象中都包含一个指向虚函数表的指针,通常称为虚函数指针(vptr)。
这个指针位于对象的内存布局的开头或末尾,由编译器插入。
虚函数表的填充:

在编译阶段,对于每个包含虚函数的类,编译器会在代码中生成虚函数表,并将虚函数的地址填充到表中。
对于派生类,虚函数表会继承基类的虚函数表,并在其中增加新增虚函数的地址。
调用虚函数:

在运行时,当调用虚函数时,编译器会通过对象的虚函数指针找到对应的虚函数表。
然后,通过虚函数表中的索引找到对应的虚函数的地址,并调用该函数。
虚函数表的实现方式:
编译器生成:

虚函数表的生成由编译器在编译阶段完成,它在生成的代码中包含了对虚函数表的访问和使用。
静态数据成员:

虚函数表本身是一个静态数据成员,每个类都有自己的虚函数表。
虚函数表的地址在编译时确定,并被写入到每个对象的虚函数指针中。
只有虚函数的类才有虚函数表:

只有包含至少一个虚函数的类才会有虚函数表,非多态的类不会有虚函数表。
虚函数表的继承:

派生类会继承基类的虚函数表,并在其中添加自己新增的虚函数的地址。
示例:
考虑以下代码:

class Base {
public:virtual void func1() {// 实现 func1}virtual void func2() {// 实现 func2}
};int main() {Base obj;obj.func1();obj.func2();return 0;
}

在这个示例中,Base 类包含两个虚函数 func1() 和 func2()。编译器会为 Base 类生成一个虚函数表,并将 func1() 和 func2() 的地址填充到表中。在 main() 函数中,创建了一个 Base 类对象 obj,编译器会在 obj 的内存布局中插入一个指向 Base 类虚函数表的虚函数指针。当调用 obj.func1() 和 obj.func2() 时,编译器通过 obj 的虚函数指针找到对应的虚函数表,然后根据虚函数的索引找到对应的虚函数的地址,并调用该函数。

这篇关于什么是虚函数表(vtable)?它是如何在 C++ 中实现的?的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

hdu1043(八数码问题,广搜 + hash(实现状态压缩) )

利用康拓展开将一个排列映射成一个自然数,然后就变成了普通的广搜题。 #include<iostream>#include<algorithm>#include<string>#include<stack>#include<queue>#include<map>#include<stdio.h>#include<stdlib.h>#include<ctype.h>#inclu

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

hdu1171(母函数或多重背包)

题意:把物品分成两份,使得价值最接近 可以用背包,或者是母函数来解,母函数(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v) 其中指数为价值,每一项的数目为(该物品数+1)个 代码如下: #include<iostream>#include<algorithm>

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

【Prometheus】PromQL向量匹配实现不同标签的向量数据进行运算

✨✨ 欢迎大家来到景天科技苑✨✨ 🎈🎈 养成好习惯,先赞后看哦~🎈🎈 🏆 作者简介:景天科技苑 🏆《头衔》:大厂架构师,华为云开发者社区专家博主,阿里云开发者社区专家博主,CSDN全栈领域优质创作者,掘金优秀博主,51CTO博客专家等。 🏆《博客》:Python全栈,前后端开发,小程序开发,人工智能,js逆向,App逆向,网络系统安全,数据分析,Django,fastapi

让树莓派智能语音助手实现定时提醒功能

最初的时候是想直接在rasa 的chatbot上实现,因为rasa本身是带有remindschedule模块的。不过经过一番折腾后,忽然发现,chatbot上实现的定时,语音助手不一定会有响应。因为,我目前语音助手的代码设置了长时间无应答会结束对话,这样一来,chatbot定时提醒的触发就不会被语音助手获悉。那怎么让语音助手也具有定时提醒功能呢? 我最后选择的方法是用threading.Time

Android实现任意版本设置默认的锁屏壁纸和桌面壁纸(两张壁纸可不一致)

客户有些需求需要设置默认壁纸和锁屏壁纸  在默认情况下 这两个壁纸是相同的  如果需要默认的锁屏壁纸和桌面壁纸不一样 需要额外修改 Android13实现 替换默认桌面壁纸: 将图片文件替换frameworks/base/core/res/res/drawable-nodpi/default_wallpaper.*  (注意不能是bmp格式) 替换默认锁屏壁纸: 将图片资源放入vendo

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名