C++虚基类的实现机制：笔记

最新推荐文章于 2023-01-12 13:29:37 发布

jiangnanyouzi

最新推荐文章于 2023-01-12 13:29:37 发布

阅读量1.3w

点赞数 2

CC 4.0 BY-SA版权

分类专栏：程序语言文章标签： c++ vb 编译器 class c linux

本文链接：https://blog.csdn.net/jiangnanyouzi/article/details/3721091

本文探讨了C++中虚基类的作用，解决多重继承的二义性问题，并详细解释了虚基类在内存布局中的实现方式，包括虚指针如何帮助定位成员变量，以及这种实现对性能的影响。通过实例展示了虚基类对象内存布局，以及不同访问方式的效率差异。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

在《深度探索C++对象模型》里，有一个问题，也是去公司面试的时候那些技术人员常问的问题：在C++中，obj是一个类的对象，p是指向obj的指针，该类里面有个数据成员mem，请问obj.mem和p->mem在实现和效率上有什么不同。

答案是：只有一种情况下才有重大差异，该情况必须满足以下3个条件：

（1）、obj 是一个虚拟继承的派生类的对象
（2）、mem是从虚拟基类派生下来的成员
（3）、p是基类类型的指针

当这种情况下，p->mem会比obj.mem多了两个中间层。（也就是说在这种情况下，p->mem比obj.mem要明显的慢，呵呵）

WHY？

如果好奇心比较重的话，请往下看 :)

1、虚基类的使用，和为多态而实现的虚函数不同，是为了解决多重继承的二义性问题。

举例如下：

class A
{
public:
    int a;
};

class B : virtual public A
{
public:
   int b;
};

class C :virtual public A
{
public:
   int c;
};

class D : public B, public C
{
public:
   int d;
};

上面这种菱形的继承体系中，如果没有virtual继承，那么D中就有两个A的成员int a；继承下来，使用的时候，就会有很多二义性。而加了virtual继承，在D中就只有A的成员int a；的一份拷贝，该拷贝不是来自B，也不是来自C，而是一份单独的拷贝，那么，编译器是怎么实现的呢？？

在回答这个问题之前，先想一下，siz