虚基表与虚继承的内存关系

虚基表与虚继承的内存关系

一、虚继承的核心机制

虚继承通过虚基表（vbtable）和虚基类指针（vbptr）来实现，确保菱形继承中只有一份虚基类副本。

二、内存结构对比

2.1 普通继承（无虚继承）的内存布局

classPerson{public:string name;// 假设 32 字节（64位系统）intage;// 4 字节};classTeacher:publicPerson{public:string course;// 32 字节};classStudent:publicPerson{public:intstuId;// 4 字节};classTeachingAssistant:publicTeacher,publicStudent{public:string dept;// 32 字节};

内存布局图解：普通菱形继承的内存布局（无虚继承）

2.2 虚继承的内存布局

classPerson{public:string name;// 32 字节intage;// 4 字节};// 虚继承classTeacher:virtualpublicPerson{public:string course;// 32 字节};classStudent:virtualpublicPerson{public:intstuId;// 4 字节};classTeachingAssistant:publicTeacher,publicStudent{public:string dept;// 32 字节};

虚继承内存布局图解：

三、虚基表（vbtable）的结构

3.1 虚基表的内容

// 虚基表的结构（概念上）structVirtualBaseTable{ptrdiff_t offset_to_top;// 到对象顶部的偏移ptrdiff_t offset_to_virtual_base;// 到虚基类的偏移// 可能还有多个虚基类的偏移};

虚基表（vbtable）结构：

TeachingAssistant 对象的虚基表 Teacher 的虚基表 (通过 Teacher::vbptr 指向) offset_to_top = 0 ← 从 Teacher 部分到对象顶部 offset_to_Person = 72 ← 到 Person 部分的偏移 ↑ Teacher::vbptr ─────┘ Student 的虚基表 (通过 Student::vbptr 指向) offset_to_top = -40 ← 从 Student 部分到对象顶部 offset_to_Person = 32 ← 到 Person 部分的偏移 ↑ Student::vbptr ────────┘

四、完整的内存偏移示例

#include<iostream>usingnamespacestd;classPerson{public:string name;intage;Person():name("Person"),age(0){}virtual~Person(){}};classTeacher:virtualpublicPerson{public:string course;Teacher():course("Math"){}};classStudent:virtualpublicPerson{public:intstuId;Student():stuId(100){}};classTeachingAssistant:publicTeacher,publicStudent{public:string dept;TeachingAssistant():dept("CS"){}};intmain(){TeachingAssistant ta;char*base=(char*)&ta;cout<<"=== 详细地址信息 ==="<<endl;cout<<"对象起始地址: "<<(void*)base<<endl;cout<<"Teacher 地址: "<<(void*)(Teacher*)&ta<<endl;cout<<"Student 地址: "<<(void*)(Student*)&ta<<endl;cout<<"Person 地址: "<<(void*)(Person*)(Teacher*)&ta<<endl;cout<<"\n=== 相对于对象起始的偏移 ==="<<endl;cout<<"Teacher 偏移: 0 字节"<<endl;cout<<"Student 偏移: "<<((char*)(Student*)&ta-base)<<" 字节"<<endl;cout<<"Person 偏移: "<<((char*)(Person*)(Teacher*)&ta-base)<<" 字节"<<endl;cout<<"\n=== 子对象之间的偏移 ==="<<endl;cout<<"Teacher → Person: "<<((char*)(Person*)(Teacher*)&ta-(char*)(Teacher*)&ta)<<" 字节"<<endl;cout<<"Student → Person: "<<((char*)(Person*)(Teacher*)&ta-(char*)(Student*)&ta)<<" 字节"<<endl;return0;}

典型输出（86位系统）：

五、虚基表访问过程

5.1 通过 vbptr 访问虚基类成员

// 源代码ta.name="张三";// 编译器转换后的伪代码// 1. 通过 Teacher::vbptr 找到虚基表// 2. 从虚基表中读取到 Person 的偏移量// 3. 计算 Person 的实际地址// 4. 访问 name 成员// 等价于：ptrdiff_t offset=pTA->Teacher::vbptr->offset_to_Person;Person*pPerson=(Person*)((char*)pTA+offset);pPerson->name="张三";

访问流程图解：

ta.name = "张三"; 步骤1：获取 Teacher 部分的 vbptr vbptr = ta.Teacher::vbptr (指向虚基表) 步骤2：从虚基表读取偏移量 offset = vbptr->offset_to_Person (例如 128 字节) 步骤3：计算 Person 的实际地址 pPerson = (char*)&ta + offset 步骤4：访问成员 pPerson->name = "张三"

六、虚继承的开销总结

七、总结