virtual member functions的实现(就单一继承而言):
1.实现:首先会给有多态的class object身上增加两个members:一个字符串或数字便是class的类型,一个是指针,指向某表格,表格中带有程序的virtual functions的执行期的地址(具体一点是一个offset,相对于对象首地址的偏移量),表格中的地址是在编译期被建立起来的,而且这一组地址是固定不变的,在执行期不可能新增会替换。所以其构建和存取皆可以由编译器完全来掌握,不需要执行期的任何介入。前面讲的是构造好了的vptr和和virtual table,为了能快速的找到相对应的virtual function,编译器为每个virtual funcfion指派了一个表格的索引。以上这些工作都是由编译器完成的。执行期要做的就是在特定的vitual table slot中激活相应的vietual function就行了。还有每个类只有一个virtual table,每个table内含有class object中所有的active virtual functions 函数的地址。

下面是一个单一继承的列子,以及virtual table的布局:

imageimageimageimage


slot编号的特点:slot[0]是自己的destructor,后面的slot的编号是根据基类的声明的顺序继承过来的虚函数变编号,然后才是自己的函数编号。这样保证了再每个类的(基类或者派生类)中继承过来的虚函数具有相同的slot,便于后面函数的调用。
列子:如果有一个基类的指针ptr
ptr->z();则会被变换成以下的形式:
(*ptr->vptr[4])(ptr);(编译器中的转换,vptr代表编译器安放的指针,指向virtual table,vptr的4代表z()在virtual tabl中的索引)