#和##在宏替换中的作用

 ，其中的PUZZLE 4给出了一个关于宏的谜题。值得研究。

#include
#define f(a,b) a##b
#define g(a)  #a
#define h(a) g(a)
int main()
{
  printf("%s/n",h(f(1,2)));
  printf("%s/n",g(f(1,2)));
  return 0;
}

首先需要了解#和##的意义。
 
#  将右边的参数做整体的字符串替换。
 
#define g(a)  #a
 
则g(hello world) à hello world; g(sleep(1)) à sleep(1)
 
对于#的参数，即便是另一个宏，也不展开，仍然作为字符串字面信息输出。
 
所以，g(f(1,2)) à f(1,2)
 
对于h(f(1,2))，由于h(a)是非#或##的普通宏，需要先宏展开其参数a，即展开f(1,2)为12，则h(a) 宏替换为h(12)，进而宏替换为g(12), 进而宏替换为12 
 
## 将左右两边的参数做整体的字符串拼接替换。
 
#define f(a,b) a##b
 
则f(1,2) à 12, f(i,1) à i1
 
同#，对于##的参数，即便是另一个宏，也不展开，仍然作为字符串字面信息输出。
 
此外，有一个限制是，经过##替换后的内容必须能够作为一个合法的变量。
 
以上f(i,1) à i1中，如果程序中没有i1的定义，或者通过f(1,i)构成1i，则即便是通过了宏替换，也不能编译通过。

--------------------------------------------------------------------------------

日常实践中，##是常用的替换。尤其在通过C的函数指针来模拟动态绑定时大有用处。
 
下面是从stackoverflow(具体id记不清了)上摘取的一个例子。

struct command
{
  char *name;
  void (*function) (void);
};
struct command commands[] =
{
  { "quit", quit_command },
  { "help", help_command },
  ...
};

构造一个这样的commands数组，是为了在后续的设计中，可以通过交互式的字符串输入，来动态地执行相应的函数。字符串自身作为前缀，”_command”作为后缀。

手工构造这样第一个commands数组显得非常冗余，还容易造成不必要的拼写错误。下面来看看这个宏替换版本。

#define COMMAND(NAME)  { #NAME, NAME ## _command } 
struct command commands[] =
{
COMMAND (quit),
COMMAND (help),
...
};

清晰了很多！