第6课 内联函数分析

本文内容取自于对狄泰学院 唐佐林老师 C++深度解析 课程的学习总结

常量与宏回顾

• C++中的const常量可以替代宏常数定义，如：

宏代码在预处理时直接拷贝，虽然节省了栈的开销，但不会做语法检查，为了解决这一问题，C++中引入了内联函数

---

内联函数

• C++中推荐使用内联函数替代宏代码片段

• C++中使用inline关键字声明内联函数

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

内联函数声明时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;
}

运行结果：

我们将代码中的main中的宏FUNC改为内联函数func

int c = FUNC(++a, b);

运行结果

很显然，调用内联函数func输出的结果是正确的，而调用宏FUNC输出的结果不对。
原因在于在调用宏FUNC时，调用处的代码直接替换成了FUNC宏的内容，即
int c = ((++a) < (b) ? (++a):(b))。 没有语法检查，宏内容直接替换，而内联函数能够
避免这一问题。

• 内联函数具有普通函数的特征（参数检查，返回类型等）
• 函数的内联请求可能被编译器拒绝
• 函数被内联编译后，函数体直接扩展到调用的地方
  
  上面的实验也很好的说明了这个副作用

我们到VS2019中查看上述代码调用内联函数的汇编代码

发现依然调用了func这个函数，说明func内联失败。验证了前面所说的，C++编译器不一定满足函数的内联请求！

将vs配置为内联函数强制内联

再次查看汇编代码

汇编中没有再调用func函数，说明func函数内联成功。

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

---

注意事项

C++中inline内联编译的限制：

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

---

小结

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

---