C/C++ 宏中 `do { ... } while (0)` 的“零次循环”技巧

1. 问题现象

C/C++ 宏只是简单的文本替换,若宏体包含多条语句,替换后极易出现以下两类错误:

  1. else 悬空

    cpp 复制代码
    #define FOO(x)  stmt1; stmt2;
    if (cond)
        FOO(x);   // 只有 stmt1 受 if 控制
    else
        bar();
  2. 花括号与分号不匹配

    cpp 复制代码
    #define FOO(x) { stmt1; stmt2; }
    if (cond)
        FOO(x);   // 展开后多了一个分号,编译错误
    else
        bar();

2. 解决方案:do { ... } while (0)

把宏体包装在 单次执行的 do-while 循环 中:

cpp 复制代码
#define FOO(x) \
    do { stmt1; stmt2; } while (0)
  • 语义 :循环体只执行一次,与 if/elseforwhile 等结构无缝衔接。
  • 语法do { ... } while (0); 末尾自带分号,用户正常写 FOO(x); 即可通过编译。

3. 正确展开示例

cpp 复制代码
if (cond)
    FOO(x);
else
    bar();

展开后:

cpp 复制代码
if (cond)
    do { stmt1; stmt2; } while (0);
else
    bar();
  • 结构完整,无 else 悬空。
  • 分号恰好被 while (0); 吸收,无多余符号。

4. 为什么不能仅用大括号

cpp 复制代码
#define FOO(x) { stmt1; stmt2; }
  • 替换后:

    cpp 复制代码
    if (cond)
        { stmt1; stmt2; };   // 多余的分号导致语法错误
    else
        bar();
  • 大括号本身不带分号,无法消化用户写下的分号。


5. 使用要点

  1. 宏体含多条语句、内部变量定义或需要"单语句"语义时,务必 使用 do { ... } while (0)
  2. 对于只含一条表达式的宏,可省略此技巧,但保持一致性亦可保留。
  3. 现代 C++ 推荐用 inline 函数或模板替代宏;若必须用宏,则遵循此范式。

6. 结论

do { ... } while (0) 是一个 零成本、零副作用 的惯用法,确保宏在任何上下文中表现如一条普通语句。

相关推荐
Jacob023412 分钟前
Node.js 性能瓶颈与 Rust + WebAssembly 实战探索
后端·rust·node.js
王中阳Go21 分钟前
分库分表之后如何使用?面试可以参考这些话术
后端·面试
知其然亦知其所以然26 分钟前
ChatGPT太贵?教你用Spring AI在本地白嫖聊天模型!
后端·spring·ai编程
kinlon.liu1 小时前
内网穿透 FRP 配置指南
后端·frp·内网穿透
kfyty7251 小时前
loveqq-mvc 再进化,又一款分布式网关框架可用
java·后端
Dcr_stephen1 小时前
Spring 事务中的 beforeCommit 是业务救星还是地雷?
后端
raoxiaoya1 小时前
Golang中的`io.Copy()`使用场景
开发语言·后端·golang
二闹2 小时前
高效开发秘籍:CRUD增强实战
后端·设计模式·性能优化
我爱娃哈哈2 小时前
Eureka vs Consul,服务注册发现到底选哪个?性能对比深度解析!
后端
肆伍佰2 小时前
iOS应用混淆技术详解
后端