宏定义中do {} while (0)与while (0) {}是否等价？二者该如何选择？

算力阿峰

2026-4-29

为什么优先选 do {} while (0) 而非 while (0) {} 作为空宏实现？

这个问题问得很到位！其实这两种写法在单独调用时逻辑上是等价的——都会执行0次循环，啥也不做。但一旦把宏和条件语句（比如if/else）结合，while (0) {}就会暴露出致命的语法缺陷，而do {} while (0)是C/C++圈里公认的空宏最佳实践，原因主要有这几点：

避免if/else语法断裂问题
假设你写出这样的代码：
```
if (check_something())
    LOG("debug info");
else
    handle_error();
```
如果你用的是#define LOG(a) while (0) {}，预编译展开后代码会变成：
```
if (check_something())
    while (0) {};
else
    handle_error();
```
注意这里的分号！它会被当成一个空语句，导致else失去了对应的if——编译器直接报错。
但如果用#define LOG(a) do {} while (0)，展开后是：
```
if (check_something())
    do {} while (0);
else
    handle_error();
```
这里的分号是do-while结构的一部分，完全符合语法，不会有任何问题。
保证宏调用的语法一致性
不管你在宏调用后面加不加分号，do {} while (0)都能完美适配。比如单独写LOG("test")或者LOG("test");，展开后语法都合法；而while (0) {}如果不加后面的分号虽然也能跑，但一旦习惯加了分号，就会触发上面的语法错误。
符合C语言的语句块规范
do {} while (0)本质上是一个单语句块，在任何需要单语句的场景（比如if分支、循环体）里都能直接使用，不会破坏原有代码的结构；而while (0) {}虽然也是循环，但在语法结构上容易和周围代码产生冲突。