C语言中“#“和“##“的用法

1. 前言

解释1 ：

定义中##和#的作用
内核中有很多的宏定义，在宏定义define中经常看到两个字符串##和#，这里把它的用法做一下说明：
1. ##
##是一个连接符号，用于把参数连在一起
例如：
> #define FOO(arg) my##arg
则
> FOO(abc)
相当于 myabc
2.#:
是“字符串化”的意思。出现在宏定义中的#是把跟在后面的参数转换成一个字符串
例如：
> #define STRCPY(dst, src) strcpy(dst, #src)
则
> STRCPY(buff, abc)
相当于 strcpy(buff, "abc")
3.注意事项：
另外，带有#与##参数的本身也是一个宏的话，则这个宏不会会被展开 。

2. 一般用法

＃include<cstdio>
＃include<climits>
using namespace std;
#define STR(s)     #s
#define CONS(a,b)  int(a##e##b)
int main()
{
   printf(STR(vck));           // 输出字符串"vck"
   printf("%d\n", CONS(2,3));  // 2e3 输出:2000
   return 0;
}

3. 注意事项

当宏参数是另一个宏的时候，需要注意的是凡宏定义里有用’#’或’##’的地方宏参数是不会再展开.
即， 只有当前宏生效, 参数里的宏！不！会！生！效 ！！！！

3.1 举例

#define A          (2)
#define STR(s)     #s
#define CONS(a,b)  int(a##e##b)
printf("int max: %s\n",  STR(INT_MAX));    // INT_MAX ＃include<climits>
printf("%s\n", CONS(A, A));                // compile error --- int(AeA)

两句print会被展开为：

printf("int max: %s\n","INT_MAX");
printf("%s\n", int(AeA));

分析：
由于A和INT_MAX均是宏，且作为宏CONS和STR的参数，并且宏CONS和STR中均含有#或者##符号，所以A和INT_MAX均不能被解引用。导致不符合预期的情况出现。

3.2 解决方案

解决这个问题的方法很简单. 加多一层中间转换宏. 加这层宏的用意是把所有宏的参数在这层里全部展开,
那么在转换宏里的那一个宏(_STR)就能得到正确的宏参数.

#define A           (2)
#define _STR(s)     #s
#define STR(s)      _STR(s)          // 转换宏
#define _CONS(a,b)  int(a##e##b)
#define CONS(a,b)   _CONS(a,b)       // 转换宏

结果：

printf("int max: %s\n",STR(INT_MAX));
//输出为: int max:0x7fffffff
//STR(INT_MAX) -->  _STR(0x7fffffff) 然后再转换成字符串； 

printf("%d\n", CONS(A, A));
//输出为：200
//CONS(A, A) -->  _CONS((2), (2))  --> int((2)e(2))

4.例子：
举列 -- 试比较下述几个宏定义的区别
#define A1(name, type) type name_##type##_type 或
#define A2(name, type) type name##_##type##_type
A1(a1, int); /* 等价于: int name_int_type; */
A2(a1, int); /* 等价于: int a1_int_type; */
解释：
1) 在第一个宏定义中，"name"和第一个"_"之间，以及第2个"_"和第二个
"type"之间没有被分隔，所以预处理器会把name_##type##_type解释成3段：
“name_”、“type”、以及“_type”，这中间只有“type”是在宏前面出现过
的，所以它可以被宏替换。
2) 而在第二个宏定义中，“name”和第一个“_”之间也被分隔了，所以
预处理器会把name##_##type##_type解释成4段：“name”、“_”、“type”
以及“_type”，这其间，就有两个可以被宏替换了。
3) A1和A2的定义也可以如下：
#define A1(name, type) type name_ ##type ##_type
<##前面随意加上一些空格>
#define A2(name, type) type name ##_ ##type ##_type
结果是## 会把前面的空格去掉完成强连接，得到和上面结果相同的宏定义
单独的一个 #
至于单独一个#，则表示 对这个变量替换后，再加双引号引起来。比如
#define __stringify_1(x) #x
那么
__stringify_1(linux) <==> "linux"