Linux内核中的do{}while（0）

在Linux内核中，经常会看到do{}while（0）这样的语句，刚开始会疑惑，认为do{}while（0）毫无意义，因为它只会执行一次，加不加do{}while（0）效果是完全一样的，其实do{}while（0）只要用于宏定义中。这里用以个简单点的宏来演示： #define SAFE_FREE（P）   do{free（p）; p = NULL;}while（0）
     假设这里去掉do{}while（0），即定义SAFE_FREE为：
#define SAFE_FREE（P）   free（p）; p = NULL;
     那么以下代码：
if（NULL！=P）
    SAFE_FREE（P）
else
   ...// do something
    会被展开为：
if（NULL！=P）
   free（p）; p = NULL;
else
   ...// do something
    展开的代码中存在两个问题：
（1）if分支后有两个语句，导致else分支没有对应的if，编译失败；
（2）假设没有else分支，则SAFE_FREE中的第二个语句无论if条件是否为真都会被执行。
   将SAFE_FREE的第定义加上{}就可以解决上述问题了，即：
   #define SAFE_FREE（P）   {free（p）; p = NULL;}
    这样，代码：
if（NULL！=P）
   SAFE_FREE（P）
else
   ...// do something
    会被展开为：
if（NULL！=P）
   {free（p）; p = NULL;}
else
   ...// do something
    但是，在C语言中，每个语句后面加个分号是一种约定俗成的习惯，那么，如下代码：
if（NULL！=P）
   SAFE_FREE（P）;
else
   ...// do something
   将被展开为：
if（NULL！=P）
   {free（p）; p = NULL;};
else
   ...// do something
    这样，else分支就又没有对应的if了，编译将无法通过。假设用了do{}while（0），情况就不一样了，同样的代码就会被展开为：
if（NULL！=P）
   {free（p）; p = NULL;}
else
   ...// do something
   不会在出现编译问题。 do{}while（0）的使用完全是为了保证宏定义的使用者能无编译错误的使用宏，它不对其使用者做任何假设。Ubuntu 11.10下安装文件快速预览工具Sushi关于Linux下求文件行数的问题相关资讯 Linux内核

IT人员必须了解的六项Linux内核变（今 12:05）
Linux 内核更新：3.10.98、3.14.62 （02月26日）
Linux：让手机运行主线内核（11/26/2015 22:16:17）

Linux内核自防护项目（05月24日）
Linux 内核架构的理解（12/09/2015 09:01:01）
Linux内核被指缺乏安全性（11/07/2015 08:28:47）

本文评论查看全部评论（0）