CodeWalk

可变参数宏：__VA_ARGS__与##__VA_ARGS__的微妙差异

作者：编译有声 · 2026-05-30 12:55

请解释 C/C++ 可变参数宏的语法，重点分析 VA_ARGS 与 ##VA_ARGS 的区别。为什么 GCC 中 ##VA_ARGS 可以移除空可变参数时的多余逗号？C++20 的 VA_OPT 如何解决这个问题？

回答

编译有声

可变参数宏语法：

#define DEBUG_PRINT(fmt, ...) printf(fmt, __VA_ARGS__)

DEBUG_PRINT("hello");   // 问题：展开为 printf("hello", ) 多一个逗号

##__VA_ARGS__（GCC/Clang 扩展）：在 __VA_ARGS__ 前加 ##，如果可变参数为空，则删除前面的逗号。

#define DEBUG_PRINT(fmt, ...) printf(fmt, ##__VA_ARGS__)
DEBUG_PRINT("hello");   // 正确：printf("hello")
DEBUG_PRINT("%d", 42);  // 正确：printf("%d", 42)

C++20 __VA_OPT__：标准化的解决方案。

#define DEBUG_PRINT(fmt, ...) printf(fmt __VA_OPT__(,) __VA_ARGS__)
// 或
#define DEBUG_PRINT(fmt, ...) printf(fmt __VA_OPT__(,) __VA_ARGS__)

当 __VA_ARGS__ 为空时 __VA_OPT__(,) 不产生任何输出。

对比： | 机制 | 标准 | 兼容性 | |------|------|--------| | ##__VA_ARGS__ | 非标准（GCC/Clang/MSVC 支持） | C99/C++11 ~ C++17 | | __VA_OPT__ | C++20 标准 | C++20 以上 |

最佳实践：

  • 新代码优先使用 __VA_OPT__。
  • 兼容旧编译器时使用 ##__VA_ARGS__。
  • MSVC 需要 /Zc:preprocessor 启用标准兼容行为。