理解虚基类和虚继承

文章探讨了C++中虚继承的概念,解释了虚继承如何影响类的布局,特别是vbptr和vbtable的作用。通过示例代码展示了虚基类如何导致内存布局的变化,以及在VS环境下虚继承时使用delete操作符可能出现的问题。此外,文章还提到了在Linux下的g++编译器对此情况的处理差异。
摘要由CSDN通过智能技术生成

virtual的位置

  • 修饰成员方法是虚函数
  • 修饰继承方式,就是虚继承。被虚继承的类,称为虚基类

查看如下代码

class A
{
public:
private:
	int ma;
};

class B : virtual public A
{
public:
private:
	int mb;
};

通过vs命令行的 /d1reportSingleClassLayoutB 查看B的类布局

在这里插入图片描述

发生虚继承时,先以没有虚继承时看,类布局最开始是从基类继承而来的成员,若为虚继承时,则把继承而来的成员放到末尾,顶部添加一个vbptr(虚基类指针)

vbptr指向vbtable,vbtable第一行存vbptr的偏移量

第二行存vbptr到虚基类数据之间的偏移量(即ma — vbptr)

有虚继承且有虚函数时类的大小

class A
{
public:
	virtual void func(){}
private:
	int ma;
};

class B : virtual public A
{
public:
private:
	int mb;
};

int main()
{
	cout << sizeof B << endl; // 16 , ma, mb, vfptr, vbptr
	return 0;
}

虚继承时delete会出现问题

有如下代码

#include <iostream>
#include <string>
using namespace std;

class A
{
public:
	virtual void func(){ cout << "call A::func" << endl; }
	void operator delete(void* ptr)
	{
		cout << "operator delete p:" << ptr << endl;
		free(ptr);
	}
private:
	int ma;
};

class B : virtual public A
{
public:
	void func() { cout << "call B::func" << endl; }
	void* operator new(size_t size)
	{
		void* p = malloc(size);
		cout << "operator new p:" << p << endl;
		return p;
	}
private:
	int mb;
};

int main()
{
	A* p = new B();
	cout << "main p:" << p << endl;
	p->func();
	delete p;
	
	return 0;
}

运行时会出现错误,打印如下

在这里插入图片描述

首先,new B() 得到的最终B的类布局如下

在这里插入图片描述

vftable第一行-8,表示从vfptr位置-8到类起始地址

在这里插入图片描述

new返回的地址必然是虚基类的起始地址,而实际分配的类空间从014F0FC8开始,而delete时却是从下面的014F0FD0释放内存。所以报错

但是在linux下的g++则不会出错

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值