如何解决X-Macro定义中宏参数标识符拼接未展开的问题？

这个问题本质是C预处理器的##（令牌拼接）操作符的特性导致的：当你直接用foo ## num时，##会抑制它的操作数进行宏展开，所以num对应的MAX_PRIME不会被替换成5，而是直接被当作字符串和foo拼接，就出现了fooMAX_PRIME这种奇怪的函数名。

要修复这个问题，我们需要加一层中间宏来触发宏展开，再进行拼接。具体步骤如下：

1. 你的X-Macro定义不需要改动，保持原样就行：

#define MAX_PRIME 5
#define PRIMES_X(func) \
    func(2) \
    func(3) \
    func(MAX_PRIME)

2. 定义两层辅助宏来实现“先展开参数，再拼接”的逻辑：

// 内层宏：负责实际的令牌拼接
#define CONCAT_IMPL(a, b) a ## b
// 外层宏：先展开传入的参数，再传给内层宏
#define CONCAT(a, b) CONCAT_IMPL(a, b)

3. 修改MAKE_FUNC，用外层辅助宏来代替直接的##操作：

#define MAKE_FUNC(num) void CONCAT(foo, num);
PRIMES_X(MAKE_FUNC)

为什么这能生效？ #

C预处理器处理宏调用时，会先展开宏的参数（除非参数里包含##或#这类特殊操作符）。当我们调用CONCAT(foo, num)时：

• 第一步：num会被展开成MAX_PRIME
• 第二步：MAX_PRIME继续被展开成5
• 第三步：把展开后的foo和5传给CONCAT_IMPL，完成拼接，得到foo5

这样就能正确生成foo2()、foo3()和foo5()的声明了。

内容的提问来源于stack exchange，提问作者BeeOnRope