可变参数宏详解：从__VA_ARGS__到__VA_OPT__的日志封装实战

要说 C/C++ 里最容易“看着会用、一写就翻车”的语法，可变参数宏定义绝对排得上前三。我刚开始封装日志时写的是 #define LOG(fmt, ...) printf(fmt, __VA_ARGS__)，测试单参数调用直接编译报错，对着 __VA_ARGS__ 发了好一阵呆。后来把可变参数宏从头到尾捋了一遍，从 C99 引入的 __VA_ARGS__，到 GNU 扩展的 ##__VA_ARGS__，再到 C++20 的 __VA_OPT__，每个细节背后几乎都对应一个具体踩坑场景。这篇文章就把可变参数宏的原理、三种主流写法、编译器差异，以及日志封装、宏重载这类实战用法串一遍。刚接触宏的新手，还有在 MSVC 和 GCC 之间反复横跳的老手，应该都能找到点有用的东西。

1. 从日志宏说起：为什么没有可变参数宏会很痛苦

1.1 固定参数数量的宏写日志有多别扭

宏在很长一段时间里都只能写固定数量的参数。想封装一个带文件、行号的日志宏，最笨的写法是给每种参数个数都准备一份：

c复制#define LOG_INFO_0(fmt)       fprintf(stderr, "[INFO] " fmt "\n")
#define LOG_INFO_1(fmt, a)    fprintf(stderr, "[INFO] " fmt "\n", a)
#define LOG_INFO_2(fmt, a, b) fprintf(stderr, "[INFO] " fmt "\n", a, b)

这种代码看着就已经很头疼了，实际用起来更难受。调用点一旦出现三个以上参数，就得继续复制一个新宏。更烦的是，想让调用方手动把 __FILE__、__LINE__ 传进来时，代码会变成 LOG_INFO("value = %d", __FILE__, __LINE__, 42)——参数顺序谁都会混，而且日志代码里塞满了文件信息，可读性很差。

可变参数宏能一次性解决“宏参数数量不确定”这个痛点。调用方只需要传业务信息，文件、行号、级别都由宏内部自动补全。这里要特别强调一个概念：宏是在预处理阶段做文本展开，不是运行时函数调用。所以 __VA_ARGS__ 虽然叫参数，本质上只是一串 token，预处理器把它们原样塞进宏体，编译器真正编译时看到的已经是替换完的代码了。

1.2 __VA_ARGS__ 的两种基本形态

C99 给出的标准答案是 __VA_ARGS__ 标识符，它代表“可变参数部分的所有 token”。基本写法有两种：

c复制#define DEBUG_PRINT(...)       printf(__VA_ARGS__)      // 全可变
#define DEBUG_PRINT2(fmt, ...) printf(fmt, __VA_ARGS__) // 前一个参数固定，后面可变

第一种适合原封不动转发给 printf 族函数，第二种适合“前几个参数固定、后面数量不定”的场景，比如 fmt 必须最先给出，后面才是格式化要用的值。两者本质一样：__VA_ARGS__ 就是预处理器给“剩余实参 token”起的名字。

需要注意一点，C99 引入可变参数宏之后，C++11 也开始支持。如果你的项目还在用 C++98 这样的老标准，那就不能用这个东西。另外一个容易混淆的概念是运行时可变参数函数：int f(int count, ...) 是在运行期通过 va_arg 逐个取参，而可变参数宏是在编译前处理 token，两者经常配合使用，但机制完全不同，这点在后面的日志封装中还会用到。

2. __VA_ARGS__、## 粘连与 __VA_OPT__：三个细节看懂变参宏

2.1 标准形式与空参数引起的尾逗号问题

前面那句 #define DEBUG_PRINT2(fmt, ...) printf(fmt, __VA_ARGS__) 看起来人畜无害，真正跑起来就露馅了。调用 DEBUG_PRINT2("hello") 时，展开结果是：

c复制printf("hello", )

函数调用参数列表里多了个尾逗号，编译直接报错。这是可变参数宏最经典的问题：当 __VA_ARGS__ 为空时，前面那个固定逗号没有东西可接，就留成了空参数。

解决思路有三类：一是要求调用方永远至少传两个参数，比如 DEBUG_PRINT2("%s", "hello")，但格式串里没有占位符时这样用很别扭；二是用 GNU 扩展的 ##__VA_ARGS__；三是用 C++20/C23 的 __VA_OPT__。后两种才是工程上真正常用的方案。

2.2 GNU 扩展 ##__VA_ARGS__：空格子直接吃掉的魔法

GCC 和 Clang 提供了一种扩展写法，用 ## 把空的可变参数连着前面的逗号一起吞掉：

c复制#define LOG(fmt, ...) \
    fprintf(stderr, "[%s:%d] " fmt "\n", \
            __FILE__, __LINE__,