可变参数宏必须以...结尾并用__VA_ARGS__，省略逗号占位符会导致语法错误；##__VA_ARGS__消除空参多余逗号，C++20起可用__VA_OPT__替代；宏无法获取参数个数或单独访问变参，且展开无类型检查。
可变参数宏必须用 __VA_ARGS__，不能省略逗号占位符
可变参数宏定义时，形参列表末尾的 ... 不是可选语法糖，而是强制要求。没有它，预处理器根本不会识别为可变参数宏，__VA_ARGS__ 也会报错或被当作普通标识符处理。
常见错误是写成：#define LOG(fmt) printf(fmt, __VA_ARGS__) —— 这里缺了 ...，编译器会提示“__VA_ARGS__ used outside of a variadic macro”或直接忽略该宏展开。
正确写法必须带省略号：
#define LOG(fmt, ...) printf(fmt, ##__VA_ARGS__)
-
...出现在形参列表末尾，表示接受零个或多个额外参数 -
__VA_ARGS__只能在宏体中出现，且仅在含...的宏里合法 - 不支持嵌套展开：比如
#define A(x) B(x)中，B是可变参数宏，A("a", 1, 2)不会把1,2传给B的__VA_ARGS__
##__VA_ARGS__ 是为了消除空参数时的多余逗号
当调用 LOG("hello")（即无实际变参）时，若只写 printf(fmt, __VA_ARGS__)，预处理器会展开为 printf("hello", )，末尾多一个逗号，C/C++ 语法不允许。
立即学习“C++免费学习笔记（深入）”；
## 是 GNU C 和 C99+ 标准支持的“粘合操作符”，作用是：当 __VA_ARGS__ 展开为空时，自动删除前面的逗号。
所以必须写成：printf(fmt, ##__VA_ARGS__)。注意：## 必须紧贴 __VA_ARGS__，不能有空格，否则无效。
示例对比：
#define LOG1(fmt, ...) printf(fmt, __VA_ARGS__) // 错误：LOG1("test") → printf("test", )
#define LOG2(fmt, ...) printf(fmt, ##__VA_ARGS__) // 正确：LOG2("test") → printf("test")
C++20 起可用 __VA_OPT__ 替代 ## 处理空参场景
##__VA_ARGS__ 在 GCC/Clang 下工作良好，但在某些旧 MSVC 版本（如 VS2015 及更早）中不被支持，且行为不一致。C++20 引入 __VA_OPT__ 提供更可控的空参处理能力。
__VA_OPT__(text) 的含义是：仅当 __VA_ARGS__ 非空时，才插入 text；为空时整个 __VA_OPT__ 消失。
例如加前缀的日志宏：
#define LOG(fmt, ...) fprintf(stderr, "[%s:%d]" __VA_OPT__(": ") fmt "\n", __FILE__, __LINE__ __VA_OPT__(, ) __VA_ARGS__)
-
LOG("start")→fputs("[file.cpp:10] start\n", stderr) -
LOG("err=%d", 42)→fputs("[file.cpp:10]: err=42\n", stderr)
注意：__VA_OPT__ 是 C++20 新特性，需开启 -std=c++20 或更高标准，且 MSVC 2019 16.10+、GCC 10+、Clang 11+ 才支持。
宏里无法判断参数个数或单独访问某个变参
__VA_ARGS__ 是纯文本替换机制，不是运行时对象。它不提供 sizeof、索引或迭代能力，也不能在宏体内用 sizeof(__VA_ARGS__) 获取参数数量——这会直接编译失败。
如果真需要按参数个数分发逻辑（比如单参数走 fast path，多参数走通用 path），只能靠宏重载模拟，例如 Qt 的 QT_OVERLOADED_MACRO 或手动写多个同名宏 + 参数计数宏（如 ARG_COUNT(_1,_2,_3,...)），但这类技巧复杂、可读性差、易出错。
更现实的做法是：把逻辑下沉到函数，宏只做轻量包装。例如：
#define LOG(fmt, ...) _log_impl(__FILE__, __LINE__, fmt, ##__VA_ARGS__)
其中 _log_impl 是普通可变参数函数，用 va_list 安全处理参数，避免宏的表达力限制。
真正容易被忽略的是：宏展开发生在编译前期，所有类型检查、求值顺序、副作用都和函数完全不同。比如 LOG("%d", i++) 中的 i++ 可能被多次展开（取决于宏内部如何使用 __VA_ARGS__），引发未定义行为。
