宏定义中，#/##的区别以及宏的展开

1、关于符号#和##

#define f(a,b) a##b
#define g(a)  #a
#define h(a) g(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),
...
};

清晰了很多！

2.关于宏展开

预处理过程的几个步骤：

1）字符集转换（如三联字符）

2）断行链接/

3）注释处理，/* comment */，被替换成空格

4）执行预处理命令，如#inlcude、#define、#pragma、#error等

5）转义字符替换

6）相邻字符串拼接

7）将预处理记号替换为词法记号

第4）步即如何展开宏函数的规则：在展开当前宏函数时，如果形参有#或##则不进行宏参数的展开，否则先展开宏参数，再展开当前宏。

宏替换顺序英文描述如下：

A parameter in the replacement list, unless preceded by a # or ## preprocessing token or followed by a ## preprocessing token, is replaced by the corresponding argument after all macros contained therein have been expanded.