C/C++宏字符串连接

Question

#define STR1      "s"
#define STR2      "1"
#define STR3      STR1 ## STR2

是否可以将 STR1 和 STR2 连接到 "s1"？ 您可以通过将参数传递给另一个宏函数来完成此操作。但有没有直接的方法呢？

Answer 1

如果它们都是字符串，您可以这样做：

#define STR3 STR1 STR2

这然后扩展为：

#define STR3 "s" "1"

在 C 语言中，用空格分隔两个字符串，如 "s" "1" 完全等同于拥有单个字符串“s1”。

Answer 2

您不需要针对字符串文字的此类解决方案，因为它们是在语言级别连接的，而且无论如何它都不起作用，因为“s”“1”不是有效的预处理器标记。

[编辑：为了回应下面错误的“仅供记录”评论，不幸的是收到了一些赞成票，我将重申上面的声明，并观察到程序片段

#define PPCAT_NX(A, B) A ## B
PPCAT_NX("s", "1")

在 gcc 的预处理阶段产生了此错误消息：错误：粘贴“”s”和“”1”不会给出有效的预处理标记

]

但是，对于一般标记粘贴，请尝试以下操作：

/*
 * Concatenate preprocessor tokens A and B without expanding macro definitions
 * (however, if invoked from a macro, macro arguments are expanded).
 */
#define PPCAT_NX(A, B) A ## B

/*
 * Concatenate preprocessor tokens A and B after macro-expanding them.
 */
#define PPCAT(A, B) PPCAT_NX(A, B)

然后，例如，PPCAT_NX(s, 1)PPCAT_NX(s, 1) 和 PPCAT(s, 1) 生成标识符 s1，除非 s 被定义为宏，在这种情况下 PPCAT (s, 1) 产生 1。

继续主题是这些宏：

/*
 * Turn A into a string literal without expanding macro definitions
 * (however, if invoked from a macro, macro arguments are expanded).
 */
#define STRINGIZE_NX(A) #A

/*
 * Turn A into a string literal after macro-expanding it.
 */
#define STRINGIZE(A) STRINGIZE_NX(A)

然后，

#define T1 s
#define T2 1
STRINGIZE(PPCAT(T1, T2)) // produces "s1"

相比之下，

STRINGIZE(PPCAT_NX(T1, T2)) // produces "T1T2"
STRINGIZE_NX(PPCAT_NX(T1, T2)) // produces "PPCAT_NX(T1, T2)"

#define T1T2 visit the zoo
STRINGIZE(PPCAT_NX(T1, T2)) // produces "visit the zoo"
STRINGIZE_NX(PPCAT(T1, T2)) // produces "PPCAT(T1, T2)"

Answer 3

提示：上面的 STRINGIZE 宏很酷，但是如果您犯了一个错误，并且它的参数不是宏 - 您的名称有拼写错误，或者忘记了#include 头文件 - 那么编译器会很高兴地将所谓的宏名称放入字符串中，不会出现错误。

如果您希望 STRINGIZE 的参数始终是具有普通 C 值的宏，则将

#define STRINGIZE(A) ((A),STRINGIZE_NX(A))

其展开一次并检查其有效性，丢弃它，然后再次将其展开为字符串。

我花了一段时间才弄清楚为什么 STRINGIZE(ENOENT) 最终成为 "ENOENT" 而不是 "2"...我没有包含errno.h。