虚表指针是由构造函数初始化的。我这里只分析单一继承的情况,多重继承的情况我还没有弄明白。
比如说我现在有两个类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