虚表思考再探虚表布局

 

思考类的布局，以前一直以为 一个类可能有多个虚表。
今天下午特别的写程序测试下。

 

程序参考了：陈皓博客的

结论是：无论一个类怎么继承来的，他的虚表只有一个！//

感觉：注意：虚表的理解，至少2个层次，动静结合
静，要知道 类的布局
动，要知道函数 动态绑定

 

#include "stdafx.h"

#include <iostream>

using namespace std;

class Base{

//private:

public:

  //virtual  ~Base()

  //{cout<<"i am in dtor"<<endl;//只有显示申明后才object中显示

  //}

public:

  virtual void f() { cout << "Base::f" << endl; }

  virtual void g() { cout << "Base::g" << endl; }

  void h() { cout << "unvirtual Base::h" << endl; }

};

class derived:public Base{

public:

  //virtual void f() { cout << "derived::f" << endl; } //使用父亲的

  virtual void g() { cout << "derived::g" << endl; }

  void h() { cout << "unvirtual derived::h" << endl; }

  virtual void i() { cout << "his own derived::i" << endl; }

};

void test_Main(){

  typedef void(*Fun)(void);

  Base b;

  Fun pFun = NULL;

  cout << "vtbl address：" << (int*)(&b) << endl;

  cout << "vtbl 1st function：" << (int*)*(int*)(&b) << endl;

  cout<<"打印转换过程"<<&b<<" "<<(int*)(&b)<<" "<<*(int*)(&b)<<" "<<(int*)*(int*)(&b)<<endl;

  cout<<"在此打印地址+ "<<&b+1<<" "<<(int*)(&b)+1<<" "<<*(int*)(&b)+1<<" "<<(int*)*(int*)(&b) +1<<endl;

  // Invoke the first virtual function

  pFun = (Fun)*((int*)*(int*)(&b));

  ( (Fun)*((int*)*(int*)(&b)) )();

     //奇怪的bug:显示的dtor,就要这里报错//这里就注释了base dtor

     //( (Fun)*((int*)*(&b)) )();//无法从“Base”转换为“int *

     //( (Fun)*(*(int*)(&b)) )();//error C2100: 非法的间接寻址

     //( *((int*)*(int*)(&b)) )(); //error C2064: 项不会计算为接受0 个参数的函数

                   //不强制转换报错！不知道返回类型，不知道参数。所以转换

 

 

  pFun();

  (Fun)*((int*)*(int*)(&b)+0);  // Base::f()

  pFun();

  pFun=(Fun)*((int*)*(int*)(&b)+1);  // Base::g()

  pFun();

  //pFun=(Fun)*((int*)*(int*)(&b)+2);  // Base::h() //不存在vtbl..用户可以自己调用析构？

  //pFun();

 

 

  derived d;

      (  (Fun)* (int *)*(int *)(&d) ) ();//调用保留的函数

         // (Fun)* (int *)*(int *)(&d)  (); //结合性会计算为接受0 个参数的函数

    ( (Fun)* ( (int *)*(int *)(&d) +1) )();//调用重写

    ( (Fun)* ( (int *)*(int *)(&d) +2) )(); //调用新的虚函数

}

 

//调试方法：就是调用

test_Main()

 

后面试我的测试截图：

 

 

 补上虚表转换图示：