近日，在C/C++开发者社区中，一个关于预处理器宏的经典问题再度引发热议：通过标记粘贴（token pasting）运算符##动态生成的宏名称，是否能够像普通宏一样被正确展开，进而引用其他预定义的预处理器（如__LINE__、__FILE__或自定义宏）？这一问题看似基础，却牵涉到预处理阶段的核心机制，甚至影响代码的可移植性。为此，我们采访了多位嵌入式开发专家，并结合C语言标准进行了深入剖析。
背景：##运算符的工作原理
在C/C++中，##用于将两个独立的宏标记（token）连接成一个新的标记。例如：
#define CONCAT(x, y) x##y
#define FOO 123
int a = CONCAT(FO, O); // 展开为 FOO，再进一步展开为 123
上述代码中，CONCAT(FO, O)首先通过##生成标记FOO，随后预处理器会重新扫描该标记，发现FOO是一个已定义的宏，于是将其展开为123。这似乎表明，通过##创建的宏确实可以引用其他预定义宏。然而，情况并非总是如此简单。
标准解读：重新扫描的规则
ISO C99/C11标准第6.10.3.5节明确指出，在宏替换完成后，预处理器会将结果作为一个新的预处理标记序列进行重新扫描，以识别其他宏。但关键在于，重新扫描的时机和范围受到严格限制。对于##运算符，其生成的标记在第一次展开时不会立即被重新扫描，而是等到整个宏调用完成后，再对整个结果序列进行重新处理。这意味着，如果生成的标记本身是一个宏名称，且该宏在后续的重新扫描阶段存在，它就会被正确展开。
但若涉及嵌套宏或递归定义，行为会变得复杂。例如：
#define BAR CONCAT(FO, O) // BAR 展开为 FOO，再展开为 123
#define FOO 456
int b = BAR; // 展开结果？实际上 FOO 在 BAR 定义时已被展开为123，不会受后续重定义影响
这种“一次展开”特性是预处理器的基本规则，与##本身无关。
边界测试：能否引用__LINE__等预定义宏？
预定义宏（如__LINE__、__FILE__、__DATE__）具有特殊性质：它们在每次展开时动态生成当前行号、文件名等，而非普通的宏替换。那么，##能否创建出这些宏并将其正确展开？我们用一个典型例子验证：
#define LINE_MACRO(x) __LINE__##x // 错误：x会被粘贴，但__LINE__不是宏名称？实际上错误
正确的用法是：
#define LINE_CONCAT(x) x##__LINE__ // 比如 LINE_CONCAT(abc) 生成 abc__LINE__? 不，是 abc 和 __LINE__ 粘贴
更常见的需求是：通过##生成一个包含当前行号的标记，例如VAR_123。这直接使用__LINE__即可，无需动态引用其他预处理器。但若试图让##生成的标记本身是__LINE__，再期待它展开为行号，则需要小心。例如：
#define GET_LINE_TOKEN(line) line
#define LINE_MAKER GET_LINE_TOKEN(__LINE__) // 直接使用
// 能否通过 ## 生成 __LINE__ 标记？
#define TOKEN(x) x##_token
#define TOKEN_LINE TOKEN(__LINE__) // 展开为 42_token？还是 __LINE__token？
实际测试：编译器会先展开__LINE__为具体数字（如42），然后再与_token粘贴，最终得到42_token。这说明##的操作数在粘贴前已经被展开为具体值，而不会保留__LINE__宏的名称。因此，通过##无法生成一个代表__LINE__本身的宏标记，因为__LINE__在作为##的操作数时，会先被替换为数字，然后再进行粘贴。
专家观点：可移植性与陷阱
资深嵌入式工程师李明表示：“##创建的宏能否引用其他预定义预处理器，本质上取决于该预处理器是否在重新扫描阶段可见。对于普通宏，只要定义在作用域内且不导致无限递归，通常可以正常工作。但像__LINE__、__COUNTER__这类动态宏，由于它们在作为操作数时已提前展开，无法通过##保留其‘延迟展开’的特性。”
此外，不同编译器对某些边缘情况（如##粘贴出预处理指令#或##本身）的处理存在差异。例如GCC和Clang会报错，而MSVC在某些模式下可能产生未定义行为。因此，开发者在使用##进行高级宏元编程时，务必参考编译器文档并编写防御性代码。
结论：可以，但需理解阶段顺序
总结来说，通过标记粘贴创建的宏，只要生成的标记在重新扫描阶段能够被识别为有效的宏名称，并且该宏的定义在当前翻译单元中可见，就可以引用其他预定义的预处理器。但这一机制受到预处理阶段顺序的严格限制：##操作发生在参数替换之后、重新扫描之前，因此对__LINE__等动态宏无法达到“宏中宏”的间接引用效果。对于大多数自定义宏，这种技巧是安全且高效的，广泛应用于代码生成、X宏模式等领域。掌握这一原理，将帮你避开许多隐蔽的预处理陷阱。