C++ 虚函数表 Review

1.什么是 C++ 虚函数？

   面向对象的编程语言一个很重要的特性是多态，所谓多态就是用父类的指针和引用指向子类的对象实例，通过父类的指针和引用调用子类的成员函数的，即让父类的对象拥有“多种形态”。C++ 中多态特性即是通过虚函数来时的。

 

2.如何在C++中定义虚函数？

   virtual 关键字

 

3.虚函数如何工作？

   虚表（Virtual Table），所谓虚表即是虚函数的地址表。父类的指针或引用调用成员函数时，它根据这张表找到实际的虚函数地址。在有虚函数的类的实例中这个表被分配在了 这个实例的内存中，所以，当我们用父类的指针来操作一个子类的时候，这张虚函数表就显得由为重要了，它就像一个地图一样，指明了实际所应该调用的函数。

 

4.C++中虚表是如何实现的？

  在C++的标准规格说明书中说到，编译器必需要保证虚函数表的指针存在于对象实例中最前面的位置（这是为了保证正确取到虚函数的偏移量）。 这意味着我们通过对象实例的地址得到这张虚函数表，然后就可以遍历其中函数指针，并调用相应的函数。

 

   测试程序：#include <iostream> using namespace std; class Base { public: virtual void a () { cout<<"Base::a/r/n"; } virtual void b () { cout<<"Base::b/r/n"; } virtual void c () { cout<<"Base::c/r/n"; } }; class Derive : public Base { public: virtual void e () { cout<<"Derive::e/r/n"; } virtual void f () { cout<<"Derive::f/r/n"; } virtual void g () { cout<<"Derive::g/r/n"; } }; typedef void (*pFun)(); int _tmain(int argc, _TCHAR* argv[]) { Base b; // a pFun pfn = (pFun)*((int*)*(int*)(&b)); pfn(); // b pfn = (pFun)*((int*)*(int*)(&b) + 1); pfn(); // c pfn = (pFun)*((int*)*(int*)(&b) + 2); pfn(); return 0; } 

 

   输出结果：

      Base::a

 

      Base::b

      Base::c

 

 

我们可以通过强行把&b转成int *，取得虚函数表的地址，然后，再次取址就可以得到第一个虚函数的地址了，也就是Base::a()，这在上面的程序中得到了验证（把int* 强制转成了函数指针）。通过这个示例，我们就可以知道如果要调用Base::b()和Base::c()

 

待续