当前位置: 首页 > news >正文

宏定义中,为什么使用:do{}while(0)这种模式是最安全的

如果你是一名C程序员,你肯定很熟悉宏,它们非常强大,如果正确使用可以让你的工作事半功倍。然而,如果你在定义宏时很随意没有认真检查,那么它们可能使你发狂,浪费N多时间。在很多的C程序中,你可能会看到许多看起来不是那么直接的较特殊的宏定义。下面就是一个例子:

1
2
#define __set_task_state(tsk, state_value)      \
     do  { (tsk)->state = (state_value); }  while  (0)

在Linux内核和其它一些著名的C库中有许多使用do{...}while(0)的宏定义。这种宏的用途是什么?有什么好处?

Google的Robert Love(先前从事Linux内核开发)给我们解答如下:

do{...}while(0)在C中是唯一的构造程序,让你定义的宏总是以相同的方式工作,这样不管怎么使用宏(尤其在没有用大括号包围调用宏的语句),宏后面的分号也是相同的效果。

这句话听起来可能有些拗口,其实用一句话概括就是:使用do{...}while(0)构造后的宏定义不会受到大括号、分号等的影响,总是会按你期望的方式调用运行。

例如:

1
#define foo(x) bar(x); baz(x)

然后你可能这样调用:

1
foo(wolf);

这将被宏扩展为:

1
bar(wolf); baz(wolf);

这的确是我们期望的正确输出。下面看看如果我们这样调用:

1
2
if  (!feral)
     foo(wolf);

那么扩展后可能就不是你所期望的结果。上面语句将扩展为:

1
2
3
if  (!feral)
     bar(wolf);
baz(wolf);

显而易见,这是错误的,也是大家经常易犯的错误之一。

 

几乎在所有的情况下,期望写多语句宏来达到正确的结果是不可能的。你不能让宏像函数一样行为——在没有do/while(0)的情况下。

如果我们使用do{...}while(0)来重新定义宏,即:

1
#define foo(x) do { bar(x); baz(x); } while (0)

现在,该语句功能上等价于前者,do能确保大括号里的逻辑能被执行,而while(0)能确保该逻辑只被执行一次,即与没有循环时一样。

对于上面的if语句,将会被扩展为:

1
2
if  (!feral)
     do  { bar(wolf); baz(wolf); }  while  (0);

从语义上讲,它与下面的语句是等价的:

1
2
3
4
if  (!feral) {
     bar(wolf);
     baz(wolf);
}

这里你可能感到迷惑不解了,为什么不用大括号直接把宏包围起来呢?为什么非得使用do/while(0)逻辑呢?

例如,我们用大括号来定义宏如下:

1
#define foo(x)  { bar(x); baz(x); }

这对于上面举的if语句的确能被正确扩展,但是如果我们有下面的语句调用呢:

1
2
3
4
if  (!feral)
     foo(wolf);
else
     bin(wolf);

宏扩展后将变成:

1
2
3
4
5
6
if  (!feral) {
     bar(wolf);
     baz(wolf);
};
else
     bin(wolf);

大家可以看出,这就有语法错误了。

http://www.hskmm.com/?act=detail&tid=26086

相关文章:

  • 20251007J赛合订本
  • XML 元素:基础、应用与优化 - 教程
  • Educational Codeforces Round 183 (Rated for Div. 2) A~D
  • Cisco vManage漏洞分析:未授权RCE与权限提升完整攻击链
  • QBXT2025S刷题 Day6题
  • 硅芯片创新如何成为云计算成功的关键
  • 东萍象棋 DhtmlXQ UBB 转 中国象棋云库查询 FEN
  • 斑马ZT210碳带及纸张安装教程
  • DHCP及DNS
  • Gitlab Runner 学习
  • AI元人文:论价值原语博弈与人文知识库共建如何重塑智能社会的决策基石
  • 算法第一张作业
  • 【高级算法】单调队列优化动态规划
  • MySQL CentOS7 本地安装
  • TypeScript装饰器 - Ref
  • 【笔记】排列与组合学习笔记
  • 【高级数据结构】线段树
  • 【高级数据结构】ST 表
  • 【高级算法】树形DP
  • 【高级数据结构】浅谈最短路
  • C++_基础
  • 2025电位仪厂家最新企业品牌推荐排行榜,纳米粒度及 Zeta 电位仪,Zeta 电位仪公司推荐
  • PCIe扫盲——物理层逻辑部分基础(二)
  • 前沿仿真未来趋势
  • StarRocks与Apache Iceberg:构建高效湖仓一体的实时分析平台 - 详解
  • 斑马打印机打印头更换教程
  • 构造中国剩余定理方程组的解
  • 2025粒度仪厂家最新品牌推荐榜,喷雾粒度分析仪, 激光粒度仪,激光粒度分析仪,纳米粒度仪公司推荐
  • MTK oppoR9m Smart Phone flash Tool 提示 ERROR: STATUS_ABORT(0xC0010002)
  • 二分图最大匹配 Dinic/EK算法