C陷阱和缺陷--第六章 “预处理器”

在严格意义上的编译过程开始之前，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;