#define SAFE_FREE(p) do{ free(p); p = NULL;} while(0)
假设这里去掉do…while(0),即定义SAFE_DELETE 为:
#define SAFE_FREE(p) free(p); p = NULL;
那么以下代码:
if(NULL != p)
SAFE_DELETE(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_DELETE(p)
else
...//do something
会被展开为:
if(NULL != p)
{ free(p); p = NULL; }
else
...//do something
但是,在C程序中,每个语句后面加分号是一种约定俗成的习惯,那么,如下代码:
if(NULL != p)
SAFE_DELETE(p);
else
...//do something
将被扩展为:
if(NULL != p)
{ free(p); p = NULL; };
else
...//do something
这样,else分支就又没有对应的if了,编译将无法通过。假设用了do{}while(0),
情况就不一样了,同样的代码会被展开为:
if(NULL != p)
do{ free(p); p = NULL;} while(0);
else
...//do something
不会再出现编译问题。do{}while(0)的使用完全是为了保证宏定义的使用者能无编译错误地使用宏,它不对其使用者做任何假设。