宏基础
宏仅仅是在C预处理阶段的一种文本替换工具,编译完之后对二进制代码不可见。基本用法如下:
1.标示符别名
#define BUFFER_SIZE 1024
预处理阶段
foo = (char *)malloc(BUFFER_SIZE);
会被替换成
foo = (char *)malloc(1024);
宏体换行需要在行末加反斜杠‘\’
#define NUMBERS 1, \ 2, \ 3
预处理阶段
int x[] = {NUMBERS};
会被替换成
int x[] = {1, 2, 3};
2.宏函数
宏名之后带括号的宏被认为是宏函数。用法和普通函数一样,只不过在预处理阶段,宏函数会被展开。
优点:没有普通函数保存寄存器和参数传递的开销,展开后的代码有利于CPU cache的利用和指令预测,速度快。
缺点:可执行代码体积大。
#define min(X, Y) ((X) < (Y) ? (X) : (Y))
那么
y = min(3, 4);
会被扩展成
y = ((3) < (4) ? (3) : (4));
宏特殊用法
1.字符串化(Stringification)
在宏体中,如果宏参数前加个#,那么在宏体扩展的时候,宏参数会被扩展成字符串的形式。如:
#define WARN_IF(EXP)\ do{\
if(EXP)\ fprintf(stderr, "Warning: " #EXP "\n");\
}while(0)
调用
WARN_IF (x == 0);
会被扩展成
do{
if(x == 0) fprintf(stderr, "Warning: " "x == 0" "\n");
}while(0);
这种用法可以用在assert中,如果断言失败,可以将失败的语句输出到反馈信息中。
2.连接(Concatenation)
在宏体中,如果宏体所在标示符中有##,那么在宏体扩展的时候,宏参数会被直接替换到标示符中。如:
#define COMMAND(NAME) {#NAME, NAME ## _command}
那么
struct command { char *name; void (*function)(void); };
在宏扩展的时候
struct command commands[] = { COMMAND(quit), COMMAND(help), ... };
会被扩展成:
struct command commands[] = { {"quit", quit_command}, {"help", help_command}, ... };
避坑
1.语法问题
由于是纯文本替换,C预处理器不对宏体做任何语法检查,像缺个括号、少个分号等预处理器是不管的。
这里要格外小心,由此可能引出各种奇葩的问题,一下还很难找到根源。
2.运算符优先级问题
不仅宏体是纯文本替换,宏参数也是纯文本替换。有以下一段简单的宏,实现乘法:
#define MULTIPLY(x, y) x * y
MULTIPLY(1, 2)没问题,会正常展开成1 * 2。
有问题的是这种表达式MULTIPLY(1+2, 3),展开后成了1+2 * 3,显然优先级错。
其实这个问题和下面要说到的某些问题都属于由于纯文本替换而导致的语义破坏问题,要格外小心。
3.分号吞噬问题
有如下宏定义:
#define SKIP_SPACES(p, limit)\ {\ char *lim = (limit);\ while(p < lim)\ {\ if(*p++ != ' ')\ {\ p--; break;\ }\ }\ }
假设有如下一段代码:
if (*p != 0) SKIP_SPACES(p, lim); else ...
此时宏替换后代码为
if (*p != 0) { ...... }; else ...
编译器发现这个else没有对应的if。
这个问题一般用do ... while(0)的形式来解决:
#define SKIP_SPACES(p, limit)\ do{\ char *lim = (limit);\ while(p < lim)\ {\ if(*p++ != ' ')\ {\ p--; break;\ }\ }\ }while(0)
4.宏参数重复调用
有如下宏定义:
#define min(X, Y) ((X) < (Y) ? (X) : (Y))
当有如下调用时
next = min(x + y, foo (z));
宏体被展开成
next = ((x + y) < (foo (z)) ? (x + y) : (foo (z)));
可以看到,foo(z)被重复调用了两次,做了重复计算。
更严重的是,如果foo是不可重入的(foo内修改了全局或静态变量),程序会产生逻辑错误。
所以,尽量不要在宏参数中传入函数调用。
5.对自身的递归引用
有如下宏定义:
#define foo (4 + foo)
按前面的理解,(4 + foo)会展开成(4 + (4 + foo)),然后一直展开下去,直至内存耗尽。
但是,预处理器采取的策略是只展开一次。也就是说,foo只会展开成(4 + foo),而展开之后foo的含义就要根据上下文来确定了。
对于以下的交叉引用,宏体也只会展开一次。
#define x (4 + y) #define y (2 * x)
注意:这是极不推荐的写法,程序可读性极差。
6.宏参数预处理
宏参数中若包含另外的宏,那么宏参数在被代入到宏体之前会做一次完全的展开,除非宏体中含有#或##。
有如下宏定义:
#define AFTERX(x) X_ ## x #define XAFTERX(x) AFTERX(x) #define TABLESIZE 1024 #define BUFSIZE TABLESIZE
AFTERX(BUFSIZE)被展开成X_BUFSIZE。因为宏体中含有##,宏参数直接代入宏体。
XAFTERX(BUFSIZE)会被展开成X_1024。
因为XAFTERX(x)的宏体是AFTERX(x),并没有#或##,所以BUFSIZE在代入前会被完全展开成1024,然后才代入宏体,变成X_1024。