C语言中do...while(0)的妙用(转载)
2016-07-20 11:14
225 查看
转载来自:C语言中do...while(0)的妙用,感谢分享。
在linux内核代码中,经常看到do...while(0)的宏,do...while(0)有很多作用,下面举出几个:
C代码
代码冗余是解决了,但是引入了C语言中比较微妙的goto语句,虽然正确的使用goto语句可以大大提高程序的灵活性与简洁性,但是会使我们的程序捉摸不定,为了既避免使用goto语句,又能消除代码冗余,可以考虑使用下面的 do...while(0):
C代码
然而在某些情况下将会失效,下面的代码使用if...else...
但是将被解释为一个分支的if语句:
错误出在“;”直接位于代码块的后面,解决的办法是将代码嵌入do...while(0),于是得到下面的代码:
于是上面的宏可以修改为:
现在想像一下下面的代码:
这将解释为:
我们就会发现,if语句只作用于printf(), do_something_useful() 没按照愿意一起执行,即没有像你预期的那样被包含在if代码中,于是可以使用如下的代码块:
这样上面的宏就可以改为:
PS:以上的第三种和第四种技巧,并不是唯一的方法,有同学留言说用其他的方法也可以实现,反而显得这样的宏定义过于花哨?事实并非如此,这样的宏定义在linux内核代码中非常常见,原因是代码简洁、通用、可移植性好
在linux内核代码中,经常看到do...while(0)的宏,do...while(0)有很多作用,下面举出几个:
1、避免goto语句:
通常,如果一个函数开始要分配一些资源,然后如果在中途遇到错误则要退出函数,当然,退出前要释放资源,我们的代码可能如下:C代码
代码冗余是解决了,但是引入了C语言中比较微妙的goto语句,虽然正确的使用goto语句可以大大提高程序的灵活性与简洁性,但是会使我们的程序捉摸不定,为了既避免使用goto语句,又能消除代码冗余,可以考虑使用下面的 do...while(0):
C代码
2、避免空声明在编译时出现警告:
在linux内核源代码中,经常看到如下宏以避免在编译时出现警告:#define FOO do { } while(0)
3、提供一个声明局部变量的基础块:
你可能经常会使用如下的宏:#define exch(x,y) { int tmp; tmp=x; x=y; y=tmp; }
然而在某些情况下将会失效,下面的代码使用if...else...
if (x > y) exch(x,y); // 分支 1 else do_something(); // 分支 2
但是将被解释为一个分支的if语句:
if (x > y) { int tmp; tmp = x; x = y; y = tmp; } ; // 空语句 else // ERROR!!! do_something();
错误出在“;”直接位于代码块的后面,解决的办法是将代码嵌入do...while(0),于是得到下面的代码:
1 if (x > y) 2 do { 3 int tmp; 4 tmp = x; 5 x = y; 6 y = tmp; 7 } while(0); 8 else 9 do_something();
于是上面的宏可以修改为:
1 #define exch(x,y) do {\ 2 int tmp;\ 3 tmp = x;\ 4 x = y;\ 5 y = tmp;\ 6 } while(0)
4、在条件语句中使用复杂的宏:
假如一个宏包含类似如下几行代码:#define FOO(x) \ printf("arg is %s\n", x); \ do_something_useful(x);
现在想像一下下面的代码:
if (blah == 2) FOO(blah);
这将解释为:
if (blah == 2) printf("arg is %s\n", blah); do_something_useful(blah);;
我们就会发现,if语句只作用于printf(), do_something_useful() 没按照愿意一起执行,即没有像你预期的那样被包含在if代码中,于是可以使用如下的代码块:
if (blah == 2) do { printf("arg is %s\n", blah); do_something_useful(blah); } while (0);
这样上面的宏就可以改为:
1 #define FOO(x) do { \ 2 printf("arg is %s\n", blah);\ 3 do_something_useful(blah);\ 4 } while (0)
PS:以上的第三种和第四种技巧,并不是唯一的方法,有同学留言说用其他的方法也可以实现,反而显得这样的宏定义过于花哨?事实并非如此,这样的宏定义在linux内核代码中非常常见,原因是代码简洁、通用、可移植性好
相关文章推荐
- C++中的static关键字的总结
- UVA 579-Clock Hands
- UVA 10879-Code Refactoring
- UVA 10392-Factoring Large Numbers
- UVA 10250-The Other Two Trees
- UVA 350-Pseudo-Random Numbers
- UVA 10061-How many zero's and how many digits
- 浅谈C/C++ 语言中的表达式求值
- delete和delete[]的区别
- UVA 10161 Ant on a Chessboard
- UVA 621-Secret Research
- UVA 591-Box of Bricks
- c++ 搜索二叉树/排序二叉树
- UVA 113-Power of Cryptography
- C++学习笔记—unique及erase的联合运用
- UVA 10499-The Land of Justice
- UVA 846-Steps
- UVA 10790-How Many Points of Intersection?#
- UVA 11044-Searching for Nessy
- 在结构中使用字符数组还是字符指针