关于宏的一个奇特的特性(#与##在展开时的特性)

#define cat(x,y) x ## y
#define xcat(x, y) cat(x,y)
....
// 有如下调用
int main()
{
  ... 
  cat(1, 2) ;     // OK , 这是没问题的
  cat(cat(1, 2), 3) ;   // Error , 这里就有问题了, 据说会解析成   'cat  (  1  ,  2  )3'
  xcat(cat(1, 2), 3) ;  // OK , 这又是问什么呢? 加了一层就好了?
  ...
  return 0 ;
}

解答:

#与##在宏定义中的--宏展开
#include <stdio.h>
#define f(a,b) a##b
#define g(a) #a
#define h(a) g(a)
int main()
{
  printf("%s\n", h(f(1,2))); // 12
  printf("%s\n", g(f(1,2))); // f(1,2)
  return 0;
}

宏展开时：
如果宏定义中包含 # ，则不展开紧跟 # 后面的任何宏，直接替换。

如果宏定义中包含 ## , 则不展开 ## 前后的任何宏, 直接替换.

如果宏定义不包含 # 或者 ## ，由内向外逐层展开, 如果碰到 #，不继续往里层展开，直接执行替换。

故g(f(1,2))--->#f(1,2)--->"f(1,2)"；

故h(f(1,2))--->h(12)--->g(12)---->#12----->"12"。

PS：
##在宏中定义，是字符连接符
如a##b##c 等同于 "abc"
#在宏开头出现，是表示宏展开的方式不同
#a 等同于"a"
#abc 等同于 "abc"
复杂的:
#include <stdio.h>
#define f(a,b) a##b
#define g(a) #a
#define h(a) g(a)
int main()
{
  char a = 'a';
  cout<<g(a)<<endl; // a
  cout<<g(g(a))<<endl; // a
  printf("%s\n", h(f(1,2))); // 12
  printf("%s\n", g(f(1,2))); // f(1,2)
  printf("%s\n", g(h(f(1,2)))); // h(f(1,2))
  printf("%s\n", h(g(f(1,2)))); // "f(1,2)"
  printf("%s\n", h(h(f(1,2)))); // "12"
  system("pause");
  return 0;
}
预处理后的：（在编译选项中添加/EP /P后编译生成的.i文件）
int main()
{
  char a = 'a';
  cout<<"a"<<endl;
  cout<<"g(a)"<<endl;
  printf("%s\n", "12");
  printf("%s\n", "f(1,2)");
  printf("%s\n", "h(f(1,2))");
  printf("%s\n", "\"f(1,2)\"");
  printf("%s\n", "\"12\"");
  system("pause");
  return 0;
}
---------------------------------------------------
宏解析
1. ##操作符
##操作符它的作用是在替代表中将其前后的参数连接成为一个预处理符号，它不能出现于宏替代表的开端和末尾。
例：
#define concat(s,t) s##t
#define AAA ABC
concat(A, AA)
将被替换成
ABC
2. 重新扫描和替换
在替换列表中的所有参数替换过之后，预处理器将对结果token序列重新扫描以便对其中的宏再次替换。
当正在替换的宏在其替换列表中发现自身时，就不再对其进行替换。今儿，在任何正在嵌套替换的宏的替换过程中遇到正被替换的宏就对其不再进行替换（防止递归）。
例：
#define ROOT AAA CCC
#define AAA ROOT
ROOT
将被替换成
ROOT CCC