C++中使用do{}while(0)形式空宏相比纯空宏有什么作用？

这个宏完全不是冗余定义，是C/C++工程里宏编写的经典防御式实践，相比直接定义为空宏有非常明确的工程考量，且不会带来任何运行时开销。

具体的设计考量主要有三点：

• 规避高警告等级下的空语句编译警告
  如果直接把关闭断言状态下的ASSERTCORE定义为空宏，那调用处的ASSERTCORE(expr);展开后就是一个孤立的分号，也就是空语句。当这个调用出现在无大括号包裹的if/for/while分支体里时，GCC、Clang、MSVC等编译器开高警告等级（比如-Wall -Wextra）都会触发空语句体警告，典型的就是if (cond) ; 这类代码的告警。而替换为do {} while (0)后，宏加末尾分号会展开为一条合法的、非空的循环语句，编译器不会判定为空语句体，不会触发这类无意义告警。
• 保证开关断言两种场景下的语法一致性
  断言开启时，ASSERTCORE(expr)展开为标准库的assert(expr)，是一个标准的表达式语句，要求调用时末尾加分号构成完整语句；断言关闭时，do {} while (0)同样要求末尾加分号构成完整语句，两种状态下宏的调用语法完全一致，不会出现“开断言能编译过、关断言就报语法错”的诡异问题。
  反过来如果用空宏，一旦有人漏写了宏调用末尾的分号，空宏会直接消失，前后的代码会意外拼接，甚至可能悄悄通过编译，把语法错误掩盖成逻辑bug；而do {} while (0)如果漏写末尾分号，会直接触发编译错误，提前把问题拦在编译阶段。
• 避免语法结构被破坏
  空宏展开后没有任何语法实体，在一些复杂的宏嵌套、无大括号多分支场景下可能导致语法结构错位。而do {} while (0)是C/C++标准明确规定的单条语句，不管放在什么合法的语句位置，都不会和前后的if/else/for/while等关键字产生意料之外的语法绑定，和非空版本的宏行为完全对齐。

补充说明：这个写法没有任何运行时代价，编译器在优化阶段（O1及以上）会直接把do {} while(0)这段代码完全删掉，最终生成的二进制和用空宏的效果完全一致，属于零成本的安全写法。

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