do {...} while (0) 在宏定义中的作用

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

在Linux内核和其它一些著名的C库中有许多使用do{...}while(0)的宏定义。这种宏的用途是什么？有什么好处？
使用do{...}while(0)构造后的宏定义不会受到大括号、分号等的影响，总是会按你期望的方式调用运行。

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

然后你可能这样调用：

foo(wolf);

这将被宏扩展为：

bar(wolf); baz(wolf);

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

if (!feral)
    foo(wolf);

显而易见，这是错误的，也是大家经常易犯的错误之一。
如果我们使用do{...}while(0)来重新定义宏，即：

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

现在，该语句功能上等价于前者

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

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

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

if (!feral)
    foo(wolf);
else
    bin(wolf);

宏扩展后将变成：

if (!feral) 
{
    bar(wolf);
    baz(wolf);
};
else
    bin(wolf);

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