C语言-宏定义中使用do {...} while(0)到底图个啥

By: Ailson Jack
Date: 2021.03.07
个人博客：http://www.only2fire.com/
本文在我博客的地址是：http://www.only2fire.com/archives/130.html，排版更好，便于学习，也可以去我博客逛逛，兴许有你想要的内容呢。

这篇文章摘抄自: <<Linux设备驱动开发详解(第二版)>>，在这里记录下来方便自己和其他小伙伴查阅。

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

如果文中有什么问题欢迎指正，毕竟博主的水平有限。

如果这篇文章对你有帮助，记得点赞和关注博主就行了^_^。
排版更好的内容见我博客的地址：http://www.only2fire.com/archives/130.html
注：转载请注明出处，谢谢！^_^