C++多重继承中，子类重写的第二个父类的虚函数在第一个父类的vptr中是否存在？

[guozhi0705]

#include "stdafx.h"
#include <iostream>
using namespace std;

class Base1 {
public:
	int ibase1;
	Base1() :ibase1(10) {}
	virtual void f() { cout << "Base1::f()" << endl; }
	virtual void g() { cout << "Base1::g()" << endl; }
	virtual void h() { cout << "Base1::h()" << endl; }

};

class Base2 {
public:
	int ibase2;
	Base2() :ibase2(20) {}
	virtual void f() { cout << "Base2::f()" << endl; }
	virtual void g() { cout << "Base2::g()" << endl; }
	virtual void h() { cout << "Base2::h()" << endl; }
	virtual void mumble() { cout << "Base2::mumble()" << endl; }
};

class Derive : public Base1, public Base2
{
public:
	int iderive;
	Derive() :iderive(100) {}
	virtual void f() { cout << "Derive::f()" << endl; }
	virtual void g1() { cout << "Derive::g1()" << endl; }
	virtual void mumble() { cout << "Derive::mumble()" << endl; }
};

int _tmain(int argc, _TCHAR* argv[])
{
	typedef void(*Fun)(void);
	Fun pFun = NULL;

	Derive d;

	int** pVtab = (int**) &d;

	cout << "[0] Base1::_vptr->" << endl;
	pFun = (Fun) pVtab[0][0];
	cout << "     [0] ";
	pFun();

	pFun = (Fun) pVtab[0][1];
	cout << "     [1] ";
	pFun();

	pFun = (Fun) pVtab[0][2];
	cout << "     [2] ";
	pFun();

	pFun = (Fun) pVtab[0][3];
	cout << "     [3] ";
	pFun();

	pFun = (Fun) pVtab[0][4];
	cout << "     [4] ";
// 	pFun();
// 
// 	pFun = (Fun) pVtab[0][5];
// 	cout << "     [5] ";
	cout << pFun << endl;

	cout << "[1] Base1.ibase1 = " << (int) pVtab[1] << endl;


	int s = sizeof(Base1) / 4;

	cout << "[" << s << "] Base2::_vptr->" << endl;
	pFun = (Fun) pVtab[s][0];
	cout << "     [0] ";
	pFun();

	pFun = (Fun) pVtab[s][1];
	cout << "     [1] ";
	pFun();

	pFun = (Fun) pVtab[s][2];
	cout << "     [2] ";
	pFun();

	pFun = (Fun) pVtab[s][3];
	cout << "     [3] ";
	pFun();
	
	pFun = (Fun) pVtab[s][4];
	cout << "     [4] ";
	cout << pFun << endl;

	cout << "[" << ++s << "] Base2.ibase2 = " << (int) pVtab[s] << endl;
	cout << "[" << ++s << "] Base2.ibase2 = " << (int) pVtab[s] << endl;

	return 0;
}

Derive内存布局中有两个只想visual table的vptr，第一个是Base1继承下来的vptr1，第二个是从Base2继承下来的vptr2，我想问一下：Derive类override Base2的mumble函数，是不是在vptr1中保存了函数的地址？
我上面的代码打印出来的应该是不包含的，但是我看《深入探索C++对象模型》第四章中的讲解，应该是包含的，所以我现在有点糊涂，求各位大神们帮忙解答一下。我用的编译器是visual studio 2013

[反转灵魂]

太长不想看。信息能否精炼一些？

[神奕]

base1的虚函数表有三个函数f、g、h
base2的虚函数表有四个函数f、g、h、mumble

继承下来以后，derive重写了 f 和 mumble函数，并添加了新的虚函数 g1 （添加到第一个虚函数表末尾）
故base1变成：f、g、h、g1
base2变成：f、g、h、mumble
（红色表示Derive::）

[guozhi0705]

引用 1 楼 lisong694767315 的回复:

base1的虚函数表有三个函数f、g、h base2的虚函数表有四个函数f、g、h、mumble 继承下来以后，derive重写了 f 和 mumble函数，并添加了新的虚函数 g1 （添加到第一个虚函数表末尾） 故base1变成：f、g、h、g1 base2变成：f、g、h、mumble （红色表示Derive::）

我开始也是这么理解的，但是《深度探索C++对象模型》上说的Base1的那个vptr里面也有Derived::mumble()的函数指针，然后我就凌乱了，是不是每个编译器对这里的实现不太一样啊？

[神奕]

引用 2 楼 guozhi0705 的回复:

我开始也是这么理解的，但是《深度探索C++对象模型》上说的Base1的那个vptr里面也有Derived::mumble()的函数指针，然后我就凌乱了，是不是每个编译器对这里的实现不太一样啊？

你可以这样测试以下，看看是不是一一对应：

int main()
{
    typedef void(*Fun)(void);
    Fun pFun = NULL;
 
    Derive d;
 
    int** pVtab = (int**) &d;
 
    cout << "[0] Base1::_vptr->" << endl;
    pFun = (Fun) pVtab[0][0];
    cout << "     [0] ";
    pFun();
 
    pFun = (Fun) pVtab[0][1];
    cout << "     [1] ";
    pFun();
 
    pFun = (Fun) pVtab[0][2];
    cout << "     [2] ";
    pFun();
 
    pFun = (Fun) pVtab[0][3];
    cout << "     [3] ";
    pFun();
 

    cout << "[1] Base2::_vptr->" << endl;
    pFun = (Fun) pVtab[1][0];
    cout << "     [0] ";
    pFun();
 
    pFun = (Fun) pVtab[1][1];
    cout << "     [1] ";
    pFun();
 
    pFun = (Fun) pVtab[1][2];
    cout << "     [2] ";
    pFun();
 
    pFun = (Fun) pVtab[1][3];
    cout << "     [3] ";
    pFun();

    return 0;
}

也可以测一下 pVtab[0][4] 看看Base1的虚函数表里是不是有第5个函数。。。

[maliang351]

这种布局的实现是与编译器相关的，一般也研究不到这么深吧。深度探索C++里面讲的多数是些概念或者是某种技术的实现方式，这肯定是和编译器有关的。 你的多重继承还没有涉及到虚继承，再来个虚继承就要哭了，这玩意太绕了，简单的调试也看不出内存中是如何布局的。。。