do{}while(0)的妙用

本文介绍了do...while(0)在C++中的巧妙应用,包括消除goto语句提升代码健壮性,以及在宏定义中使用do...while(0)解决编译问题。通过具体代码示例展示了其在错误处理和资源管理中的作用。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

do...while(0)的妙用

在C++中,有三种类型的循环语句:for, while, 和do...while, 但是在一般应用中作循环时, 我们可能用for和while要多一些,do...while相对不受重视。
但是,最近在读我们项目的代码时,却发现了do...while的一些十分聪明的用法,不是用来做循环,而是用作其他来提高代码的健壮性。

1. do...while(0)消除goto语句。
通常,如果在一个函数中开始要分配一些资源,然后在中途执行过程中如果遇到错误则退出函数,当然,退出前先释放资源,我们的代码可能是这样:
version 1

bool Execute()
{
   
//分配资源

   int *p = new int" _msthash="1428141" _mstchunk="true">int *p = new int ;
   
bool bOk(true" _msthash="1428142" _mstchunk="true">bool bOk(true
);

   
//执行并进行错误处理

bOk = func1();
   
if(!
bOk)
   {
delete p;
p
=
NULL;
      
return false" _msthash="1462539" _mstchunk="true">return false
;
   }

bOk
=
func2();
   
if(!
bOk)
   {
delete p;
p
=
NULL;
      
return false" _msthash="1465334" _mstchunk="true">return false
;
   }

bOk
=
func3();
   
if(!
bOk)
   {
delete p;
p
=
NULL;
      
return false" _msthash="1463085" _mstchunk="true">return false
;
   }

   
//
 ..........

   
//执行成功,释放资源并返回

delete p;
p
=
NULL;
    
return true" _msthash="1465321" _mstchunk="true">return true
;
   
}


这里一个最大的问题就是代码的冗余,而且我每增加一个操作,就需要做相应的错误处理,非常不灵活。于是我们想到了goto:
version 2

bool Execute()
{
   
//分配资源

   int *p = new int" _msthash="1428143" _mstchunk="true">int *p = new int ;
   
bool bOk(true" _msthash="1428144" _mstchunk="true">bool bOk(true
);

   
//执行并进行错误处理

bOk = func1();
   
if(!bOk) goto" _msthash="1430325" _mstchunk="true">if(!bOk) goto
errorhandle;

bOk
=
func2();
   
if(!bOk) goto" _msthash="1430871" _mstchunk="true">if(!bOk) goto
errorhandle;

bOk
=
func3();
   
if(!bOk) goto" _msthash="1461421" _mstchunk="true">if(!bOk) goto
errorhandle;

   
//
 ..........

   
//执行成功,释放资源并返回

delete p;
p
=
NULL;
    
return true" _msthash="1463657" _mstchunk="true">return true
;

errorhandle:
delete p;
p
=
NULL;
    
return false" _msthash="1464216" _mstchunk="true">return false
;
   
}


代码冗余是消除了,但是我们引入了C++中身份比较微妙的goto语句,虽然正确的使用goto可以大大提高程序的灵活性与简洁性,但太灵活的东西往往是很危险的,它会让我们的程序捉摸不定,那么怎么才能避免使用goto语句,又能消除代码冗余呢,请看do...while(0)循环:
version3

bool Execute()
{
   
//分配资源

   int *p = new int" _msthash="1428145" _mstchunk="true">int *p = new int ;

   
bool bOk(true" _msthash="1428146" _mstchunk="true">bool bOk(true
);
   
do

   {
      
//执行并进行错误处理
bOk = func1();
      
if(!bOk) break" _msthash="1430872" _mstchunk="true">if(!bOk) break
;

bOk
=
func2();
      
if(!bOk) break" _msthash="1461422" _mstchunk="true">if(!bOk) break
;

bOk
=
func3();
      
if(!bOk) break" _msthash="1461980" _mstchunk="true">if(!bOk) break
;

      
// ..........


   }
while(0" _msthash="1463098" _mstchunk="true">while(0 );

    
//释放资源

delete p;
p
=
NULL;
    
return
bOk;
   
}


“漂亮!”, 看代码就行了,啥都不用说了...

2 宏定义中的do...while(0)
如果你是C++程序员,我有理由相信你用过,或者接触过,至少听说过MFC, 在MFC的afx.h文件里面, 你会发现很多宏定义都是用了do...while(0)或do...while(false), 比如说:
#define AFXASSUME(cond) do { bool __afx_condVal=!!(cond); ASSERT(__afx_condVal); __analysis_assume(__afx_condVal); } while(0)
粗看我们就会觉得很奇怪,既然循环里面只执行了一次,我要这个看似多余的do...while(0)有什么意义呢?
当然有!
为了看起来更清晰,这里用一个简单点的宏来演示:
#define SAFE_DELETE(p) do{ delete p; p = NULL} while(0)
假设这里去掉do...while(0),
#define SAFE_DELETE(p) delete p; p = NULL;
那么以下代码:
if(NULL != p) SAFE_DELETE(p)
else ...do sth...

就有两个问题,
1) 因为if分支后有两个语句,else分支没有对应的if,编译失败
2) 假设没有else, SAFE_DELETE中的第二个语句无论if测试是否通过,会永远执行。
你可能发现,为了避免这两个问题,我不一定要用这个令人费解的do...while, 我直接用{}括起来就可以了
#define SAFE_DELETE(p) { delete p; p = NULL;}
的确,这样的话上面的问题是不存在了,但是我想对于C++程序员来讲,在每个语句后面加分号是一种约定俗成的习惯,这样的话,以下代码:
if(NULL != p) SAFE_DELETE(p);
else ...do sth...

其else分支就无法通过编译了(原因同上),所以采用do...while(0)是做好的选择了。

也许你会说,我们代码的习惯是在每个判断后面加上{}, 就不会有这种问题了,也就不需要do...while了,如:
if(...)
{
}
else
{
}

诚然,这是一个好的,应该提倡的编程习惯,但一般这样的宏都是作为library的一部分出现的,而对于一个library的作者,他所要做的就是让其库具有通用性,强壮性,因此他不能有任何对库的使用者的假设,如其编码规范,技术水平等。

原文连接:http://www.cnblogs.com/flying_bat/archive/2008/01/18/1044693.html

整个编程用一个主函数搞定。32单片机,c语言编程,头文件名stm32f10x.h,oled是4口 首先,在开始的时候,OLED显示:“want to chat with me?”此时你可以选 择向单片机通过串口发送1或者2。1(好的,我想跟你聊呢)、2(对不起,我要忙着 学习呢)。 发送2后,LED灯开始呼吸,且呼吸速率逐渐加快,OLED显示“I am angry!!!”。这句话的下面显示time的倒计时,“time = x”,x从3逐渐变为 0。一秒钟减1,减为0时,LED灯熄灭,OLED重新显示“want to chat with me?”并且下面显示“you have x chances”,x初值是3,也就是说总共有3次机 会,每拒绝一次女友就会少一次机会,当chances的值减为0时,不再显示“want to chat with me?”和“you have x chances”,直接显示:“woohoo,let’s break up”(中文翻译为“呜呜呜,我们分手吧”),LED灯开始闪烁,每一秒钟 闪烁一次。5秒后程序重启。 发送1后,LED灯亮起,但是亮度为完全亮的一半亮度。OLED显示:“say please.....”此时可以向串口发送数字,通过数字来选择和女友聊天的内容。 发送1的话(聊天内容是天气如何),OLED显示:“what’s the weather like?”(估计显示不下,只要求必须显示关键词weather) 发送2的话(聊天内容是你喜欢我哪里),OLED显示:“what do you like about me?”(估计显示不下,只要求必须显示关键词like) 发送3的话(聊天内容是你曾经谈过几次恋爱),OLED显示:“how many times have you been in love?”(估计显示不下,只要求必须显示关键词in love ) 发送4的话(聊天内容是你有多爱我),OLED显示:“how many do you love me?”(估计显示不下,只要求必须显示关键词love me) 然后当你按下按键后,OLED下面显示倒计时“time = x”,x的值从9逐渐减 少,一直到0为止。在此过程中LED灯闪烁,并且闪烁速率逐渐加快。你必须在这10 秒内向串口发送你的答案, 如果没有time的值到0时,还没有发送完答案,那么LED灯将熄灭。并且OLED 显示:“woohoo,you do not love me”(中文翻译为“呜呜呜,你不爱我了”) 持续5秒OLED屏幕闪烁。然后,重新进入问问题阶段。但是LED灯的亮度明显变 暗。 如果及时发送了正确答案的话,那么LED灯将满亮。并且OLED显示:“I love you!!!”(此处不进行翻译)持续3秒OLED屏幕闪烁。然后,重新进入问问题阶 段。但是LED灯的亮度明显变亮。 LED灯的亮度有5个阶段,刚开始处于第3个阶段每一次成功答对问题,LED灯亮 度增加,第5阶段为满亮,第一阶段为熄灭。如果到了满亮或熄灭阶段,不必重新进 入问问题阶段。OLED屏幕闪烁完毕后,OLED显示:“let’s get married!!!”或 者“let’s break up now!!!”持续3秒后,程序重启。 (接下去,LED灯变成什么状态,就要执行相应的程序) 第一题的答案有:S(晴朗)、R(下雨)、W(多云)。回答任意一个即为正 确。 第二题的答案有:A(外貌)、S(灵魂)、L(都有)。只有回答L才是正确。 回答A或者SLED灯亮度减小一个阶段。 第三题的答案有:回答0是正确答案,1-3为半对答案,LED灯亮度减小一个阶 段,4以上LED灯直接熄灭。 第四题的答案有:回答10是正确答案,8或9为半对答案,LED灯亮度减小一个阶 段,6或7为半对答案,LED灯亮度减小两个阶段,6以下LED灯直接熄灭。 要求:在发完答案后,串口会把你的答案在屏幕上显示出来,格式为“your answer is xxx”  如果发送其他数字的话(选择除了1 2 3 4之外的题目),或者答案不在正确答案 范围里。说明你根本不了解你的女友,LED灯直接熄灭。             
06-01
32单片机,c语言编程,头文件名stm32f10x.h,只用给出主函数就行 首先,在开始的时候,OLED显示:“want to chat with me?”此时你可以选 择向单片机通过串口发送1或者2。1(好的,我想跟你聊呢)、2(对不起,我要忙着 学习呢)。 发送2后,LED灯开始呼吸,且呼吸速率逐渐加快,OLED显示“I am angry!!!”。这句话的下面显示time的倒计时,“time = x”,x从3逐渐变为 0。一秒钟减1,减为0时,LED灯熄灭,OLED重新显示“want to chat with me?”并且下面显示“you have x chances”,x初值是3,也就是说总共有3次机 会,每拒绝一次女友就会少一次机会,当chances的值减为0时,不再显示“want to chat with me?”和“you have x chances”,直接显示:“woohoo,let’s break up”(中文翻译为“呜呜呜,我们分手吧”),LED灯开始闪烁,每一秒钟 闪烁一次。5秒后程序重启。 发送1后,LED灯亮起,但是亮度为完全亮的一半亮度。OLED显示:“say please.....”此时可以向串口发送数字,通过数字来选择和女友聊天的内容。 发送1的话(聊天内容是天气如何),OLED显示:“what’s the weather like?”(估计显示不下,只要求必须显示关键词weather) 发送2的话(聊天内容是你喜欢我哪里),OLED显示:“what do you like about me?”(估计显示不下,只要求必须显示关键词like) 发送3的话(聊天内容是你曾经谈过几次恋爱),OLED显示:“how many times have you been in love?”(估计显示不下,只要求必须显示关键词in love ) 发送4的话(聊天内容是你有多爱我),OLED显示:“how many do you love me?”(估计显示不下,只要求必须显示关键词love me) 然后当你按下按键后,OLED下面显示倒计时“time = x”,x的值从9逐渐减 少,一直到0为止。在此过程中LED灯闪烁,并且闪烁速率逐渐加快。你必须在这10 秒内向串口发送你的答案, 如果没有time的值到0时,还没有发送完答案,那么LED灯将熄灭。并且OLED 显示:“woohoo,you do not love me”(中文翻译为“呜呜呜,你不爱我了”) 持续5秒OLED屏幕闪烁。然后,重新进入问问题阶段。但是LED灯的亮度明显变 暗。 如果及时发送了正确答案的话,那么LED灯将满亮。并且OLED显示:“I love you!!!”(此处不进行翻译)持续3秒OLED屏幕闪烁。然后,重新进入问问题阶 段。但是LED灯的亮度明显变亮。 LED灯的亮度有5个阶段,刚开始处于第3个阶段每一次成功答对问题,LED灯亮 度增加,第5阶段为满亮,第一阶段为熄灭。如果到了满亮或熄灭阶段,不必重新进 入问问题阶段。OLED屏幕闪烁完毕后,OLED显示:“let’s get married!!!”或 者“let’s break up now!!!”持续3秒后,程序重启。 (接下去,LED灯变成什么状态,就要执行相应的程序) 第一题的答案有:S(晴朗)、R(下雨)、W(多云)。回答任意一个即为正 确。 第二题的答案有:A(外貌)、S(灵魂)、L(都有)。只有回答L才是正确。 回答A或者SLED灯亮度减小一个阶段。 第三题的答案有:回答0是正确答案,1-3为半对答案,LED灯亮度减小一个阶 段,4以上LED灯直接熄灭。 第四题的答案有:回答10是正确答案,8或9为半对答案,LED灯亮度减小一个阶 段,6或7为半对答案,LED灯亮度减小两个阶段,6以下LED灯直接熄灭。 要求:在发完答案后,串口会把你的答案在屏幕上显示出来,格式为“your answer is xxx”  如果发送其他数字的话(选择除了1 2 3 4之外的题目),或者答案不在正确答案 范围里。说明你根本不了解你的女友,LED灯直接熄灭。只用给出主函数,主函数             
最新发布
06-01
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值