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、内联函数省去了函数嗲偶哦那个时压栈,跳转和返回的开销