在一些C语言程序中我们会看到do…while(0);这样的语句,这样的用法貌似画蛇添足,实际却颇有妙用。单独来看,do…while(0)和顺序执行`…部分的代码的效果并无二致,然而在如下两种情况下的效果却十分巧妙。
一.宏定义中实现局部作用域
我们知道宏定义只是做一个标识符和字符串的替换,尽管宏定义的形式可以类似于函数,但是它实际并不具备与函数类似的局部作用域。当然了,我们可以通过在宏定义中使用大括号的形式,如:#define func(x){…} ,来实现局部作用域,但是这也会带来新的麻烦。
#define swap(a, b){a = a+b; b = a-b; a = a-b;}
int main()
{
int a = 1, b = 2;
if(1)
swap(a,b);
else
a = b = 0;
return 0;
}
上面的代码乍看并没用问题,但是要想到宏定义会在预编译后被替换,下面是替换后的代码。
int main()
{
int a = 1, b = 2;
if(1)
{
a = a+b;
b = a-b;
a = a-b;
};
else
a = b = 0;
return 0;
}
这下问题就明显了:在if后的代码块后面多出了一个 ;,这会引发编译错误。使用该宏定义时不在后面加;可以解决这个问题,但是这显然不符合我们的编码习惯,并且宏的编写者和使用者之间需要有统一的标准。而在宏定义中使用do…while(0)可以解决这个问题。
#define swap(a, b) do{\
a = a+b;\
b = a-b;\
a = a-b;\
}while(0)
int main()
{
int a = 1, b = 2;
if(1)
swap(a,b);
else
a = b = 0;
return 0;
}
像上面的代码那样,我们可以放心地在宏定义后面使用分号而不会造成问题啦。
二、代替goto
在C语言程序中,我们可能会在发生错误以后做一些特殊的处理,如果顺利执行则直接退出,这可以用goto来实现。
int main()
{
int ret;
ret = func1();
if(ret != 0)
goto err;
ret = func2();
if(ret != 0)
goto err;
ret = func3();
if(ret != 0)
goto err;
return;
err:
do_err();
}
不过在在程序中不宜大量使用goto,会使程序结构变得混乱不易维护,而do…while(0)可以代替goto实现相同的功能。
int main()
{
int ret;
do{
ret = func1();
if(ret != 0)
break;
ret = func2();
if(ret != 0)
break;
ret = func3();
if(ret != 0)
break;
return 0;
}while(0);
do_err();
}