0

我正在查看从某个地方获得的代码，以了解 vptr 和 vtable 的工作原理。以下是带有输出的代码

class Base1 
{
virtual void fun1() { cout<< "Base1::fun1()" << endl; }
virtual void func1() { cout<< "Base1::func1()" << endl; }
};
class Base2 {
virtual void fun1() { cout<< "Base2::fun1()" << endl; }
virtual void func1() { cout<< "Base2::func1()" << endl; }
};
class Base3 {
virtual void fun1() { cout<< "Base3::fun1()" << endl; }
virtual void func1() { cout<< "Base3::func1()" << endl; }
};

class Derive : public Base1, public Base2, public Base3 
{
public:
virtual void Fn()
{
cout<< "Derive::Fn" << endl; 
}
virtual void Fnc()
{
cout<< "Derive::Fnc" << endl; 
}
};
typedef void(*Fun)(void);

int main()
{
Derive obj;
Fun pFun = NULL;
// calling 1st virtual function of Base1
pFun = (Fun)*((int*)*(int*)((int*)&obj+0)+0);
pFun();
// calling 2nd virtual function of Base1
pFun = (Fun)*((int*)*(int*)((int*)&obj+0)+1);
pFun();
// calling 1st virtual function of Base2
pFun = (Fun)*((int*)*(int*)((int*)&obj+1)+0);
pFun();
// calling 2nd virtual function of Base2
pFun = (Fun)*((int*)*(int*)((int*)&obj+1)+1);
pFun();
// calling 1st virtual function of Base3
pFun = (Fun)*((int*)*(int*)((int*)&obj+2)+0);
pFun();
// calling 2nd virtual function of Base3
pFun = (Fun)*((int*)*(int*)((int*)&obj+2)+1);
pFun();
// calling 1st virtual function of Derive
pFun = (Fun)*((int*)*(int*)((int*)&obj+0)+2);
pFun();

// calling 2nd virtual function of Derive
pFun = (Fun)*((int*)*(int*)((int*)&obj+0)+3);
pFun();
return 0;
}

OUTPUT:
Base1::fun
Base1::func
Base2::fun
Base2::func
Base3::fun
Base3::func
Derive::Fn
Derive::Fnc

看起来还可以，但是调用派生类的虚函数的方式不明白。不应该是这样吗：

// calling 1st virtual function of Derive
pFun = (Fun)*((int*)*(int*)((int*)&obj+3)+0);
pFun();

// calling 2nd virtual function of Derive
pFun = (Fun)*((int*)*(int*)((int*)&obj+3)+1);

这意味着是使用派生类的 vptr 访问的虚函数的地址，它最终指向派生类的 vtable。

4

2 回答 2

0

面向对象编程的整个思想是遵循抽象。当您拥有用于动态绑定的虚函数时，通过调用基类指针的虚函数来通过抽象使用它。根据它在类层次结构中动态指向的位置，它将动态绑定。为什么要更深入地打破抽象并使用 vtbl 等（根据某些准则，编译器的实现因编译器而异）。因此，建议以良好的精神使用动态绑定。

于 2014-04-30T12:23:15.053 回答
0

看起来新的虚函数Derive被添加到第一个基类的 vtable 的末尾，而不是放在单独的表中。这是有道理的：扩展现有表比添加一个额外的表更有效，这会使每个对象膨胀，并为每个继承级别添加一个额外的指针。

当然，所有这些都取决于实现。该语言没有指定应如何实现虚拟调度，仅指定正常使用时应如何工作。

于 2014-04-30T12:23:26.407 回答