目录
一、内联函数分析
1、常量与宏回顾
- C++中的const常量可以替代宏常数定义,如:
- C + +中是否有解决方案替代宏代码片段呢?
2、内联函数
- C++中推荐使用内联函数替代宏代码片段
- C++中使用inline关键字声明内联函数
- 内联函数声明时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); // func(++a,b) // FUNC(++a, b):((++a) < (b) ? (++a) : (b))
printf("a = %d\n", a); // 2 // 3
printf("b = %d\n", b); // 3 // 3
printf("c = %d\n", c); // 2 // 3
return 0;
}
在汇编中的内联函数:
① 内联未成功
int c = func(++a, b); // func(++a,b) // FUNC(++a, b):((++a) < (b) ? (++a) : (b))
004D1996 mov eax,dword ptr [a]
004D1999 add eax,1
004D199C mov dword ptr [a],eax
004D199F mov ecx,dword ptr [b]
004D19A2 push ecx
004D19A3 mov edx,dword ptr [a]
004D19A6 push edx
004D19A7 call func (04D138Eh) // 调用func函数,内联未成功
004D19AC add esp,8
004D19AF mov dword ptr [c],eax
② 打开优化,内联成功(验证:C+ +编译器直接将函数体插入函数调用的地方)
int c = func(++a, b); // func(++a,b) // FUNC(++a, b):((++a) < (b) ? (++a) : (b))
00581886 mov eax,dword ptr [a]
00581889 add eax,1
0058188C mov dword ptr [a],eax
0058188F mov ecx,dword ptr [a]
00581892 cmp ecx,dword ptr [b]
00581895 jge main+52h (05818A2h)
00581897 mov edx,dword ptr [a]
0058189A mov dword ptr [ebp-0E8h],edx
- 内联函数具有普通函数的特征(参数检查,返回类型等)
- 函数的内联请求可能被编译器拒绝
- 函数被内联编译后,函数体直接扩展到调用的地方
宏代码片段由预处理器处理,进行简单的文本替换,没有任何编译过程,因此可能出现副作用。
- 现代C++编译器能够进行编译优化,一-些函数即使没有inline声明,也可能被内联编译
- 一些现代C++编译器提供了扩展语法,能够对函数进行强制内联,如:
- g++:_attribute_ ((always_ inline))属性
- MSVC:_forceinline
编程实验:内联函数深度示例
#include <stdio.h>
//__forceinline // VC
__attribute__((always_inline)) // g++
//inline // 标准C++
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;
}
3、注意事项
- C+ +中inline内联编译的限制
- 不能存在任何形式的循环语句(在先进的编译器中已经可以了)
- 不能存在过多的条件判断语句
- 函数体不能过于庞大
- 不能对函数进行取址操作
- 函数内联声明必须在调用语句之前
4、小结
- C++中可以通过inline声明内联函数
- 编译器直接将内联函数体扩展到函数调用的地方
- inline只是一种请求,编译器不一定允许这种请求
- 内联函数省去了函数调用时压栈,跳转和返回的开销