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

相关推荐
꧁坚持很酷꧂3 分钟前
配置Ubuntu18.04中的Qt Creator为中文(图文详解)
开发语言·qt·ubuntu
不当菜虚困21 分钟前
JAVA设计模式——(四)门面模式
java·开发语言·设计模式
ruyingcai66666621 分钟前
用python进行OCR识别
开发语言·python·ocr
BB_CC_DD24 分钟前
四. 以Annoy算法建树的方式聚类清洗图像数据集,一次建树,无限次聚类搜索,提升聚类搜索效率。(附完整代码)
深度学习·算法·聚类
YHY_13s28 分钟前
访问者模式
c++·访问者模式
归寻太乙28 分钟前
Linux环境变量
linux·运维·服务器
m0Java门徒29 分钟前
面向对象编程核心:封装、继承、多态与 static 关键字深度解析
java·运维·开发语言·intellij-idea·idea
liuweidong080231 分钟前
【Pandas】pandas DataFrame radd
开发语言·python·pandas
Sapphire~35 分钟前
Linux-06 ubuntu 系统截图软件使用简单记录
linux·运维·ubuntu
我也不曾来过11 小时前
list底层原理
数据结构·c++·list