5、内联函数分析

1、常量与宏的回顾

• C++中的const常量可以替代宏常数定义，如：
  const int A = 3；——> #define A 3
  C++中是否有解决方案替换宏代码片段呢？

2、内联函数

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

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

宏定义结果：

内联函数结果：

从这里看出，宏定义是有缺陷的，由于是文本替换，导致得出的结果有些出人意料。
而对函数进行内联编译，我们从上面看出，就是编译器直接将函数体插到函数调用的地方，省去了很多开销。它的结果和函数得出的结果一致，但是它比宏定义要安全很多，当内联编译成功，比函数调用少了很多开销，十分高效。

其实对于上面那个我们写的内联函数，其实编译器并没有把它内联成功，见下图

反汇编里面我们能看到调用函数的过程，这说明编译器并没有内联我们的函数成功。在VS2015我们可以这样设置

设置为函数强制内联，设置后我们再来看一下反汇编

在这里我们看到，内联成功。但是一般我们选择默认的选项。

总结：

• 内联函数具有普通函数的特征（参数检查，返回类型等）
• 函数的内联请求可能被编译器拒绝
• 函数被内联编译后，函数体直接扩展到调用的地方。而宏代码块由预处理器处理，进行简单的文本替换，没有任何编译过程，因此可能出现副作用。
• 内联函数成功后，它的效率根本不会输给宏代码块的，并且类型上比宏代码块安全很多，因此，在C++开发中首选内联函数。
  　
  现代C++编译器能够进行编译优化，一些函数即使没有inline声明，也可以被内联编译。
  一些现代C++编译器提供了扩展语法，能够对函数进行强制内联，如：
  

#include <stdio.h>

//__forceinline
//__attribute__((alway_inline))
inline
 int add_inline(int n)
{
	int ret = 0;
	for (int i = 0; i < n; i++)
	{
		ret += i;
	}
	return ret;
}

int main()
{
	int r = add_inline(10);
	printf("r = %d\n", r);

	return 0;
}

3、注意事项

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

小结：

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