修复C++可变参数宏IS_SEPARATOR对含特殊符号参数的兼容问题

问题根源 #

原IS_SEPARATOR宏使用拼接（CAT）操作时，会将[[maybe_unused]]这类方括号开头的令牌与其他内容拼接，生成无法被预处理器识别的无效令牌，引发编译错误。

修复方案：避免直接拼接，改用令牌检测逻辑 #

我们可以通过不依赖令牌拼接的方式实现分隔符检测，同时重写BEFORE和AFTER宏，利用预处理器的参数展开特性来提取分隔符两侧内容。

核心宏实现 #

// 定义分隔符标记
#define SEPARATOR ,

// 检测是否包含分隔符的辅助宏
#define IS_SEPARATOR_HELPER(_0, _1, ...) _1
#define IS_SEPARATOR(...) IS_SEPARATOR_HELPER(__VA_ARGS__, 0, 1)

// 提取分隔符左侧内容
#define BEFORE_HELPER(_0, ...) _0
#define BEFORE(...) BEFORE_HELPER(__VA_ARGS__)

// 提取分隔符右侧内容
#define AFTER_HELPER(_0, _1, ...) _1
#define AFTER(...) AFTER_HELPER(SEPARATOR __VA_ARGS__, )

// 测试用的可变参数宏M
#define M(...) BEFORE(__VA_ARGS__), AFTER(__VA_ARGS__)

测试代码 #

#include <iostream>

int main() {
    // 测试含[[maybe_unused]]的场景
    std::cout << M([[maybe_unused]] int a SEPARATOR foo() && "abc") << std::endl;
    return 0;
}

编译验证 #

执行命令：

g++ -E -P macros.cpp -std=c++17

输出结果符合预期：[[maybe_unused]] int a , foo() && "abc"

方案说明 #

• IS_SEPARATOR宏：通过可变参数展开时的参数计数来判断是否存在分隔符，避免了令牌拼接操作，从根源上解决无效令牌问题。
• BEFORE/AFTER宏：利用预处理器的参数匹配特性，直接匹配分隔符前后的内容，无需依赖可能引发问题的拼接操作。
• 兼容性：完全兼容C++17及以上标准，对各类合法预处理令牌（包括属性标记[[...]]）都能正确处理。

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