关于记号粘贴操作符(token paste operator): ##
1 简单的说, ##
是一种分割连接方式, 它的作用是先分隔, 然后进行强制连接.
其中, 分隔的作用类似于空格. 我们知道在普通的宏定义中, 预处理器一般把空格解释成分段标志. 对每一段和前面比较,相同的就被替换. 但这样做的结果是, 被替换段之间存在一些空格. 如果我们不希望出现这些空格,就可以通过添加一些##来代替空格.
另外一些分隔标志是, 包括操作符, 比如 +,-,*,/,[,],...,
所以尽管下面的宏定义没有空格, 但是依然表达有意义的定义:
#define add(a,b) a+b
而其强制连接的作用是,去掉和前面的字符串之间的空格,而把两者连接起来.
2 举例 – 试比较下下述几个宏定义的区别
#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
结果是##会把前面的空格去掉完成强连接,得到和上面结果相同的宏定义
3 其他相关 – 单独的一个#
至于单独一个#
,则表示对这个变量替换后,再加双引号引起来。比如:#define __stringify_1(x) #x
. 那么, __stringify_1(linux) <==> "linux"
.