在linux内核里加while,Linux内核中的do{}while(0)

在Linux内核中，经常会看到do{}while(0)这样的语句，刚开始会疑惑，认为do{}while(0)毫无意义，因为它只会执行一次，加不加do{}w

在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)的使用完全是为了保证宏定义的使用者能无编译错误的使用宏，它不对其使用者做任何假设。