【C++深度解析】4、内联函数分析

C++ 中的 const 常量可以替代宏常数定义，那么 C++ 中是否有解决方案替代代码片呢？

1 内联函数

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

• C++ 编译器直接将内联函数体插入函数调用的地方
• 内联函数没有普通函数调用时的额外开销（压栈，跳转，返回）
• C++ 编译器不一定满足函数的内联请求

实例分析：内联函数初探

// 4-1.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;
}

代码很简单，就是求两数的最小值，编译运行：

$ g++ 4-1.c -o 4-1
$ ./4-1
a = 2
b = 3
c = 2

将第 12 行改为 int c = FUNC(++a, b); 再次编译运行：

$ g++ 4-1.c -o 4-1
$ ./4-1
a = 3
b = 3
c = 3

为什么会出现这种情况呢，因为宏定义是直接展开，展开后如下：

int c = ((++a) < (b) ? (++a) : (b));

所以 ++a 操作计算了两次，a，b，c 的值都是 3。

• 用 VS2013 反汇编，如下图所示

可以看出，虽然函数 func() 声明为 inline，但是这里并没有展开，还是进行了函数调用。inline 只是一个请求，C++ 编译器不一定满足内联请求。

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

2 深入内联函数

• 现代 C++ 编译器能够进行编译优化，一些函数即使没有 inline 声明，也可能被内联编译
• 一些现代 C++ 编译器扩展了语法，能够对函数进行强制内联，如：
  • g++: __attribute__((always_inline))
  • MSVC: __forceinline

实例分析：

#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;
}

上面的代码中 inline 是 C++ 中的标准，向编译器申请将函数设为内联函数，编译器不一定满足内敛要求；__forceinline 是 vs 编译器的强制内联标示符，将 inline 换为__forceinline，强制函数为内联类型；
__attribute__((always_inline)) 是 g++ 编译器的标示符，将 inline 换为__attribute__ 强制函数为内联类型。

尽量使用 C++ 标砖规定的 inline 标示符

！！注意事项：
C++ 中的 inline 内联编译的限制

• 不能存在任何形式的循环语句
• 不能存在过多的条件判断语句
• 函数体不能过于庞大
• 不能对函数进行取址操作
• 函数内联声明必须在调用语句之前

3 小结

1、C++ 中可以通过 inline 声明为内联函数
2、编译器直接将内联函数扩展到函数调用的地方
3、inline 只是一种请求，编译器不一定允许这种请求
4、内联函数省去了函数嗲偶哦那个时压栈，跳转和返回的开销