inline函数

对于内联函数,主要用在代码块比较小,并且频繁调用的时候,可以将函数定义为内联函数,这样可以在编译期间就将函数静态绑定,在函数调用处将代码展开,提高程序执行的效率。

但此处又有几个问题,

例如C++中,类的成员函数默认的都是内联函数,但是为什么又能是虚函数呢???
不是说内联函数不能为虚函数吗??这不是矛盾吗??
还记得在使用函数指针的时候,如果是普通的函数,函数的函数名和&函数名都是一样的,但是如果是类的成员函数,必须是+&吗?

这些又是为什么呢?每件事情的发生出现都是有理由的,Everything happens has a reason!! 无缘无故确实少!

这就需要理解内联函数的运行原理:

因为”inline只是程序员对编译器的建议,有inline不一定是inline函数,但是没有inline一定不是inline函数“。就像努力不一定成功,但是放弃一定失败!!

许多书上都会提到这是因为编译器比绝大多数程序员都更清楚函数调用的开销有多大,所以如果编译器认为调用某函数的开销相对该函数本身的开销而言微不足道或者不足以为之承担代码膨胀的后果则没必要内联该函数。这当然有一定道理,但是按照C、C++一脉相承的赋予程序员充分自由与决定权的风格来看,理由还不够充分。我猜想最主要的原因是为了避免编译器陷入无穷递归。如果内联函数之间存在递归调用则可能导致编译器展开内联函数时陷入无穷递归。有时候函数的递归调用十分隐蔽,程序员并不容易发现,所以简单起见,将内联与否的决定权交给编译器。


另一种不被内联的情况是使用函数指针来调用内联函数。
对于C++中内联机制的一个常见误解是:关键字"inline"只是对编译器的建议,如果编译器发现指定的函数不适合内联就不会内联;所以即使内联使用的不恰当也不会有任何副作用。这句话只对了一半,内联使用不恰当是会有副作用的:会带来代码膨胀,还有可能引入难以发现的程序臭虫。
根据规范,当编译器认为希望被内联的函数不适合内联的时候,编译器可以不内联该函数。但是不内联该函数不代表该函数就是一个普通函数了,从编译器的实际实现上来讲,内联失败的函数与普通函数是有区别的:
(1)普通的函数在编译时被单独编译一个对象,包含在相应的目标文件中。目标文件链接时,函数调用被链接到该对象上。
(2)若一个函数被声明成内联函数,编译器即使遇到该函数的声明也不会为该函数编译出一个对象,因为内联函数是在用到的地方展开的。可是若在调用该内联函数的地方发现该内联函数的不适合展开时怎么办?一种选择是在调用该内联函数的目标文件中为该内联函数编译一个对象。这么做的直接后果是:若在多个文件调用了内联失败的函数,其中每个文件对应的目标文件中都会包含一份该内联函数的目标代码。
如果编译器真的选择了上面的做法对待内联失败的函数,那么最好的情况是:没吃到羊肉,反惹了一身骚。即内联的好处没享受到,缺点却承担了:目标代码的体积膨胀得与成功内联的目标代码一样,但目标代码的效率确和没内联一样。本来是希望用稍微的代码膨胀换取时间效率的,可是现在代码膨胀了,效率一样没提高!!
更糟的是由于存在多份函数目标代码带来一些程序臭虫。

最明显的例子是:内联失败的函数内的静态变量实际上就不在只有一份,而是有若干份。这显然是个错误,但是如果不了解内幕就很难找到原因。

所以一个函数是不是内联的的看编译器;在使用inline之前一定要思考清楚,不过不适合inline的,我用了会产生什么效果!!!

你可能感兴趣的:(C++,PP(Edit,6),C++基础)