do{...}while(0)

来源:互联网 发布:红豆薏米粉的品牌 知乎 编辑:程序博客网 时间:2024/06/12 22:07

1. 帮助定义复杂的宏以避免错误

举例来说,假设你需要定义这样一个宏:

#define DOSOMETHING()  foo1(); foo2();

这个宏的本意是,当调用DOSOMETHING()时,函数foo1()和foo2()都会被调用。但是如果你在调用的时候这么写:

if(a>0)    DOSOMETHING();

因为宏在预处理的时候会直接被展开,你实际上写的代码是这个样子的:

if(a>0)    foo1();    foo2();

这就出现了问题,因为无论a是否大于0,foo2()都会被执行,导致程序出错

那么仅仅使用{}将foo1()和foo2()包起来行么?比如:

#define DOSOMETHING() { foo1(); foo2(); }

我们在写代码的时候都习惯在语句右面加上分号,如果在宏中使用{},代码里就相当于这样写了:“{...};”,展开后就是这个样子:

if(a>0){    foo1();    foo2();};

很明显,这是一个语法错误(大括号后多了一个分号)。

在所有可能情况下,期望我们写的多语句宏总能有正确的表现几乎是不可能的。你不能让宏表现的像函数一样---在没有do/while(0)的情况下。

如果我们使用do{...}while(0)来定义宏,即:

#define DOSOMETHING() \        do{ \          foo1();\          foo2();\        }while(0)\

这样,宏被展开后,上面的调用语句才会保留初始的语义。do能确保大括号里的逻辑能被执行,而while(0)能确保该逻辑只被执行一次,就像没有循环语句一样。


2. 避免goto

在一些函数中,我们可能需要在return语句之前做一些清理工作,比如释放在函数开始处由malloc申请的内存空间,使用goto总是一种简单的方法:

复制代码
int foo(){    somestruct *ptr = malloc(...);    dosomething...;    if(error)        goto END;    dosomething...;    if(error)        goto END;    dosomething...;END:    free(ptr);    return 0;}
复制代码

由于goto不符合软件工程的结构化,而且有可能使得代码难懂,所以很多人都不倡导使用,这个时候我们可以使用do{...}while(0)来做同样的事情:

复制代码
int foo(){    somestruct *ptr = malloc(...);    do    {        dosomething...;        if(error)            break;        dosomething...;        if(error)            break;        dosomething...;    }    while(0);    free(ptr);    return 0;}
复制代码

这里将函数主体部分使用do{...}while(0)包含起来,使用break来代替goto,后续的清理工作在while之后,现在既能达到同样的效果,而且代码的可读性、可维护性都要比上面的goto代码好的多了。

3. 消除宏的警告

/* 屏蔽do {}while(0)警告 *//* 验证指针有效性 */#define CHECK_POINTER_VALID(x) /*lint -save -e717 */ do {\    if (NULL == x) \    {\        printf("NULL == %s\n", #x);\        return -1;\    }\} while(0)/*lint restore */



0 0