C陷阱与缺陷（六）预处理器

第六章 预处理器
1、不能忽视宏定义中的空格
宏提供了一种对组成C程序的字符进行变换的方式，而并不作用于程序中的对象
#define f (x) ((x)-1)
因为f和后面的(x)之间多了一个空格，所以f代表(x) ((x)-1)
注：这一规则不适用于宏调用，只对宏定义适用

2、宏并不是函数
宏定义中每个参数用括号括起来，最后整个结果表达式也用括号括起来
目的：预防宏展开后因为优先级引起的计算错误
宏定义中尽量避免++等运算，容易引起副作用

3、宏并不是语句
assert宏，参数是一个表达式，如果表达式为0，就使程序终止执行
带多重if语句时，容易匹配错误
宏assert的正确定义
#define assert ((void) ((e) || _assert_error(_FILE_,_LINE_)))
利用了||运算符对两侧的操作数一次顺序求值的性质

4、宏并不是类型定义
最好使用typedef定义类型
#define T1 struct foo *
typedef struct foo *T2;
从定义来看，两者概念完全一致
但是当声明多个变量时，就出错了！
T1 a,b;    
T2 a,b;
第一个声明被扩展为struct foo * a,b;
这个语句中a被定义为一个指向结构的指针，而b却被定义为一个结构
第二个声明中a和b都是指向结构的指针