原文：点击打开链接
object-like宏 和 function-like但没有参数的宏，或macro body 有 #(stringified ) or ##(pasted) 的macro, 只执行一遍扫描（simple scan)。否则就要执行两遍扫描。
两遍扫描:
prescan: 对参数进行扫描，并对可以展开的参数进行完全的宏展开。
second scan: 用展开后的参数，对宏体进行展开，对展开后的结果 递归进行 完全的宏展开。
一遍扫描举例:
object-like宏:
#define no_param hah
no_param ==> hah
function-like宏,含有##：
#define UNAME(a) a##__LINE__
UNAME(lidy) ==> lidy__LINE__
function-like宏,含有#：
#define INC(x) x+1
#define STR(b) #b
STR(INC(x)) ===> "INC(x)"
递归问题
无论是simple scan 或 twice scan的宏展开过程，都不允许对同一宏进行第二次展开。
example:
simple scan:
#define x (4 + y)
#define y (2 * x)
x ==> (4 + y)
==> (4 + (2 * x)) 这里x不进行二次展开
twice scan:
#define a(x) a(x)+1
#define b(x) x+2
b(a(y)) ==>b(a(y)+1) 先对参数进行扫描
==>a(y)+1 +2 a(y)不能 进行第二次展开
同一宏名不允许重复定义
如果两个宏定义基本一致，是不会报错的。意思就是说前面定义了某个宏，后面定义同一名字的宏，除非与前面同名的宏定义一致，否则就是重复定义（即把同一个宏名定义为其它的含义），会报错。
判断宏一致：4条都要满足
1同是object-or function-like
2 宏体中的token要相同(就是空白分割的token)
3 如果有参数，那么形参要相同
4 有相同的空白处(空白字符数不要求一样)
相同定义，不是重复定义，不报错
#define FOUR (2 + 2)
#define FOUR (2 + 2)
#define FOUR (2 /* two */ + 2)
重复定义错误：
#define FOUR (2 + 2)
#define FOUR ( 2+2 ) //第4条 空白处不对
#define FOUR ( 2 + 2) //第4条 空白处不对
#define FOUR (2 * 2) //第3条 宏体的TOKEN不同
#define FOUR(score,and,seven,years,ago) (2 + 2) //第1条不符号
宏调用中重定义那个宏，那么新的定义只在参数展开中起作用，外层宏的宏体展开还是使用原先的定义
#define f(x) x x
f (1
#undef f
#define f 2
f)
==>1 2 1 2
f(2 3) ==> 2(2 3)//这里的宏体展开怎么会是这样呢？看到这的高手们可以给我解下惑哈！