关于虚表和虚表指针

有关知识复习

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需要访问基类成员所需要偏移的字节数。