C++ 多重继承下虚表结构

Posted 2021-11-10 不会写代码的丝丽

前言

昨天写一个项目时遇到一个很诡异的现象 如下代码所示：

class ParentA {
public :
	int a=0x123456;
	virtual void vFunParentA(){
		std::cout << "vFunParentA" << std::endl;
	}
};
class ParentB {
public:
	int b = 0x456;
	virtual void vFunParentB() {
		std::cout<<"vFunParentB"<<std::endl;
		int i = 0;
	}
};
class Child:public ParentA,public ParentB {
	int c = 0x789;
};
int main()
{

	//注意这里使用void*
	void* pChild = new Child;
	//强转
	ParentB* pParentB = (ParentB*)pChild;
	//强转
	ParentA* pParentA = (ParentA*)pChild;
	
	pParentB->vFunParentB();
	pParentA->vFunParentA();


	
	getchar();
	
}

现在执行后我们的预期输出为

vFunParentB
vFunParentA

但实际输出：

vFunParentA
vFunParentA

当时百思不得其“姐”，最后发现是自己对多重继承下的虚表内存结构不够了解。

博主另一外一篇关于虚表的：
c-15 c++虚表

在多重继承下Child内存结构应该是如下结构：

由于我们使用 void * 类型强转为ParentB，ParentA返回的指针地址依然是ParentA,而没有做内存偏移计算.如下图所示：

当我们不适用void*强转后编译器会帮我进行偏移计算会迫使ParentB偏移8字节，从而使pParentB 指向正确的内存虚表。

在单一继承下不会出现这类问题，我们最后看下本例中的内存结构：