宏的二次展开

原文：点击打开链接

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)//这里的宏体展开怎么会是这样呢？看到这的高手们可以给我解下惑哈！