关于虚表和虚表指针

有关知识复习

1：动态多态
动态绑定：在程序执行期间（非编译期间）判断所引用对象的实际类型，根据其实际类型调用相应的方法。
2：动态多态具体实现、

class A{public:    virtual void funtest1()    {        cout << "A.funtest1" << endl;    }    virtual void funtest2()    {        cout << "A.funtest2 " << endl;    }    int _a;};class B1 : public A{public:    virtual void funtest1()    {        cout << "B1.funtest1" << endl;    }    virtual void funtest3()    {        cout << "B1.funtest3" << endl;    }    int _b1;};void funtest(A &s){    s.funtest1();    s.funtest2();}int main(){    B1 b1;    funtest(b1);    system("pause");    return 0;}

在funtest函数里面用基类的引用作为参数，真正传过去的是派生类的对象，而且在派生类里面是对funtest1函数进行了重写的，所以在执行期间会根据所引用的具体类型调用相应的函数。

3：虚表的简单查看

#include<stdlib.h>#include<stdio.h>#include<iostream>using namespace std;class A{public:    virtual void funtest1()    {        cout << "A.funtest1" << endl;    }    virtual void funtest2()    {        cout << "A.funtest2 " << endl;    }    int _a;};class B1 : public A{public:    virtual void funtest1()    {        cout << "B1.funtest1" << endl;    }    virtual void funtest3()    {        cout << "B1.funtest3" << endl;    }    int _b1;};typedef void(*pvf)();void Print()     {    B1 b1;    b1._a = 1;    b1._b1 = 2;    pvf *fun = (pvf *)*(int*)&b1;       while (*fun)    {        (*fun)();             fun++;    }}void FunTest(){    cout << sizeof(B1) << endl;}int main(){    Print();    FunTest();    system("pause");    return 0;}

通过求取B1类的大小可以在内存中查看b1的存储方式，图上所表示的是虚表指针指向的虚表和打印出来的虚表的实际对应.通过对b1对象内存的分析可以知道除了b1所含的两个整型意外，最上面的四个字节就是虚表指针，指向的虚表通过打印的方式显示出来如图中所示，由于B1对A类是公有继承而且在B1类中对基类的funtest1函数进行了重写，所以派生类B1的虚表就应该是图中所显示的内容。

菱形虚拟继承中派生类的虚表指针以及偏移量指针

class A{public:    virtual void funtest1()    {        cout << "A.funtest1" << endl;    }    virtual void funtest2()    {        cout << "A.funtest2 " << endl;    }    int _a;};class B1 :virtual public A{public:    virtual void funtest1()    {        cout << "B1.funtest1" << endl;    }    virtual void funtest3()    {        cout << "B1.funtest3" << endl;    }    int _b1;};class B2 :virtual public A{public:    virtual void funtest2()    {        cout << "B2.funtest2" << endl;    }    virtual void funtest4()    {        cout << "B2.funtest4" << endl;    }    int _b2;};class  C :public B1, public B2{public:    virtual void funtest3()    {        cout << "C.funtest3" << endl;    }    virtual void funtest4()    {        cout << "C.funtest4" << endl;    }    virtual void funtest5()    {        cout << "C.funtest5" << endl;    }    int _c;};typedef void(*pvf)();void Print()     {        A a;    /*c._a = 1;    c._b1 = 2;    c._b2 = 3;    c._c = 4;*/    pvf *fun = (pvf *)*(int*)&a;       while (*fun)    {        (*fun)();             fun++;    }}void FunTest(){    cout << sizeof(C) << endl;}int main(){    Print();    FunTest();    system("pause");    return 0;}

如图所示，就是C类对象在内存空间的具体存储，红色线所指函数或者数字即为C类对象中的指针所指内容，要么是偏移量大小，要么是虚表指针，特别之处在于两个 ‘-4’,表示的是从该位置向上偏移四个字节才是C通过这个继承体系继承的B1，B2 类在C中存储的起始位置。12和24就是偏移量大小，若C B1 B2需要访问基类成员所需要偏移的字节数。