C语言宏#和##

C语言宏#和##

一、基本用途

#用于将宏定义中的参数转换为字符串。
例：存在宏#define TO_STRING(x) #x
则TO_STRING(hello)展开为"hello"

##用于拼接Token。
例：存在宏#define DECLARE_HANDLER(x) x##_handler
则DECLARE_HANDLER(foo)展开为foo_handler

二、打印出展开后的宏

#define TO_STRING(x) #x
#define MACRO_TO_STRING(macro) TO_STRING(macro)
宏MACRO_TO_STRING将宏转换为字符串

例：

#define FOO_1(n) int a##n;

cout << MACRO_TO_STRING(FOO_1(1)) << endl;

将输出int a1;

三、宏参数替换中的#和##

Unicode下文件名的宏定义如下：
#define WIDEN2(x) L##x
#define WIDEN(x) WIDEN2(x)
#define __WFILE__ WIDEN(__FILE__)

为什么不直接定义#define __WFILE__ WIDEN2(__FILE__)呢？这篇博文也是为此而生。
先来看看展开的结果：
将MACRO_TO_STRING(__WFILE__)打印出来结果为
L"D:\\TestMacro\\test.cpp"

如果定义#define __WFILE__ WIDEN2(__FILE__)
将MACRO_TO_STRING(__WFILE__)打印出来结果为
L__LINE__

从结果可以看到__LINE__并没有展开。

四、宏参数替换标准

C99标准中6.10.3.1
6.10.3.1 Argument substitution
After the arguments for the invocation of a function-like macro have been identified,
argument substitution takes place. A parameter in the replacement list, unless preceded
by a # or ## preprocessing token or followed by a ## preprocessing token (see below), is
replaced by the corresponding argument after all macros contained therein have been
expanded.

当宏参数替换遇到#或##时，宏参数不会被宏定义替换。

#define WIDEN2(x) L##x
#define WIDEN(x) WIDEN2(x)
#define __WFILE__ WIDEN(__FILE__)

替换过程如下：
__WFILE__
WIDEN(__FILE__)
WIDEN2("D:\\TestMacro\\test.cpp")
L"D:\\TestMacro\\test.cpp"

而定义#define __WFILE__ WIDEN2(__FILE__)的替换过程如下：
__WFILE__
WIDEN2(__FILE__)
L__FILE__

WIDEN2宏定义替换参数遇到##，将该参数作为一般token处理，即使参数是个宏，也不替换该宏。
要展开的话，就需要增加一步中间操作，上例中的WIDEN(x)就是中间操作。

同理，上面的MACRO_TO_STRING打印宏定义的宏也是使用了TO_STRING作为了中间步骤。
MACRO_TO_STRING(__WFILE__)
TO_STRING(L"D:\\TestMacro\\test.cpp")
"L"D:\\TestMacro\\test.cpp""

参考资料：
1.《C语言参考手册(原书第5版)》, Samuel P.Harbison / Guy L.Steele , 机械工业出版社
2. C99标准 ISO/IEC 9899:1999 (E)

C语言宏#和##,古老的榕树,5-wow.com