大家看看LINUX中C实现为什么总是"多此一举"?
do { \inc_preempt_count(); \
barrier(); \
} while (0)
上面是读写自旋锁实现时的一段代码,想问问各位为何要如此实现,而不是下面这样的实现(类似案例很多),
inc_preempt_count(); \
barrier(); \
即去掉do { )while (0),功能完全一样?
我想可能跟编译有关,但不甚明白,还请大虾不吝赐教,谢谢! :( 关注 搜了一下,发现竟然好多人问这个问题.看看别人的回答.
do {......} while(0)
A few days ago a came across a macro in the linux kernel code
#define MACRONAME do {Some code} while (0)now I was wondering what is the use of having while(0)
here's the explaination for it, by Ben Collins , on kernelnewbies
It allows you to use more complex macros in conditional code. Imagine a macro of several lines of code like:
#define FOO(x)printf("arg is %s\n", x); do_something_useful(x);Now imagine using it like:
if (blah == 2) FOO(blah);This interprets to:
if (blah == 2) printf("arg is %s\n", blah); do_something_useful(blah);;As you can see, the if then only encompasses the printf(), and the do_something_useful() call is unconditional (not within the scope of the if), like you wanted it. So, by using a block like do{...}while(0), you would get this:
if (blah == 2) do { printf("arg is %s\n", blah); do_something_useful(blah); } while (0);Which is exactly what you want.
(from Per Persson) As Collins point out, you want a block statement so you can have several lines of code and declare local variables. But then the natural thing would be to just use for example:
#define exch(x,y) { int tmp; tmp=x; x=y; y=tmp; }However that wouldn't work in some cases. The following code is meant to be an if-statement with two branches:
if(x>y)exch(x,y); // Branch 1elsedo_something(); // Branch 2But it would be interpreted as an if-statement with only one branch:
if(x>y) { // Single-branch if-statement!!!int tmp; // The one and only branch consiststmp = x; // of the block.x = y;y = tmp;}; // empty statementelse // ERROR!!! "parse error before else"do_something();The problem is the semi-colon (;) coming directly after the block.
The solution for this is to sandwich the block between do and while(0). Then we have a single statement with the capabilities of a block, but not considered as being a block statement by the compiler.
Our if-statement now becomes:
if(x>y)do {int tmp;tmp = x;x = y;y = tmp;} while(0);elsedo_something();
又看:http://www.everything2.com/index.pl?node_id=1180050
答的真好!!! 的确是极好的解释！
不过下次请排一下版，中间的代码、注释什么的全乱了，搞得我看得糊涂。幸好找到了原文。还是谢谢楼主的好贴子！ :D
原文链接：http://kernelnewbies.org/FAQ/DoWhile0
我还是排下版发上来吧。
============================================
FAQ/DoWhile0
Why do a lot of #defines in the kernel use do { ... } while(0)?
There are a couple of reasons:
(from Dave Miller) Empty statements give a warning from the compiler so this is why you see #define FOO do { } while(0).
(from Dave Miller) It gives you a basic block in which to declare local variables.
(from Ben Collins) It allows you to use more complex macros in conditional code. Imagine a macro of several lines of code like:
#define FOO(x) \
printf("arg is %s\n", x); \
do_something_useful(x);
Now imagine using it like:
if (blah == 2)
FOO(blah);
This interprets to:
if (blah == 2)
printf("arg is %s\n", blah);
do_something_useful(blah);;
As you can see, the if then only encompasses the printf(), and the do_something_useful() call is unconditional (not within the scope of the if), like you wanted it. So, by using a block like do { ... } while(0), you would get this:
if (blah == 2)
do {
printf("arg is %s\n", blah);
do_something_useful(blah);
} while (0);
Which is exactly what you want.
(from Per Persson) As both Miller and Collins point out, you want a block statement so you can have several lines of code and declare local variables. But then the natural thing would be to just use for example:
#define exch(x,y) { int tmp; tmp=x; x=y; y=tmp; }
However that wouldn't work in some cases. The following code is meant to be an if-statement with two branches:
if (x > y)
exch(x,y); // Branch 1
else
do_something(); // Branch 2
But it would be interpreted as an if-statement with only one branch:
if (x > y) { // Single-branch if-statement!!!
int tmp; // The one and only branch consists
tmp = x; // of the block.
x = y;
y = tmp;
}
; // empty statement
else // ERROR!!! "parse error before else"
do_something();
The problem is the semi-colon (;) coming directly after the block. The solution for this is to sandwich the block between do and while (0). Then we have a single statement with the capabilities of a block, but not considered as being a block statement by the compiler. Our if-statement now becomes:
if (x > y)
do {
int tmp;
tmp = x;
x = y;
y = tmp;
} while(0);
else
do_something();
<<Linux内核代码情景分析>>的基础知识部分有很详细的解释! 不错阿！有长见识了阿 厉害！这都能想到~
页:
[1]