在 C/C++ 宏定义的开头粘贴标记

Question

在宏定义的开头是否有标记粘贴参数或非函数宏？换句话说，就像#define JOIN_TOKENS(a, b) ##a##b 这样的东西是被允许的。

一个例子是JOIN_TOKENS(Up, Here) 变成UpHere。另外，我希望任何作为参数传递的值都不会被扩展。这几乎做到了，但它产生了一个错误：

#define APPEND_TOKEN(a, b) a##b
#define VAR 0
#define JOIN(a, b) APPEND_TOKEN(##a, ##b)
JOIN(VAR, iable)

它应该产生VARiable，它确实产生了，但伴随着错误：

<stdin>:4:1: error: pasting formed '(VAR', an invalid preprocessing token
JOIN(VAR, iable)
^
<stdin>:3:33: note: expanded from macro 'JOIN'
#define JOIN(a, b) APPEND_TOKEN(##a, ##b)
                                ^
<stdin>:4:1: error: pasting formed ',iable', an invalid preprocessing token
<stdin>:3:38: note: expanded from macro 'JOIN'
#define JOIN(a, b) APPEND_TOKEN(##a, ##b)
                                     ^
/



VARiable
2 errors generated.

Answer 1

类似的东西？

//encloses the argument Arg in quotation marks
#define STRINGIFY(Arg) STRINGIFY_(Arg)
#define STRINGIFY_(Arg) #Arg

//concatenates the two arguments Arg1 and Arg2 to a new token
#define CAT(Arg1, Arg2) CAT_(Arg1, Arg2)
#define CAT_(Arg1, Arg2) Arg1##Arg2

测试：

#define A MY_
#define B SPECIAL_
#define C TYPE

printf("%s\n", STRINGIFY(CAT(A, CAT(B, C))));
//output: MY_SPECIAL_TYPE

/* or */

#define MY_VAR CAT(A, CAT(B, C))
typedef int MY_VAR;

MY_VAR i = 42;

printf("%d\n", i);
//output: 42

Answer 2

#define APPEND_TOKEN(a, b) a##b
#define VAR 0
#define JOIN(a, b) APPEND_TOKEN(##a, ##b)
JOIN(VAR, iable)

它应该产生 VARiable

只需使用以下代码：

#define VAR 0
#define JOIN(a, b)   a##b
JOIN(VAR, iable)

产生以下预处理器输出。在godbolt 上测试：

VARiable