C++跟我一起透彻理解虚函数表

//首先让我们来了解类对象的构造顺序。
#include <iostream>
using namespace std;
class A
{
public:
    A(){ cout << "A" << endl; }
    virtual void PrintfA() = 0;
};
class B 
{
public:
    B(){ cout << "B" << endl; }
};
class C :virtual public A , public B
{
    //关于构造对象顺序：
    //第一步先构造虚基类，例如此处的虚继承。
    //第二步构造一般继承类，此处从左往右顺序执行。
    //第三部构造成员变量，记住这里的成员变量的构造是顺序执行的。
    //第四构造自身的构造函数。
public:
    C()
    { cout << "C" << endl; }
    void PrintfA()
    {
        cout << "hello word!!" << endl;
    }
private:
};
int main()
{
    C c;
    return 0;
}

#include <iostream>
using namespace std;

typedef void (*Pfun)();
class Base
{
public:
    virtual void Printf()
    {
        cout << "Base::Printf()" << endl;
    }
    void PrintfBae()
    {
        cout << "Base::PrintfBase" << endl;
    }
};
class Son1:public Base
{
public:
    virtual void Printf()
    {
        cout << "Son1::Printf()" << endl;
    }
    void PrintfSon1()
    {
        cout << "Son1::PrintfSon1()" << endl;
    }
};
class Son2 : public Son1
{
public:
    void Printf()
    {
        cout << "Son2::Printf()" << endl;
    }
    virtual void hello()
    {
        cout << "hello" << endl;
    }
    void PrintfSon2()
    {
        cout << "Son2::Printf()" << endl;
    }
};
int main()
{
    Son2 s2;
    Base &b = s2;
    //b.Printf();
    //此处可以得出这三个类维护了一个共同的虚表，但是我们还无法知道他们的
    //具体位置以及各个类里面非虚函数的存储关系，所以我们接下来验证。
    //Pfun fun = (Pfun)*((int *)(&(int*)&b)+1);
    Pfun fun = (Pfun)*((int *)*(int *)(int *)(&b) + 0);
    //这种做法基本没有人解释，所以我在后面用图解释了。
    fun();
    fun = (Pfun)*((int *)*(int *)(int *)(&b) + 1);
    fun();
    //--------------------------------------------------------
    fun = (Pfun)*((int *)*(int *)(int *)(&s2) + 0);
    fun();
    fun = (Pfun)*((int *)*(int *)(int *)(&b) + 1);
    fun();
    //打印结果与上面一样，可以得出这份虚表是所有继承该拥有虚表基类的成员类所共享的。
    //每个对象的产生必定有两个数据，一个vptr指向虚表的指针，还有其自身的成员
    //变量。
    return 0;
}
//总结1：前提是基类是有虚表的，单一继承，所有的成员类与基类共同维护同一个虚表，各自有
//一个vptr指向这个虚表，子类如果会对虚表进行替换修改，具体会根据子类是否重载了基类的
//虚函数来确定，我们成为覆盖。多继承下面讨论，其实本质是一样的，关键问题是，多继承中
//子类中到底有几份虚vptr指针。

#include<iostream>
using namespace std;

class A
{
public:
    virtual void Printf()
    {
        cout << "A::Printf()" << endl;
    }
    virtual void PrintfA()
    {
        cout << "A::PrintfA()" << endl;
    }
};
class B
{
public:
    virtual void PrintfB()
    {
        cout << "B::Printf（）" << endl;
    }
    virtual void Printf()
    {
        cout << "B::Printf()" << endl;
    }
};
class C : public A, public B
{
public:
    void Printf()
    {
        cout << "C::Printf()" << endl;
    }
};

int main()
{
    typedef void(*PFun)();
    C c;
    PFun fun = (PFun)*((int *)*(int *)((int *)(&c)+0) + 0);//第一个虚表指针vptr。
    fun();//此处覆盖了，调用的是C中的Printf（）；
    fun = (PFun)* ((int *)*(int *)((int *)(&c) + 1) + 0);//第二个虚表指针vptr。
    fun();
    //此处还有一个亮点，就是为什么(int *)(int *)两次，这下你应该明白了吧，因为可能
    //有多个虚指针，编译器做的很好了，如果不这样做编译会报错。
    cout << sizeof(c) << endl;//终极测试结果8。
    return 0;
}

//总结2：多继承中每一个基类都维护一张自己的虚表，而子类中每继承一个虚基类就会有存在一个
//指向该基类虚表的指针，以上代码测试结果是C对象中有两个vptr指针，一个指向A基类的虚表，一
//个指向B基类的虚表。