虚函数与虚函数表

虚函数使用中：

• 静态成员函数、构造函数不能是虚函数；
• 析构函数可以是虚函数；

为什么？

1、先看虚函数表：

以下出自vtable百度百科

虚函数表，简称虚表。

每一个有虚函数的类都有这样一个东西。实际上记录了本类中所有虚函数的函数指针，也就是说是个函数指针数组的起始位置。

虚函数表的结构：它是一个函数指针表，每一个表项都指向一个函数。任何一个包含至少一个虚函数的类都会有这样一张表。需要注意的是vtable只包含虚函数的指针（ 函数名是该函数代码段的首地址），没有函数体。实现上是一个函数指针的数组。虚函数表既有继承性又有多态性。每个派生类的vtable继承了它各个基类的vtable，如果基类vtable中包含某一项，则其派生类的vtable中也将包含同样的一项（复制数组的内容），但是两项的值可能不同。如果派生类覆写(override)了该项对应的虚函数，则派生类vtable的该项指向覆写后的虚函数（更改数组该项的值），没有覆写的话，则沿用基类的值。

每一个类只有唯一的一个vtable，不是每个对象都有一个vtable，恰恰是每个同一个类的对象都有一个指针（vfptr），这个指针指向该类的vtable（当然，前提是这个类包含虚函数）。那么，每个对象只额外增加了一个指针的大小，一般说来是4字节。

在类对象的内存布局中，首先是该类的vfptr指针，然后才是对象数据。

在通过对象指针调用一个虚函数时，编译器生成的代码将先获取对象类的vfptr指针，然后调用vtable中对应的项。对于通过对象指针调用的情况，在编译期间无法确定指针指向的是基类对象还是派生类对象，或者是哪个派生类的对象。但是在运行期间执行到调用语句时，这一点已经确定，编译后的调用代码能够根据具体对象获取正确的vtable，调用正确的虚函数，从而实现多态性。

2、构造函数不能是虚函数

从存储空间角度，虚函数对应一个指向vtable虚函数表的指针，这大家都知道，可是这个指向vtable的指针其实是存储在对象的内存空间的。问题出来了，如果构造函数是虚的，就需要通过 vtable来调用，可是对象还没有实例化，也就是内存空间还没有，怎么找vtable呢？所以构造函数不能是虚函数。

从使用角度，虚函数主要用于在信息不全的情况下，能使重载的函数得到对应的调用。构造函数本身就是要初始化实例，那使用虚函数也没有实际意义呀。所以构造函数没有必要是虚函数。虚函数的作用在于通过父类的指针或者引用来调用它的时候能够变成调用子类的那个成员函数。而构造函数是在创建对象时自动调用的，不可能通过父类的指针或者引用去调用，因此也就规定构造函数不能是虚函数。

从实现上看，vtable在构造函数调用后才建立，因而构造函数不可能成为虚函数从实际含义上看，在调用构造函数时还不能确定对象的真实类型（因为子类会调父类的构造函数）；而且构造函数的作用是提供初始化，在对象生命期只执行一次，不是对象的动态行为，也没有必要成为虚函数。

3、析构函数可以是虚构函数

使用析构函数时，析构我们往往通过基类的指针来销毁对象。这时候如果析构函数不是虚函数，就不能正确识别对象类型从而不能正确调用析构函数。

4、静态成员函数不能是虚构函数

虚函数实现多态是通过vfptr这个虚函数表的指针来实现的。从上面你也可以看出实现多态(必须用指向子类对象的基类指针调用)是通过被实例化的对象的地址进而找到vfptr[m]实现的，通过对象即使用this指针。

静态成员函数是属于某个类的，而不是类的对象的，没有对象多态也没有意义。