多态 多继承的虚表深度剖析 (3)

💯 博客内容:多态

😀 作  者:陈大大陈

🚀 个人简介:一个正在努力学技术的准C++后端工程师,专注基础和实战分享 ,欢迎私信!

💖 欢迎大家:这里是CSDN,我总结知识和写笔记的地方,喜欢的话请三连,有问题请私信 😘 😘 😘

目录

普通菱形继承

虚表指针偏移

菱形虚继承的情况


普通菱形继承

cpp 复制代码
class Base1 {
public:
	virtual void func1() { cout << "Base1::func1" << endl; }
	virtual void func2() { cout << "Base1::func2" << endl; }
private:
	int b1;
};

class Base2 {
public:
	virtual void func1() { cout << "Base2::func1" << endl; }
	virtual void func2() { cout << "Base2::func2" << endl; }
private:
	int b2;
};

class Derive : public Base1, public Base2 {
public:
	virtual void func1() 
	{ 
		cout << "Derive::func1" << endl;
	}

	virtual void func3() { cout << "Derive::func3" << endl; }
private:
	int d1;
};

int main()
{
	Derive d;
	return 0;
}

上面这种多继承的情况,Derive有几个虚表呢?

答案是,因为继承了Base1和Base2两个类,所以有两个虚表。

但是这样的话,就会衍生出一个问题,它自己的虚函数也就是func3放在哪里呢?

我没看到,编译器仍旧是故技重施,欺骗我们的眼睛,我们检测监测不到func3。

我们打印一下第一张虚表,这很容易想到。

cpp 复制代码
class Base1 {
public:
	virtual void func1() { cout << "Base1::func1" << endl; }
	virtual void func2() { cout << "Base1::func2" << endl; }
private:
	int b1;
};

class Base2 {
public:
	virtual void func1() { cout << "Base2::func1" << endl; }
	virtual void func2() { cout << "Base2::func2" << endl; }
private:
	int b2;
};

class Derive : public Base1, public Base2 {
public:
	virtual void func1() 
	{ 
		cout << "Derive::func1" << endl;
	}

	virtual void func3() { cout << "Derive::func3" << endl; }
private:
	int d1;
};

int main()
{
	Derive d;
	//打印第一张虚表
	PrintVFT((VFUNC*)(*(int*)&d));
	return 0;
}

虚表指针偏移

那么,怎么打印第二张虚表呢?

cpp 复制代码
PrintVFT((VFUNC*)(*(int*)((char*)&d+sizeof(Base1))));

这么打印,需要注意的是,d是一个Derive类,加一的话会加上一个Derive的大小。

所以这里必须把它强制类型转换成char*。

其实也可以这么打印。

cpp 复制代码
PrintVFT((VFUNC*)(*(int*)((Base1*)&d+1)));

结果是一样的。

还可以这样写,最聪明的一种写法。

cpp 复制代码
	Base2* ptr = &d;
	PrintVFT((VFUNC*)(*(int*)ptr));

Base2指针会自己切割,便宜到Base2那里。

我们得到结论,func3放到了第一个虚表里面。

菱形虚继承的情况

cpp 复制代码
class A
{
public:
	virtual void func1() 
	{ 
		cout << "A::func1" << endl;
	}
public:
	int _a;
};


class B : public A
{
public:
	virtual void func1()
	{
		cout << "B::func1" << endl;
	}

	virtual void func3()
	{
		cout << "B::func3" << endl;
	}

public:
	int _b;
};


class C : public A
{
public:
	virtual void func1()
	{
		cout << "C::func1" << endl;
	}

	virtual void func5()
	{
		cout << "C::func5" << endl;
	}
public:
	int _c;
};

class D : public B, public C
{
public:
	virtual void func1()
	{
		cout << "D::func1" << endl;
	}

	virtual void func2()
	{
		cout << "D::func2" << endl;
	}
public:
	int _d = 1;
};

int main()
{
	D d;

	return 0;
}

先来看一个问题,D里有几张虚表?

答案是两张,这种情况就跟普通的多继承没两样。

改成虚拟菱形继承就不一样了。

此时有看起来有3个虚表,其实还是2个。菱形这块太复杂,我不分析了。

相关推荐
鹿鹿学长6 小时前
2025年全国大学生数学建模竞赛(C题) 建模解析|婴儿染色体数学建模|小鹿学长带队指引全代码文章与思路
c语言·开发语言·数学建模
好家伙VCC6 小时前
数学建模模型 全网最全 数学建模常见算法汇总 含代码分析讲解
大数据·嵌入式硬件·算法·数学建模
伴杯猫6 小时前
【ESP32-IDF】基础外设开发2:系统中断矩阵
c语言·单片机·嵌入式硬件·mcu·物联网·github
zhousenshan6 小时前
Python爬虫常用框架
开发语言·爬虫·python
利刃大大6 小时前
【高并发内存池】五、页缓存的设计
c++·缓存·项目·内存池
DKPT7 小时前
Java内存区域与内存溢出
java·开发语言·jvm·笔记·学习
C语言小火车7 小时前
【C++八股文】基础知识篇
c++·tcp/ip·const·智能指针·多线程同步·static关键字·c++内存模型
liulilittle7 小时前
IP校验和算法:从网络协议到SIMD深度优化
网络·c++·网络协议·tcp/ip·算法·ip·通信
眠りたいです7 小时前
基于脚手架微服务的视频点播系统-播放控制部分
c++·qt·ui·微服务·云原生·架构·播放器
耶啵奶膘8 小时前
uni-app头像叠加显示
开发语言·javascript·uni-app