C++虚函数表深度剖析

多态是由虚函数实现的,而虚函数主要是通过**虚函数表(V-Table)**来实现的。

目录

引入虚函数表

虚函数表图解

派生类覆盖基类函数

派生类不覆盖基类函数

多继承下的虚函数


引入虚函数表

看下面的代码

cpp 复制代码
#include <iostream>

using namespace std;

class Base {
public:
	virtual void f() { cout << "f()" << endl; }
	virtual void g() { cout << "g()" << endl; }
	virtual void h() { cout << "h()" << endl; }
    int a;
};

int main()
{
	Base b;
	(((void(*)())*((size_t*)(*((size_t*)&b)) + 0)))();
	(((void(*)())*((size_t*)(*((size_t*)&b)) + 1)))();
	(((void(*)())*((size_t*)(*((size_t*)&b)) + 2)))();
	return 0;
}

虚函数表图解

上面的代码,咱们用一张图来表示就是下面这样

只要一个类中有虚函数,那这个类中就一定会有一张虚函数表,虚函数表中的每一项都是虚函数的地址。

这个类的每一个对象都会包含一个虚指针(虚指针存在于对象实例地址的最前面,保证虚函数表有最高的性能),这个虚指针指向虚函数表。

虚指针是对象中的一个隐藏成员(在大多数实现中),它指向该类(或其最近的一个包含虚函数的基类)的虚函数表。

需要注意的是,在C++中,对象本身通常不包含完整的虚函数表。对象包含的是类的成员变量和可能的虚指针(也称为vptr,即指向虚函数表的指针)。

虚函数表是与类相关联的,而不是与特定的对象相关联。每个包含虚函数的类(或其派生类,如果它们重写了虚函数或添加了新的虚函数)都会有一个虚函数表。

派生类覆盖基类函数

cpp 复制代码
#include <iostream>

using namespace std;

class Base {
public:
	virtual void f() { cout << "f()" << endl; }
	virtual void g() { cout << "g()" << endl; }
	virtual void h() { cout << "h()" << endl; }
};
class child : public Base
{
    virtual void f() {std::cout<<"x()"<<std::endl;}
};
int main()
{
	child t;
	(((void(*)())*((size_t*)(*((size_t*)&b)) + 0)))();
	(((void(*)())*((size_t*)(*((size_t*)&b)) + 1)))();
	(((void(*)())*((size_t*)(*((size_t*)&b)) + 2)))();
	return 0;
}

派生类覆盖基类函数之后,虚表中派生类覆盖的虚函数的地址被放在了基类相应的函数原来的位置 ,没有覆盖的则不变。

派生类不覆盖基类函数

cpp 复制代码
#include <iostream>

using namespace std;

class Base {
public:
	virtual void f() { cout << "f()" << endl; }
	virtual void g() { cout << "g()" << endl; }
	virtual void h() { cout << "h()" << endl; }
};
class child : public Base
{
    virtual void j() {std::cout<<"j()"<<std::endl;}
    virtual void k() {std::cout<<"k()"<<std::endl;}
    virtual void l() {std::cout<<"l()"<<std::endl;}
};
int main()
{
	child t;
	(((void(*)())*((size_t*)(*((size_t*)&t)) + 0)))();
	(((void(*)())*((size_t*)(*((size_t*)&t)) + 1)))();
	(((void(*)())*((size_t*)(*((size_t*)&t)) + 2)))();
    (((void(*)())*((size_t*)(*((size_t*)&t)) + 3)))();
	(((void(*)())*((size_t*)(*((size_t*)&t)) + 4)))();
	(((void(*)())*((size_t*)(*((size_t*)&t)) + 5)))();
	return 0;
}

Child class继承了 Base class 中的三个虚函数,准确的说,是该函数实体的地址被拷贝到 Derive类的虚函数表,派生类新增的虚函数置于虚函数表的后面,并按声明顺序存放

多继承下的虚函数表

cpp 复制代码
#include <iostream>

using namespace std;

class Base {
public:
	virtual void f() { cout << "f()" << endl; }
	virtual void g() { cout << "g()" << endl; }
	virtual void h() { cout << "h()" << endl; }
};
class Base2 {
public:
	virtual void a() { cout << "a()" << endl; }
	virtual void b() { cout << "b()" << endl; }
	virtual void c() { cout << "c()" << endl; }
};
class child : public Base,public Base2
{
    virtual void j() {std::cout<<"j()"<<std::endl;}
    virtual void k() {std::cout<<"k()"<<std::endl;}
    virtual void l() {std::cout<<"l()"<<std::endl;}
};
int main()
{
	child base1_vptr;
	(((void(*)())*((size_t*)(*((size_t*)&base1_vptr)) + 0)))();
	(((void(*)())*((size_t*)(*((size_t*)&base1_vptr)) + 1)))();
	(((void(*)())*((size_t*)(*((size_t*)&base1_vptr)) + 2)))();
    (((void(*)())*((size_t*)(*((size_t*)&base1_vptr)) + 3)))();
	(((void(*)())*((size_t*)(*((size_t*)&base1_vptr)) + 4)))();
	(((void(*)())*((size_t*)(*((size_t*)&base1_vptr)) + 5)))();
    size_t *base2_vptr=(size_t*)*(((size_t*)&base1_vptr)+1);
    (((void(*)())*((size_t*)(*((size_t*)&base2_vptr)) + 0)))();
	(((void(*)())*((size_t*)(*((size_t*)&base2_vptr)) + 1)))();
	(((void(*)())*((size_t*)(*((size_t*)&base2_vptr)) + 2)))();
	return 0;
}

这个派生类多重继承了两个基类base1,base2,因此它有两个虚函数表。它的对象会有多个虚指针(据说和编译器相关),指向不同的虚函数表。

相关推荐
SweetCode3 分钟前
裴蜀定理:整数解的奥秘
数据结构·python·线性代数·算法·机器学习
weixin_307779137 分钟前
使用C#实现从Hive的CREATE TABLE语句中提取分区字段名和数据类型
开发语言·数据仓库·hive·c#
Xiaok101815 分钟前
解决 Hugging Face SentenceTransformer 下载失败的完整指南:ProxyError、SSLError与手动下载方案
开发语言·神经网络·php
ゞ 正在缓冲99%…17 分钟前
leetcode76.最小覆盖子串
java·算法·leetcode·字符串·双指针·滑动窗口
绿草在线17 分钟前
Mock.js虚拟接口
开发语言·javascript·ecmascript
xuanjiong17 分钟前
纯个人整理,蓝桥杯使用的算法模板day2(0-1背包问题),手打个人理解注释,超全面,且均已验证成功(附带详细手写“模拟流程图”,全网首个
算法·蓝桥杯·动态规划
go_bai28 分钟前
Linux环境基础开发工具——(2)vim
linux·开发语言·经验分享·笔记·vim·学习方法
小郝 小郝29 分钟前
【C语言】strstr查找字符串函数
c语言·开发语言
yinhezhanshen34 分钟前
理解rust里面的copy和clone
开发语言·后端·rust
Zhichao_9735 分钟前
【UE5 C++课程系列笔记】33——商业化Json读写
c++·ue5