内联函数分析

1 常量与宏回顾

C++ 中const常量可以替代宏常数定义，如：
const int A = 3; <–> #define A 3

C++中是否有解决方案替代宏代码片段呢？

2 内联函数

• C++中推荐使用内联函数替代宏代码块。
• C++中使用inline关键字声明内联函数。

inline int fun(int a, int b)
{
    return a < b ? a : b;
}

注意：内联函数声明时inline关键字必须和函数定义结合在一起，否则编译器会直接忽略内联请求（在VS2013编译器优化选项中选择强制内敛时，只要函数定义或者函数声明中有一处使用了inline关键字，编译器都会对函数进行内联）。

• C++编译器可以将一个函数进行内联编译。
• 被C++编译器内联编译的函数叫做内联函数。
• C++编译器直接将函数体插入函数调用的地方，扩展到函数调用的地方，并不是简单的文本替换。
• 内联函数没有普通函数调用时的额外开销(压栈、跳转、返回)。

注意：C++编译器不一定满足函数的内联请求。

编程实验：内联函数初探

#include <stdio.h>

#define FUNC(a, b) ((a) < (b) ? (a) : (b))

inline int func(int a, int b)
{
    return a < b ? a : b;
}

int main(int argc, char *argv[])
{
    int a = 1;
    int b = 3;
    int c = FUNC(++a, b);

    printf("a = %d\n", a);
    printf("b = %d\n", b);
    printf("c = %d\n", c);

    return 0;
}

• 内联函数具有普通函数的特征(参数检查、返回类型等)。
• 函数的内联请求可能被编译器拒绝。
• 函数被内联编译后，函数体直接扩展到调用的地方。
• 宏代码片段由预处理器处理，进行简单的文本替换，没有任何编译过程，因此可能出现副作用。

3 现代编译器对于内联函数的处理

• 现代C++编译器能够进行编译优化，一些函数即使没有inline声明，也可能被内联编译。
• 一些现代C++编译器提供了扩展语法，能够对函数进行强制内联，如：
  
  • g++:attribute((always_inline))（强制内联）
  • MSVC:__forceinline(并不是强制内联，和inline功能基本一样，只是inline是标准C++推荐使用的)

编程实验：内联函数深度示例

#include <stdio.h>

//__forceinline
//__attribute__((always_inline))
inline 
int add_inline(int n);

int main(int argc, char *argv[])
{
    int r = add_inline(10);

    printf(" r = %d\n", r);

    return 0;
}

inline int add_inline(int n)
{
    int ret = 0;

    for(int i=0; i<n; i++)
    {
        ret += i;
    }

    return ret;
}

4 注意事项

• C++ 中inline内联编译的限制：
  
  • 不能存在任何形式的循环语句；
  • 不能存在过多的条件判断语句；
  • 函数体不能过于庞大；
  • 不能对函数进行取址操作；
  • 函数内联声明必须在调用语句之前。

小结

• C++中可以通过inline声明内联函数。
• 编译器直接将内联函数体扩展到函数调用的地方。
• inline只是一种请求，编译器不一定允许这种请求。
• 内联函数省去了函数调用时压栈，跳转和返回的开销。