编译器处理虚函数的方法
给每个对象添加隐藏成员,隐藏成员保存一个指向函数地址数组的指针,该数组称为虚函数表(V-Table)。虚函数表中存储了为类对象进行声明的虚函数地址。
示例
一个基类对象包含一个指针,该指针指向基类中所有虚函数的的地址表。派生类对象将包含一个指向独立地址表的指针。如果派生类提供虚函数的新定义,该虚函数表将保存新函数的地址;如果派生类没有重新定义虚函数,派生类对应虚函数表将保存函数原始版本的地址。如果派生类定义了新的虚函数,则则该函数地址也将被添加到派生类的虚函数表中。注意,无论类中虚函数个数多少,对象中只添加一个地址成员,只是表的大小不同而已。
调用虚函数时,程序将查看存储在对象中的虚函数表的地址(即vptr的值),然后转向相应的函数地址表。如果使用类声明中定义的第一个虚函数,则程序将使用数组中的第一个函数地址,并执行具有该地址的函数,如果使用类声明中的第三个虚函数,程序将使用地址为数组中第三个元素的函数。
总之,使用虚函数时,在内存和执行速度方面有一定的成本,包括:
1. 每个对象都将增大,增大量为存储地址的空间;
2. 对于每个类,编译器都创建一个虚函数地址表(数组);
3. 对于每个函数调用,都需要执行一项额外的操作,即到表中查找地址
虽然非虚函数的效率比虚函数稍高,但不具备动态联编功能。
参考书籍:《C++ Primer Plus 第6版 中文版》