虚表指针的初始化时期

虚表指针是由构造函数初始化的。我这里只分析单一继承的情况,多重继承的情况我还没有弄明白。

比如说我现在有两个类A,B, B继承A。如果我创建一个B对象,那么会先调用A的构造函数,再调用B的构造函数。在调用A的构造函数的时候,会将vptr指向A的虚表地址,调用B的构造函数的时候,再重新将vptr指向B的虚表地址。下面我用代码来证明。

因为vptr的赋值会在我写的代码之前赋值好,所以我在A, B的构造函数里面将vptr的地址打印出来。
主函数我输出a,b两个对象的vptr和构造函数的vptr做个对比。

typedef void(*Fun)(void);
class A{
public:
    A(){
        cout << "in A constructor" << endl;
        cout << "vtable addr: " << *(int*)(this) << endl;
        Fun f = (Fun)*((int*)*(int*)(this));
        f();
    }
    virtual void fun(){
        cout << "A fun" << endl;
    }
    virtual void bar(){
        cout << "B bar" << endl;
    }
    virtual ~A(){}
};
class B: public A{
public:
    B(){
        cout << "in B constructor" << endl;
        cout << "vtable addr: " << *(int*)(this) << endl;
        Fun f = (Fun)*((int*)*(int*)(this));
        f();
    }
    virtual void fun(){
        cout << "B fun" << endl;
    }
};


int main(){
    A a;
    B b;
    //Fun f = (Fun)*((int*)*(int*)(&a));
    //f();
    cout << "A vtable addr: " << *(int*)(&a) << endl;
    cout << "B vtable addr: " << *(int*)(&b) << endl;
}

结果如下:
先创建一个a对象,调用了一下A的构造函数。
再创建一个b对象,先调用了A的构造函数,打印出此时A的虚表地址,和上面创建a对象的时候一样。再调用B的构造函数,打印出来的是B的虚表地址。

in A constructor
vtable addr: 4198256
A fun
in A constructor
vtable addr: 4198256
A fun
in B constructor
vtable addr: 4198192
B fun
A vtable addr: 4198256
B vtable addr: 4198192

你可能感兴趣的:(C++语言)