请看下面的Base类,它申明了N个虚函数:
class:Base
{
public:
virtual void func1()
{
//Func1 implementation
}
virtual void func2()
{
//Func2 implemetation
}
//..so on and so forth
virtual void FuncN()
{
//FuncN implemetation
}
}
然后Drived类继承了Base类,并覆盖了除Base::Func2外的其他所有虚函数:
class Derived:public Base
{
public:
virtual void Func1()
{
//Func2 overrides Base::Func2()
}
virtual void FuncN()
{
//FuncN implementation
}
};
编译器见到这种继承层次结构后,知道Base定义了一些虚函数,并在Drived中覆盖了它们,这种情况下,编译器将为了实现虚函数的积累和覆盖了虚函数的派生类分别创建一个虚函数表(Virtual Function Table)。换句话说,Base和Drived类都将有自己的虚函数表。实例化这些类的对象时,将创建一个影藏的指针(我们称之为VFT*),它指向相应的VFT。可将VFT视为包含函数指针的静态数组,其中每个指针都指向相应的虚函数。
每个虚函数都由函数指针组成,其中每个指针都指向相应的虚函数的实现。在类Derived的虚函数表中,处理一个函数指针外,其他所有函数指针都指向Derived本地的虚函数实现。Drived没有覆盖Base::Func2(),因此相应的函数指针指向Base类的Func2实现。
下面的函数可以验证确实存在影藏的虚函数指针:
#include <iostream>
using namespace std;
class SimpleClass
{
int a, b;
public:
void FuncDoSomething() {}
};
class Base
{
int a, b;
public:
virtual void FuncDoSomething() {}
};
int main()
{
cout << "sizeof(SimpleClass) = " << sizeof(SimpleClass) << endl;
cout << "sizeof(Base) = " << sizeof(Base) << endl;
return 0;
}
运行结果如下:
可以看出在有虚函数的类多了4个字节,这证明了存在这样的指针。