do{}while(0)

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   . . .

会被展开为：

if ( NULL ! = p)   free ( p) ; p = NULL ; else   . . .

展开的代码中存在两个问题：

• 
  
• if 分支后面有两个语句，导致else分支没有对应的if，编译失败；
• 假设没有else分支，则SAFE_FREE中的第二个语句无论if测试是否通过都会执行。

将SAFE_FREE的定义加上{}就可以解决上诉问题了，即：

# define SAFE_FREE( p) { free ( p) ; p = NULL ; }

这样，代码：

if ( NULL ! = p)    SAFE_FREE( p) else   . . .

会被展开为：

if ( NULL ! = p)   { free ( p) ; p = NULL ; } else   . . .

但是，在C程序中，每个语句后面加分号是一种约定俗成的习惯，那么，如下代码：

if ( NULL ! = p)    SAFE_FREE( p) else   . . .

将为扩展为：

if ( NULL ! = p)   { free ( p) ; p = NULL ; } ; else   . . .

这样，else分支就有没有对应的if了，编译将无法通过。假设用了do{}while(0)，情况就不一样那个了，同样的代码会被扩展为：

if ( NULL ! = p)   do { free ( p) ; p = NULL ; } while ( 0) ; else   . . .

不会再出现编译问题。do{}while(0)的使用完全是为了保证宏定义的使用者能无编译出错的使用宏，它不对其使用者做任何假设。

posted on 2009-07-09 17:53  SunBo 阅读( ...) 评论( ...) 编辑 收藏

转载于:https://www.cnblogs.com/sunyubo/archive/2009/07/09/2708320.html