多重继承与虚函数表的实现原理

在《c++程序设计语言中》有这么两道习题，是讨论多重继承的实现，分为继承自虚基类和非虚基类两种。

使用VS编译了两段程序，查看VS的编译器的实现方式。

#include <iostream>
using namespace std;

class Base {
public:
    virtual void f() {}
};




class A : public Base {
public:
    virtual void write (){}
};


class B : public Base {
public:
    virtual void write (){}
};


class C : public B, public A  {
public:
	virtual void gg() {}
};
int main() {
    C* c = new C;
    B* b = c;
    Base* fromB = (B*)c;
    Base* fromA = (A*)c;


    cout << "C addr " << c << endl;
    cout << "B addr " << b << endl;
    cout << "FromA addr " << fromA << endl;
	cout << "FromB addr " << fromB << endl;
  return 0;
}

查看C的内存布局如下图：

输出如下：

可以看出C的对象里会保存两个vptr指向两个虚函数表。而不是三个。并且C的虚函数gg会加在它第一个继承过来的B的虚函数表下面。如果我们要通过C*指针调用write

必须这么写c->A::write()或者c->B::write()决定调用哪一个write 不然会出现歧义。同理c->A::f();c->B::f();

类图如下：

如果A,B是基础自虚基类Base呢.那么情况如下：

#include <iostream>
using namespace std;

class Base {
public:
    virtual void f() {}
};


class A : public virtual Base {
public:
    virtual void write (){}
};

class B : public virtual Base {
public:
    virtual void write (){}
};

class C : public B, public A  {
public:
	virtual void gg() {}
};
int main() {
    C* c = new C;
    B* b = c;
    Base* fromB = (B*)c;
	Base* fromA = (A*)c;

    cout << "C addr " << c << endl;
    cout << "B addr " << b << endl;
    cout << "FromA addr " << fromA << endl;
	cout << "FromB addr " << fromB << endl;
  return 0;
}

C的内存布局：

输出如下：

类图如下：

看来C对象多了指向虚基类Base的指针vfptr，这时因为虚继承会只有一个Base对象，没有歧义。你可以去查看A , B的内存布局，研究它们。

看了内存布局和地址的输出，就知道了在多重继承的情况下，虚函数表是如何实现。这个只是VS的编译器的实现，其他的编译器可能不同。

VS查看内存布局的命令是

cl [filename].cpp /d1reportSingleClassLayout[className]