比如定义宏，#define FREE1(p) if (p) free (p)
然后这样调用：
if (expression)
FREE1(p);
else
printf(“expression was false.\n”) ;

展开：
if (expression)
if (p) free (p);
else
printf(“expression was false.\n”) ;

看看else和第二个if匹配了，错了吧，呵呵！
-
换成这样定义，#define FREE1(p) do{if (p) free (p);}while(0)
展开：
if (expression)
do{if (p) free (p);}while(0);
else
printf(“expression was false.\n”) ;
这样才对嘛！

也就是说，这样的定义方法，使得其可以在任何地方使用而不会产生歧义