内联函数的实现机制

以下摘自C++ Thinking     

为了理解内联何时有效，应该先理解编译器遇到一个内联函数时将做什么。对于任何函数，
编译器在它的符号表里放入函数类型（即包括名字和参数类型的函数原型及函数的返回类型）。
另外，编译器看到内联函数和内联函数的分析没有错误时，函数的代码也被放入符号表。代码
是以源程序形式存放还是以编译过的汇编指令形式存放取决于编译器。
调用一个内联函数时，编译器首先确保调用正确，即所有的参数类型必须是正确类型或编
译器必须能够将类型转换为正确类型，并且返回值在目标表达式里应该是正确类型或可改变为
正确类型。当然，编译器对任何类型函数都是这样做的，这与预处理器显著不同，因为预处理
器不能检查类型和进行转换。
假如所有的函数类型信息符合调用的上下文的话，内联函数代码就会直接替换函数调用，
消除了调用的开销。假如内联函数也是成员函数，对象的地址( t h i s )就会被放入合适的地方，
这当然也是预处理器不能执行的。

 

以下摘自 http://topic.csdn.net/t/20030630/22/1975426.html

 

      让我们看看C++   的“函数内联”是如何工作的。对于任何内联函数，编译器在符号表里放入函数的声明（包括名字、参数类型、返回值类型）。如果编译器没有发现内联函数存在错误，那么该函数的代码也被放入符号表里。在调用一个内联函数时，编译器首先检查调用是否正确（进行类型安全检查，或者进行自动类型转换，当然对所有的函数都一样）。如果正确，内联函数的代码就会直接替换函数调用，于是省去了函数调用的开销。这个过程与预处理有显著的不同，因为预处理器不能进行类型安全检查，或者进行自动类型转换。假如内联函数是成员函数，对象的地址（this）会被放在合适的地方，这也是预处理器办不到的。
      C++   语言的函数内联机制既具备宏代码的效率，又增加了安全性，而且可以自由操作类的数据成员。所以在C++   程序中，应该用内联函数取代所有宏代码，“断言assert”恐怕是唯一的例外 。assert是仅在Debug版本起作用的宏，它用于检查“不应该”发生的情况。为了不在程序的Debug版本和Release版本引起差别，assert不应该产生任何副作用。如果assert是函数，由于函数调用会引起内存、代码的变动，那么将导致Debug版本与Release版本存在差异。所以assert不是函数，而是宏。

 

       inline是一种“用于实现的关键字”，而不是一种“用于声明的关键字”。一般地，用户可以阅读函数的声明，但是看不到函数的定义。尽管在大多数教科书中内联函数的声明、定义体前面都加了inline关键字，但我认为inline不应该出现在函数的声明中。这个细节虽然不会影响函数的功能，但是体现了高质量C++/C程序设计风格的一个基本原则：声明与定义不可混为一谈，用户没有必要、也不应该知道函数是否需要内联。