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

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

#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记不清了)上摘取的一个例子。

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),
...
};

清晰了很多!

C++ Primer Plus 第6版 中文版 清晰有书签PDF+源代码

读C++ Primer 之构造函数陷阱

读C++ Primer 之智能指针

读C++ Primer 之句柄类

内容版权声明:除非注明,否则皆为本站原创文章。

转载注明出处:http://www.heiqu.com/900187336b9f70f504f2b037a43dc41a.html