通常,编译器处理虚函数的方法是:给每个对象添加一个隐藏成员。隐藏成员中保存 一个指向函数地址数组的指针。这种数组称为虚函数表(virtual function table, vtbl)。虚函数表中存储了为类对象进行声明的虚函数的地址。
总之,使用虚函数时,在内存和执行速度方面有一定的成本。包括:
1、每个对象都将增大,增大量为存储地址的空间。
2、对于每个类,编译器都创建一个虚函数地址表(数组)。
3、对于每个函数调用,都需要执行一项额外的操作,即到表中查找地址。
有关虚函数的注意事项:
1、在基类方法的声明中使用关键字virtual可使该方法在基类以及所有的派生类中是虚的。
2、如果使用指向对象的引用或指针调用虚函数,程序将使用为对象类型定义的方法,而不使用为引用或指针类型定义的方法。这又称为动态联编或晚期联编。
3、如果定义的类将被用作基类,则应将那些要在派生类中重新定义的类方法声明为虚的。
4、构造函数不能是虚函数。
5、析构函数应当是虚函数,除非类不用作基类。即使这个类不用作基类,这只是一个效率方面的问题。
友元:
友元不能是虚函数,因为友元不是类成员。
重新定义不会生成函数的两个重载版本,重新定义继承的方法并不是重载。无论参数列表是否相同,该操作将隐藏所有的同名基类方法。
这引出了两条经验规则:
一、如果重新定义继承的方法,应确保与原来的原型完全相同。(除了当返回类型是基类引用或指针,则可以修改为指向派生类的引用或指针,这称为返回类型协变)。
二、如果基类声明被重载了,则应在派生类中重新定义所有的基类版本。如果只重新定义一个,则其它的几个版本将被隐藏,派生类对象将无法使用它们。