我觉得在这里应该首先介绍一下到底啥叫内联?所谓内联就是在编译期在函数调用点上将函数本体复制过来并在函数调用点上展开的机制。在这里作者很明显的不是想讨论内联的好处有多好而是讨论它的坏处。
因为函数调用点是非常小的,所以你在编写程序的时候你的源码量可能较小,但是在编译的时候函数会在函数调用点上展开,当然也有在运行时刻展开的,不过那是少数,那么这样的话它可能使产生的目标码比你想象的大。如果被内联的函数很大的话,那么产生的目标就超大。由此而带来的影响还有会导致额外的换页行为,低效和指令高速缓存装置的击中率(虽然我还不懂这到底是为啥,不过姑且记一下吧)。但是如果内联函数体积很小,那么极有可能函数编译完成时刻产生的目标码比函数调用时候的码要小。内联函数存在意义在于针对那些频繁调用的小函数使用内联的话可以节省栈的存储空间,因为内联函数运行完毕它又返回到调用点上了。
内联可以显示指定也可以隐式使用。类体内的成员函数都是内联函数,如果在类中存在友元函数,那这个友元函数也是内联的。而显式指定不是在函数的声明式前边而是函数的定义式,也就是函数的实现前面加上inline修饰符。
接下来作者介绍了一下泛型与inline的关系。通常来讲inline都是出现在头文件中的,而泛型也是出现在头文件中的,这就让不少程序员意外泛型一定是内联的。
为什么这俩东西一般出现在头文件中?那是因为编译器迟早是要将它们具体化,而在具体化之前必须要知道它们长得啥样。再有就是泛型具体化的时刻,一般来讲是在编译器,也有的是在连接期。
如果你写的泛型有必要成为内联的那你就应该将它声明为内联,否则你还是不要那样做,这是为啥呢?因为内联是需要成本的,其中之一就是在调用点上展开使代码膨胀。
编译器是不会对virtual函数进行内联的,因为virtual函数是个虚表,只有在运行期才能确定要指向哪个函数,而内联通常是发生在编译期,所以编译器根本就找不到virtual函数的本体,更别提内联了。
所以内联能不能起作用不是看你有没有加inline进行修饰,而是取决于编译器能不能实现内联。
如果编译器要内联某个函数,那么编译器可能为它生成一个函数本体,以便取其地址。但是,编译器无法给一个并不存在的函数提供指针,因此通常编译器不会给通过指针而进行调用的行为进行内联,因为编译器也不能确定这个指针的指向是否确有其物。所以内联函数有可能被内联调用也可能不被内联调用。再有就是类的构造函数和析构函数,有的时候类会自动生成构造函数和析构函数的本体,因为这样的话,构造函数和析构函数就可以通过函数指针调用它们的非内联本体了。而将构造函数和析构函数设成内联其实并不明智,因为即使是空的,编译器也会自动添加大量的代码到里面去,而这些在编译、连接、执行时所花费的代价是相当大的。
另外内联函数还无法随着程序的升级而升级。这就是它的一个性质,至于为什么我还不清楚。如果程序有所改动,那么所有使用到内联函数的地方都需要重新编译。而如果使用非内联函数的程序在该非内联函数被改动之后直接连接就好了。
另外,大部分调试器对内联函数没招,因为在调用点上没有函数体。因此现在在大部分DEBUG程序中都禁止inline。
在软件开发中有一个80-20原则,即,一个程序把80%的执行时间花费在20%的代码上面,所以你应该合理的运用inline为你的代码瘦身。
最后总结道:
1、inline只适合那些小的,频繁调用的程序上面。这使程序调试和二进制升级更容易,也可以最小化代码膨胀,最大化程序执行速度,但不可避免代码膨胀。
2、泛型虽然也出现在头文件中,但不一定就是inline的。
原则30:透彻了解inline(内联)的里里外外
最后编辑于 :
©著作权归作者所有,转载或内容合作请联系作者
- 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
- 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
- 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
推荐阅读更多精彩内容
- 《Effective C++ 中文版 第三版》读书笔记 ** 条款 30:透彻了解 inlining 的里里外外 ...
- 引入内联函数的目的是为了解决程序中函数调用的效率问题。 函数是一种更高级的抽象。它的引入使得编程者只关心函数的功能...
- 转载自:http://www.cnblogs.com/iloveyoucc/archive/2012/03/18/...