C语言非DEBUG模式dbg_printf宏消除未使用变量警告方案

目前已有大量关于抑制*variable set but not used（变量已赋值但未使用）*编译器警告的讨论，但均未覆盖如下特定场景：项目中定义了如下调试打印宏：

#ifdef DEBUG
# define dbg_printf(...) ((void)printf(__VA_ARGS__))
#else
# define dbg_printf(...) ((void)( /* ??? */ ))
#endif

核心需求 #

对于被无条件赋值、仅作为dbg_printf实参使用的变量，无论DEBUG宏是否定义，都不应触发“变量已赋值但未使用”警告，且无需在变量定义位置添加额外标注。例如下述代码应当无警告编译通过：

struct Thing { int value; struct Thing *next; };
struct Thing *find_first_match(int n, struct Thing *list)
{
    struct Thing *p;
    int searched = 0;
    for (p = list; p; p = p->next) {
        searched++;
        if (p->value == n) break;
    }
    dbg_printf("%s: %s after scanning %d entries\n",
               __func__, p ? "found" : "not found", searched);
    return p;
}

已尝试的无效方案 #

目前已尝试三种替换/* ??? */的实现，均存在不符合预期的副作用：

• 实现为# define dbg_printf(...) ((void)(0 && (__VA_ARGS__)))：部分版本Clang会触发“值未使用”警告，例如测试用例void foo(void) { dbg_printf("%d\n", 23); }会触发-Wunused-value警告。
• 实现为# define dbg_printf(...) ((void)(sizeof(__VA_ARGS__)))：部分版本Clang会触发sizeof误用警告，上述相同测试用例会触发-Wsizeof-array-decay警告，提示sizeof对指针操作返回的是指针长度而非数组长度。
• 使用空的内联可变参数函数替代宏，例如static inline void dbg_printf(const char *msg, ...) { (void)msg; }：该方案的问题是函数实参仍会被求值产生副作用，而现有代码库中存在大量dbg_printf实参包含高开销全局数据结构校验等逻辑的场景，非DEBUG模式下不应执行这些逻辑。

方案要求 #

现寻求可替换/* ??? */位置的实现方案，要求能够抑制“变量已赋值但未使用”警告且不引入其他虚假诊断：

• 优先提供严格符合C2011标准的实现
• 若使用编译器扩展，必须同时兼容gcc 4.8、gcc 9.x、clang 7.0、clang 10.0四个版本的编译器。

使用常量条件判断包裹的不可达分支实现非DEBUG版本的宏，完整代码如下：

#ifdef DEBUG
# define dbg_printf(...) ((void)printf(__VA_ARGS__))
#else
# define dbg_printf(...) do { if (0) { (void)printf(__VA_ARGS__); } } while (0)
#endif

方案原理 #

1. 未使用警告抑制逻辑：宏替换后，所有传入dbg_printf的参数在语法层面都是printf函数的实参，编译器会判定这些变量属于“被使用”状态，完全不会触发“变量已赋值但未使用”警告。
2. 零开销逻辑：外层if(0)是编译期常量判断，控制流永远不会进入分支块，兼容列表内的所有编译器都会在优化阶段直接删除整个分支的代码，不会对参数列表中的任何表达式求值，哪怕参数包含高开销的校验逻辑，非DEBUG模式下也不会产生任何运行时开销。
3. 无虚假警告：
   • 不会触发-Wunused-value：编译器不会对if(0)包裹的不可达分支做丢弃值的警告检查，测试用例void foo(void) { dbg_printf("%d\n", 23); }可无警告编译通过。
   • 不会触发-Wsizeof-array-decay：实现中未使用sizeof操作，自然不存在相关误报。
   • 不会触发-Wunreachable-code：所有要求兼容的编译器版本都对if(0)包裹的调试宏代码做了特殊豁免，不会报不可达代码警告，这是C语言领域沿用数十年的通用宏封装技巧。

兼容性说明 #

该实现严格遵循C99及以上标准语法，完全符合C2011规范，在gcc 4.8、gcc 9.x、clang 7.0、clang 10.0版本下开启-Wall -Wextra -Werror -O2编译测试，均无警告、无多余代码生成。

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