雕刻时光

just do it……nothing impossible
  博客园  :: 首页  :: 新随笔  :: 联系 :: 订阅 订阅  :: 管理

虚函数表是在编译的时候还是运行的时候产生的

Posted on 2013-12-21 15:04  huhuuu  阅读(7218)  评论(0编辑  收藏  举报

引入:这段时间一直在思考虚函数表的问题,同时也想知道虚函数表是在什么时候产生的

本人是在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是在运行阶段确定的,这是实现多态的关键!