多态的对象模型

首先，我们要知道构成多态的必要条件有两个：
1.在继承过程中进行虚函数的重写。
2.父类的引用或指针调用虚函数。
下面是一个比较简单的多态

class father
{
public:
    virtual void Display()
    {
        cout << "father::Display()" << endl;
    };
};

class son : public father
{
public:
    virtual void Display()
    {
        cout << "son::Display()" << endl;
    };
};

int main()
{
    father f;
    son s;
    father* p1 = &f;
    father  &p2 = f;
    father*  p3 = &s;
    father  &p4 = s;
    f.Display();
    s.Display();
    p1->Display();
    p2.Display();
    p3->Display();
    p4.Display();
}

运行的结果

从前面几个可以看出函数调用都是通过类型来调用，那么最后两个为父类的指针应该调用父类函数，那是因为构成多态之后就会变为根据对象调用函数。
通过监视窗口可以看到

其中有个单词“vftable”这就是虚表，而且父类和子类都有一个，并且子类中包含了父类的虚表，虚表的本质是地址表，因为虚表无法存放每个函数，每个函数不相同时会很难按一定的规律找到，所以用虚表将每个函数的地址存放起来方便查找，所以将上面的代码改成下面的

class father
{
public:
    virtual void fun1()
    {
        cout << "father::fun1()" << endl;
    };
    virtual void fun2()
    {
        cout << "father::fun2()" << endl;
    };
private:
    int f;

};

class son : public father
{
public:
    virtual void fun1()
    {
        cout << "son::fun1()" << endl;
    };
    virtual void fun3()
    {
        cout << "son::fun3()" << endl;
    };
    virtual void fun4()
    {
        cout << "son::fun4()" << endl;
    };
private:
    int s;
};
typedef void(*FUNC)();

void PrintVTable(int* VTable)
{
    cout << "虚表地址" << VTable << endl;
    for (int i = 0; VTable[i] != 0; i++)
    {
        printf("第%d个虚函数的地址：0x%x,->", i, VTable[i]);
        FUNC f = (FUNC)VTable[i];
        f();
    }
    cout << endl;
}
int main()
{
    father f1;
    son s1;

    int* VTable1 = (int*)(*(int*)&f1);
    int* VTable2 = (int*)(*(int*)&s1);

    PrintVTable(VTable1);
    PrintVTable(VTable2);
}

然后运行得

可以父类的虚表存有函数一和二，子类有四个函数，函数一和父类中的不同这就是因为多态，函数二代码中并没有这是继承自父类，函数三四是属于它自己的。
所以可以清楚看到构成多态时，子类虽然继承了父类的函数但却进行了重写。

总结：
首先是关于构成多态的两个条件，其次我们可以看到每个类都有一个虚表，虚表中存放的是虚函数的地址，而且派生类中会包含基类的虚函数即使没有进行重写，
然后依次存放自己的虚函数。