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,因此它有两个虚函数表。它的对象会有多个虚指针(据说和编译器相关),指向不同的虚函数表。

相关推荐
Ljugg1 分钟前
把doi直接插入word中,然后直接生成参考文献
开发语言·c#·word
长流小哥2 分钟前
可视化开发:用Qt实现Excel级动态柱状图
开发语言·c++·qt·ui
阳区欠5 分钟前
【Linux】进程通信
linux·运维·服务器·共享内存·进程通信·system v·管道文件
Python测试之道10 分钟前
Deepseek API+Python 测试用例一键生成与导出 V1.0.6(加入分块策略,返回更完整可靠)
开发语言·python·测试用例
明朝百晓生12 分钟前
【强化学习】【1】【PyTorch】【强化学习简介优化框架】
算法
SRC_BLUE_1713 分钟前
Python GUI 编程 | QObject 控件基类详解 — 定时器
开发语言·数据库·python
loser~曹17 分钟前
基于快速排序解决 leetcode hot215 查找数组中第k大的数字
数据结构·算法·leetcode
啊阿狸不会拉杆21 分钟前
第二十一章:Python-Plotly库实现数据动态可视化
开发语言·python·plotly
Dream it possible!23 分钟前
LeetCode 热题 100_打家劫舍(83_198_中等_C++)(动态规划)
c++·算法·leetcode·动态规划
zhouziyi070128 分钟前
【蓝桥杯14天冲刺课题单】Day 8
c++·算法·蓝桥杯