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

在很多的C程序中，你可能会看到看起来不是那么直接的较特殊的宏定义：

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

在Linux内核和其它一些著名的C库中有许多使用do{...}while(0)的宏定义。
这种宏的用途是什么？有什么好处？

Google的Robert Love（先前从事Linux内核开发）给我们解答如下：

do{...}while(0)在C中是唯一的构造程序，让你定义的宏总是以相同的方式工作，这样不管怎么使用宏（尤其在没有用大括号包围调用宏的语句），宏后面的分号也是相同的效果。

这句话听起来可能有些拗口，其实用一句话概括就是：使用do{...}while(0)构造后的宏定义不会受到大括号、分号等的影响，总是会按你期望的方式调用运行。

例如：

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

然后你可能这样调用：

foo(wolf);

这将被宏扩展为：

bar(wolf);