关于记号粘贴操作符(token paste operator): `##`

关于记号粘贴操作符(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"

.