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

迷南。 2022-09-10 06:08 138阅读 0赞

# 前言 #

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

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++虚表][c-15 c]

在多重继承下`Child`内存结构应该是如下结构：  
![在这里插入图片描述][watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_8_color_FFFFFF_t_70_g_se_x_16]  
由于我们使用 `void *` 类型强转为`ParentB`，`ParentA`返回的指针地址依然是`ParentA`,而没有做内存偏移计算.如下图所示：  
![在这里插入图片描述][watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16]

当我们不适用`void*`强转后编译器会帮我进行偏移计算会迫使`ParentB`偏移8字节，从而使`pParentB` 指向正确的内存虚表。  
![在这里插入图片描述][watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16 1]  
在单一继承下不会出现这类问题，我们最后看下本例中的内存结构：  
![在这里插入图片描述][watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16 2]  
![在这里插入图片描述][watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16 3]  
![在这里插入图片描述][watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16 4]  
![在这里插入图片描述][watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16 5]

[c-15 c]: https://fanmingyi.blog.csdn.net/article/details/108288254
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_8_color_FFFFFF_t_70_g_se_x_16]: /images/20220829/ac9cf13ecd2c4ff5a8c04239cc31992b.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16]: /images/20220829/95ef8382fbdd46d2a3adf01c3af27b2c.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16 1]: /images/20220829/562cbfddf56748b7acff2e19ebde2b5f.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16 2]: /images/20220829/cb6edafd755247ba91f6466a57f4307f.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16 3]: /images/20220829/8c350280cec84b0c8add7bd0cb69df15.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16 4]: /images/20220829/ee70301dc881433a8c1d256ab8d87b29.png
[watermark_type_ZHJvaWRzYW5zZmFsbGJhY2s_shadow_50_text_Q1NETiBA5LiN5Lya5YaZ5Luj56CB55qE5Lid5Li9_size_20_color_FFFFFF_t_70_g_se_x_16 5]: /images/20220829/4cd35be6e0254292b5256f750a6cdaef.png