引入:这段时间一直在思考虚函数表的问题,同时也想知道虚函数表是在什么时候产生的
本人是在VS2010的环境下,如有错误欢迎指出,谢谢。
观察代码
#include<stdio.h> #include<iostream> class A{ public:A(); virtual~A(); void fun1(){ printf("123"); } }; A::A(){ printf("new A\n"); } A::~A(){ printf("Delete class A\n"); } class B : public A { public:B(); ~B(); void fun2(){ printf("123456"); } }; B::B(){ printf("new B\n"); } B::~B(){ printf("Delete class B\n"); } class C : public B { public:C(); ~C(); void fun2(){ printf("123456"); } }; C::C(){ printf("new C\n"); } C::~C(){ printf("Delete class C\n"); } int main(){ A *a=new A; //A *a=new C; delete a; getchar(); return 0; }
如果虚函数表是在运行的时候产生的话,那么这个代码的话运行到A *a=new A的时候应该会在内存中产生与类A有关的虚函数表,让我们观察下虚函数表的情况:
我们发现这里有A的虚函数表,还有B的虚函数表,在观察下还会发下C的虚函数表。
思考下为什么要怎么设计?
其实可以这样理解,其实不管有多少类的对象,虚函数表就这么固定的几个,是与类的种类个数相同的(所以说相同类所有对象共享的虚函数表),因为是固定的东西,那么在编译的时候产生就可以了, 而多态的实现是通过对象中的vptr指针指向不同的虚函数表实现的,在运行的时候指针指向是可以有变化的,所以需要在程序运行的时候变化!
#include<stdio.h> #include<iostream> class A{ public:A(); virtual~A(); void fun1(){ printf("123"); } }; A::A(){ printf("new A\n"); } A::~A(){ printf("Delete class A\n"); } class B : public A { public:B(); ~B(); void fun2(){ printf("123456"); } }; B::B(){ printf("new B\n"); } B::~B(){ printf("Delete class B\n"); } class C : public B { public:C(); ~C(); void fun2(){ printf("123456"); } }; C::C(){ printf("new C\n"); } C::~C(){ printf("Delete class C\n"); } int main(){ C tempc; B tempb; A tempa; A *a=&tempc;//指针A在运行是变化,里面相应的虚函数指针也在运行时变化 a=&tempb; a=&tempa; getchar(); return 0; }
总结:虚函数表在编译的时候就确定了,而类对象的虚函数指针vptr是在运行阶段确定的,这是实现多态的关键!