#define XXX do{...}while(0)

<ol>

<li>函数式宏定义的参数没有类型,预处理器只负责做形式上的替换,而不做参数类型检查,所以传参时要格外小心。</li>

<li>调用真正函数的代码和调用函数式宏定义的代码编译生成的指令不同。如果是真正的函数,那么它的函数体要编译生成指令,代码中出现的每次调用也要编译生成传参指令和call指令。而如果是函数式宏定义,这个宏定义本身倒不必编译生成指令,但是代码中出现的每次调用编译生成的指令都相当于一个函数体,而不是简单的几条传参指令和call指令。所以,使用函数式宏定义编译生成的目标文件会比较大。</li>

<li>定义这种宏要格外小心,要注意括号的使用,和宏展开对运算的优先级的影响。</li>

<li>调用函数时先求实参表达式的值再传给形参,如果实参表达式有Side Effect,那么这些Side Effect只发生一次。但如果是宏定义,则可能存在多次Side Effect。</li>

<li>即使实参没有Side Effect,使用函数式宏定义也往往会导致较低的代码执行效率。</li>
</ol>

尽管函数式宏定义和真正的函数相比有很多缺点,但只要小心使用还是会显著提高代码的执行效率,毕竟省去了分配和释放栈帧、传参、传返回值等一系列工作,因此那些简短并且被频繁调用的函数经常用函数式宏定义来代替实现。例如C标准库的很多函数都提供两种实现,一种是真正的函数实现,一种是宏定义实现。

例:
<pre lang="c" escaped="true" line="1">
#define device_init_wakeup(dev,val) \
do { \
device_can_wakeup(dev) = !!(val); \
device_set_wakeup_enable(dev,val); \
} while(0)

</pre>

为什么要用do { ... } while(0)括起来呢?不括起来会有什么问题呢?

<pre lang="c" escaped="true" line="1">
#define device_init_wakeup(dev,val) \
device_can_wakeup(dev) = !!(val); \
device_set_wakeup_enable(dev,val);

if (n > 0)
device_init_wakeup(d, v);

</pre>

这样宏展开之后,函数体的第二条语句不在if条件中。那么简单地用{ ... }括起来组成一个语句块不行吗?

<pre lang="c" escaped="true" line="1">
#define device_init_wakeup(dev,val) \
{ device_can_wakeup(dev) = !!(val); \
device_set_wakeup_enable(dev,val); }

if (n > 0)
device_init_wakeup(d, v);
else
continue;
</pre>

问题出在device_init_wakeup(d, v);末尾的;号,如果不允许写这个;号,看起来不像个函数调用,可如果写了这个;号,宏展开之后就有语法错误,if语句被这个;号结束掉了,没法跟else配对。因此,do { ... } while(0)是一种比较好的解决办法。

<blockquote>中间的device_can_wakeup(dev) = !!(val); 为什么要取反两次呢?</blockquote>

这样做的目的使结果只有两个值“0”和“1”,也就是bool结果,在这里相当于val为0时取0,非0时取1了。
假设一个设备有多个状态,其中val = 0代表没有启用,1,2,3,4分别代表设备启用是处于不同的状态下。那么我就想记录一下设备是否启用了,就可以这样使用:
status = !!(val)
status为0代表未启用,1代表启用了。

上一篇:HDU 4670 Cube number on a tree


下一篇:六月计划#1B(6.1-6.8)