C++虚基类以及可能引发的一些问题

什么是虚基类：

当一个类被派生类用virtual继承时，这个基类就叫做虚基类
c++中virtual有两个作用，一个是修饰虚函数，另外一个就是这里修饰继承方式
下面例子中A就是一个虚基类：

class A{
public:
protected:
    int ma;
};
//虚继承,此时A被称为虚基类
class B:virtual public A{
public:
protected:
    int mb;
};

虚基类和抽象类有什么区别：

抽象类指的是，类中存在纯虚函数，即函数名=0这样的函数，可以定义指针和引用，但是不能实例化对象。
实际上两个是完全不同的概念，一个被virtual修饰了继承方式，一个被virtual修饰了类的成员方法。

什么是vbptr和vbtable:

继承了虚基类A的B，此时B对象的内存布局上会多一个指针，叫做vbptr,保存的vbtable的地址

注意，按照正常逻辑来讲，布局应该是下面这样的，实际上是上图：

但是由于是虚继承，所以将虚基类的成员变量都放在内存布局最下面，然后在他本来在的位置上放一个vbptr，记录虚基类成员变量的偏移量，这样就能省去对象的空间

那么vftable是什么用途呢：

0：记录的是，vbptr向上的偏移量，这里是0字节
8：指的是vbptr向下偏移8个字节，就可以访问到虚基类的成员变量.

虚继承可能会有什么样的问题：

class A{
public:
     void print(){
        std::cout<<"A::print()"<<std::endl;
    }
private:
    int ma;
};

class B:virtual public A{
public:
    void print(){
        std::cout<<"B::print()"<<std::endl;
    }
private:
    int mb;
};

int main(){
    A * p =new B();
    p->print();
    delete p;
    return 0;
}

运行后程序core dump掉：

A::print()
free(): invalid pointer
已放弃 (核心已转储)

报错原因大概可以猜出来，是对象在进行析构函数的调用时释放对象内存free()的参数不对，有问题，大概原因如下：

按照通常情况下，p指向对象内存布局应该是这样的，实际不是：

现在由于是虚继承，出现了vbptr，导致内存布局调整，实际上这样的，p如果指向vbptr就不会有这样的问题：

自然就出现问题了。

我们可以这样来看一下，new 和delete时的地址是不是不匹配：

class A{
public:
    void print(){
        std::cout<<"A::print()"<<std::endl;
    }
    void operator delete(void* p){
        
        cout<<"A operator delete p = "<<p<<endl;
        free(p);
    }
private:
    int ma;
};

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

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

结果：

B operator new p = 0x55df897cbeb0
A::print()
main fun p = 0x55df897cbebc
A operator delete p = 0x55df897cbebc
munmap_chunk(): invalid pointer
已放弃 (核心已转储)

栈上的对象不存在这样的问题，因为栈帧回退，内存就释放了。