带前序参数为默认值的带参宏：如何让ARG1默认取ARG0实际值？

这个问题确实是预处理器文本替换机制的典型坑点——你之前的写法里，默认参数ARG1 = ARG0中的ARG0在预处理器处理宏定义时只是个字面标识符，不会提前绑定到调用时传入的实际值。不过别担心，我们可以通过预处理器的宏重载技巧来实现你想要的效果！

核心思路 #

预处理器处理宏时是按阶段文本替换，直接在默认参数里写ARG0只会保留标识符本身。要让默认值取第一个参数的实际传入值，我们需要借助宏的参数个数检测，让预处理器根据调用时的参数数量选择不同的展开逻辑。

可移植性实现方案 #

下面是一个不依赖编译器扩展的通用实现：

// 第一步：定义宏的实际逻辑实现
#define _some_macro_impl(ARG0, ARG1) \
    printf("ARG0: %d, ARG1: %d\n", ARG0, ARG1)  // 替换为你的宏具体内容

// 第二步：定义参数个数选择器，匹配对应的处理分支
#define some_macro(...) _SOME_MACRO_DISPATCH(__VA_ARGS__, _TWO_ARGS, _ONE_ARGS)(__VA_ARGS__)

// 辅助宏：从参数列表中提取第三个参数，用于选择处理逻辑
#define _SOME_MACRO_DISPATCH(_1, _2, SELECTOR, ...) SELECTOR

// 第三步：定义单参数、双参数的处理分支
#define _ONE_ARGS(ARG0) _some_macro_impl(ARG0, ARG0)  // 单参数时，第二个参数复用第一个参数的值
#define _TWO_ARGS(ARG0, ARG1) _some_macro_impl(ARG0, ARG1)  // 双参数时直接使用传入的值

效果验证 #

• 调用some_macro(2)时，预处理器会匹配_ONE_ARGS(2)，最终展开为_some_macro_impl(2, 2)，完全符合你的预期；
• 调用some_macro(3, 5)时，会匹配_TWO_ARGS(3,5)，展开为_some_macro_impl(3,5)。

简化方案（依赖GCC/Clang扩展） #

如果你使用支持##__VA_ARGS__扩展的编译器（比如GCC、Clang），可以用更简洁的写法：

#define _some_macro_impl(ARG0, ARG1) \
    printf("ARG0: %d, ARG1: %d\n", ARG0, ARG1)

// 辅助宏：提取第二个参数，无传入则用第一个参数作为默认
#define _GET_SECOND_ARG(a, b, ...) b

#define some_macro(ARG0, ...) \
    _some_macro_impl(ARG0, _GET_SECOND_ARG(, ##__VA_ARGS__, ARG0))

这里##__VA_ARGS__的作用是：当没有传入第二个参数时，自动去掉前面的逗号，让_GET_SECOND_ARG的参数列表变成(, ARG0)，从而提取到作为默认值的ARG0。

内容的提问来源于stack exchange，提问作者Tudor Timi