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

摘自：http://blog.csdn.net/kingkai620/article/details/5905606

文/kingkai
http://blog.csdn.net/haoel/archive/2009/05/18/4197010.aspx，其中的PUZZLE 4给出了一个关于宏的谜题。值得研究。

[c-sharp] view plaincopy
#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)));
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记不清了)上摘取的一个例子。
[cpp] view plaincopy
struct command
{
char *name;
void (*function) (void);
};
struct command commands[] =
{
{ "quit", quit_command },
{ "help", help_command },
...
};

构造一个这样的commands数组，是为了在后续的设计中，可以通过交互式的字符串输入，来动态地执行相应的函数。字符串自身作为前缀，”_command”作为后缀。
手工构造这样第一个commands数组显得非常冗余，还容易造成不必要的拼写错误。下面来看看这个宏替换版本。
[cpp] view plaincopy
#define COMMAND(NAME) { #NAME, NAME ## _command }
struct command commands[] =
{
COMMAND (quit),
COMMAND (help),
...
};

清晰了很多！