在严格意义上的编译过程开始之前,C语言预处理器首先对程序代码作了必要的转换处理;
虽然宏(#define)非常有用,但如果没有认识到 宏只是对程序的文本起作用,那么很容易对宏的作用感到迷惑;
6.1 不能忽视宏定义中的空格
定义宏的时候不能使用空格;
这一规则不适用于宏调用,只适用于宏定义;
#define f (x) ((x) - 1)
// 实际含义 f 代表 (x) ((x) - 1)
// 正确写法
#define f(x) ((x) - 1)
6.2 宏并不是函数
我们最好在宏定义中吧每个参数都用括号括起来;同样,整个结果表达式也应该用括号括起来;
宏替换之后代码含义不一致
#define abs(x) x>=0?x:-x // 错误写法,参数没有括起来
abs(a-b) 展开为 a-b>0?a-b:-a-b; 和预期的 a-b>0?a-b:-(a-b) 结果不一致
abs(a)+1 展开为 a>=0?a:-a+1; 和预期的 (a>=0?a:-a)+1 结果不一致
#define abs(x) ((x)>=0?(x):-(x)) // 正确写法
宏里面的参数被执行两次;
尽量不要把宏来当成参数使用,避免使用过程中产生歧义
#define max(a,b) ((a)>(b)?(a):(b))
big=x[0];
i=1;
while (i<n)
big = max(big,x[i++])
// 替换之后代码, 当 big < x[i++] 的时候,i++ 会执行两次
big = ((big)>(x[i++]) ? (big) : (x[i++]))
使用宏的另一个危险是,宏展开可能产生非常庞大的表达式,占用的空间远远超过了编程者所期望的空间;
#define max(a,b) ((a)>(b)?(a):(b))
// 比较a b c d 四个数中的最大值
max(max(a,b),max(c,d))
// 展开后
((((a)>(b)?(a):(b)))>(((c)>(d)?(c):(d)))?
(((a)>(b)?(a):(b))):(((c)>(d)?(c):(d))))
6.3 宏并不是语句
谨慎在宏定义里面,使用 if else等条件判断语法
#define assert(e) if (!e) assert_error(__FILE__, __LINE__)
if(x>0 && y>0)
assert(x > y);
else
assert(y > x);
// 展开后
if(x>0 && y>0)
if (!(x>y)) assert_error("a.c", 37);
else
if (!(y>x)) assert_error("a.c", 39);
// 做一下语法排版处理,和我们的预期目的相聚甚远
if(x>0 && y>0)
if (!(x>y))
assert_error("a.c", 37);
else
if (!(y>x))
assert_error("a.c", 39);
// 正确写法,利用||的顺序计算语法;但任然不建议使用宏
#define assert(e) ((void)((e) || assert_error(__FINE__, __LINE)))
6.4 宏并不是类型定义
宏的一个常见用途是,使多个不同变量的类型可在一个地方说明;但是涉及到指针的时候,就可能出现异常情况;
#define T1 struct foo *
typedef struct foo *T2;
T1 a,b; // 被扩展为 struct foo * a,b; a是结构体指针,b是结构体变量
T2 c,d;