C++反射嵌套宏展开失败求助：含Token Pasting的宏无法完全展开

核心原因 #

C++预处理器规则明确：当宏参数出现在##（标记粘贴操作符）的两侧时，该参数不会被进一步展开。这就导致嵌套宏中，内层宏（比如你的FUNC(foo, bar)）会被当作原始token直接传入粘贴宏，无法先完成自身的展开，最终出现宏展开中途停滞的情况。

解决方案：两层宏拆分法 #

通过引入中间展开宏，让内层宏先完全展开，再执行标记粘贴操作。具体分为两步：

1. 定义一层仅负责接收参数并展开的辅助宏；
2. 让辅助宏将展开后的参数传递给真正带##的粘贴宏。

最小复现代码修改示例 #

错误版本（展开停滞）

#include <iostream>

#define FUNC(a, b) N
#define CONCAT_(x, y) x##y
#define CALL_N(M_FUNC, a, b) std::cout << #a ", " #b << std::endl;
#define M_EXPAND(x) x

int main() {
    // 展开结果不符合预期，停留在未完全展开状态
    M_EXPAND(CONCAT_(CALL_, FUNC(foo, bar))(M_FUNC, foo, bar));
    return 0;
}

正确版本（完全展开）

#include <iostream>

#define FUNC(a, b) N
// 辅助宏：先展开参数，再传递给粘贴宏
#define CONCAT(x, y) CONCAT_(x, y)
// 实际粘贴宏：仅执行标记粘贴
#define CONCAT_(x, y) x##y
#define CALL_N(M_FUNC, a, b) std::cout << #a ", " #b << std::endl;
// 两层展开宏：确保多层嵌套宏能完全展开
#define M_EXPAND(x) M_EXPAND_(x)
#define M_EXPAND_(x) x

int main() {
    // 正确展开为 std::cout << "foo, bar" << std::endl;
    M_EXPAND(CONCAT(CALL_, FUNC(foo, bar))(M_FUNC, foo, bar));
    return 0;
}

反射代码中GEN_INFOS_field的适配 #

针对你反射实现中的GEN_INFOS_field这类宏，同样套用两层宏结构：

// 替换原有直接带##的宏定义
#define GEN_INFOS_field(type, name) CONCAT(GEN_FIELD_, type)(name)
// 通用辅助展开+粘贴宏
#define CONCAT(x, y) CONCAT_(x, y)
#define CONCAT_(x, y) x##y

这样type参数如果是由其他宏生成的token，会先被完全展开，再执行标记粘贴操作。

关键注意点 #

• 所有涉及标记粘贴的嵌套宏，必须拆分“参数展开”和“标记粘贴”两个步骤，避免##抑制参数展开；
• 展开宏（如M_EXPAND）定义为两层，可应对更深层次的宏嵌套场景；
• 该写法遵循C标准预处理器规则，在MinGW-W64及其他主流编译器中均兼容。

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