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

相关推荐
李迟11 分钟前
跨系统平台实践:在内网自建kylin服务版系统yum源
linux
跳跳糖炒酸奶12 分钟前
第四章、Isaacsim在GUI中构建机器人(2):组装一个简单的机器人
人工智能·python·算法·ubuntu·机器人
桃子酱紫君28 分钟前
华为配置篇-BGP实验
开发语言·华为·php
绵绵细雨中的乡音28 分钟前
动态规划-第六篇
算法·动态规划
odoo-卜永37 分钟前
ubuntu22.04连接爱普生打印机型号L385
linux·经验分享·ubuntu
程序员黄同学37 分钟前
动态规划,如何应用动态规划解决实际问题?
算法·动态规划
QTX1873040 分钟前
JavaScript 中的原型链与继承
开发语言·javascript·原型模式
shaoing43 分钟前
MySQL 错误 报错:Table ‘performance_schema.session_variables’ Doesn’t Exist
java·开发语言·数据库
march_birds1 小时前
FreeRTOS 与 RT-Thread 事件组对比分析
c语言·单片机·算法·系统架构
小麦嵌入式1 小时前
Linux驱动开发实战(十一):GPIO子系统深度解析与RGB LED驱动实践
linux·c语言·驱动开发·stm32·嵌入式硬件·物联网·ubuntu