想必很多人都听说过虚函数开销大,貌似很多答案都说是因为虚函数表导致的那一次间接调用,真的如此吗?
直接看下面这两段代码:
- #include <cmath>
- #include "timer.h"
- struct Base {
- public:
- virtual int f(double i1, int i2) { return static_cast<int>(i1 * log(i1)) * i2; }
- };
- int main() {
- TimerLog t("timer");
- Base *a = new Base();
- int ai = 0;
- for (int i = 0; i < 1000000000; i++) {
- ai += a->f(i, 10);
- }
- cout << ai << endl;
- }
执行时间:12.895s
- #include <cmath>
- #include "timer.h"
- struct Base {
- public:
- int f(double i1, int i2) { return static_cast<int>(i1 * log(i1)) * i2; }
- };
- int main() {
- TimerLog t("timer");
- Base *a = new Base();
- int ai = 0;
- for (int i = 0; i < 1000000000; i++) {
- ai += a->f(i, 10);
- }
- cout << ai << endl;
- }
执行时间:12.706s
这两段代码的执行时间几乎没有区别,可见虚函数表导致的那一次函数间接调用并不浪费时间,所以虚函数的开销并不在重定向上,这一次重定向基本上不影响程序性能。
那它的开销究竟在哪里呢?看下面两段代码,这两段代码和上面相比只改动了一行:
- #include <cmath>
- #include "timer.h"
- struct Base {
- public:
- virtual int f(double i1, int i2) { return static_cast<int>(i1 * log(i1)) * i2; }
- };
- int main() {
- TimerLog t("timer");
- Base *a = new Base();
- int ai = 0;
- for (int i = 0; i < 1000000000; i++) {
- ai += a->f(10, i); // 这里有改动
- }
- cout << ai << endl;
- }
执行时间:436ms
- #include <cmath>
- #include "timer.h"
- struct Base {
- public:
- int f(double i1, int i2) { return static_cast<int>(i1 * log(i1)) * i2; }
- };
- int main() {
- TimerLog t("timer");
- Base *a = new Base();
- int ai = 0;
- for (int i = 0; i < 1000000000; i++) {
- ai += a->f(10, i); // 这里有改动
- }
- cout << ai << endl;
- }
执行时间154ms
这里看到,仅仅改变了一行代码,虚函数调用就比普通函数慢了几倍,为什么?
虚函数其实最主要的性能开销在于它阻碍了编译器内联函数和各种函数级别的优化,导致性能开销较大,在普通函数中log(10)会被优化掉,它就只会被计算一次,而如果使用虚函数,log(10)不会被编译器优化,它就会被计算多次。如果代码中使用了更多的虚函数,编译器能优化的代码就越少,性能就越低。
虚函数通常通过虚函数表来实现,在虚表中存储函数指针,实际调用时需要间接访问,这需要多一点时间。
然而这并不是虚函数速度慢的主要原因,真正原因是编译器在编译时通常并不知道它将要调用哪个函数,所以它不能被内联优化和其它很多优化,因此就会增加很多无意义的指令(准备寄存器、调用函数、保存状态等),而且如果虚函数有很多实现方法,那分支预测的成功率也会降低很多,分支预测错误也会导致程序性能下降。
如果你想要写出高性能代码并频繁的调用虚函数,注意如果用其它的方式(例如if-else、switch、函数指针等)来替换虚函数调用并不能根本解决问题,它还有可能会更慢,真正的问题不是虚函数,而是那些不必要的间接调用。
正常的函数调用:
而虚函数调用与此完全不同,唯一的区别就是编译时不知道函数的地址,而是:
通常,使用虚函数没问题,它的性能开销也不大,而且虚函数在面向对象代码中有强大的作用。
但是不能无脑使用虚函数,特别是在性能至关重要的或者底层代码中,而且大项目中使用多态也会导致继承层次很混乱。
那么有什么好方法替代虚函数呢?这里提供几个思路,读者请持续关注,后续会具体讲解:
这几种方法是Michael Spertus大佬介绍的,各有各的优缺点,作者都会用,但什么情况下使用哪个,取决于你自己的判断,这里只是教你了一个工具,什么时候用都取决于你自己。
Michael Spertus
世界级C++技术权威
Michael Spertus是世界级C++技术权威。作为ISO C++标准委员会资深成员,Michael 曾递交过50多项标准提案,是内存管理与性能调优方面公认的技术权威。他目前是Symantec的技术院士与首席科学家,负责云端安全服务。同时在芝加哥大学任教。Michael 自1980开始沉迷软件设计,是IBM PC第一个商用C语言编译器的作者,并曾创办 Geodesic,后被VERITAS收购。
参考资料
https://softwareengineering.stackexchange.com/questions/191637/in-c-why-and-how-are-virtual-functions-slower
信息化2.0时代提出开展智慧教育创新发展行动。2019年2月,中共中央、国务院印发...
摘要 元旦期间 订单业务线 告知 推送系统 无法正常收发消息,作为推送系统维护者...
本文整理自直播《Hologres 数据导入/导出实践-王华峰(继儒)》 视频链接: https:/...
在Python语言中有如下3种方法: 成员方法 类方法(classmethod) 静态方法(staticm...
从 10.0.0 版开始,异步迭代器就出现在 Node 中了,在本文中,我们将讨论异步迭...
2021年3月24日,主题为《数据的世界,世界的数据》的星环科技2021春季新品发布会...
建站 什么 虚拟主机 够用?这要看搭建的是什么类型的网站。比如个人博客类型的网...
Docker生成新镜像版本的两种方式 There are two ways Docker can generate new m...
【51CTO.com快译】 数据可视化工具不断发展,提供更强大的功能,同时改善可访问...
前提条件 请您在购买前确保已完成注册和充值。详细操作请参见 如何注册公有云管...