do{}while(0)用法总结

do{}while(0)有时可以方便地解决一些问题

辅助定义复杂宏，避免引用时出错

看下面这个宏：

#define DO_SOME_WORK() \
    func1(); \
    func2();

本意是通过调用 DO_SOME_WORK() ，来执行 func1() 和 func2() 两个函数。 按照我们习惯的调用方法：

if ( a > 0 )
    DO_SOME_WORK();

实际上展开后是：

if ( a > 0 )
    func1();
func2();

显示不符合我们的预期，如果我们在宏定义时加上 {...} 呢？也是不行，这样展开会是：

if ( a > 0 ) {
   func1();
   func2();
}

这时 do{...}while(0) 就派上用场了：

#define DO_SOME_WORK() \
do { \
    func1(); \
    func2(); \
} while (0)

避免使用 goto

有时我们会想要在函数内部做些收尾工作，比如说我们在创建一个线程池时，需要多次分配内存的操作，任何一次失败我们都希望 goto 到一个统一的释放已分配内存的任务。 但是 goto 不符合软件工程的结构化，且会破坏指令流水线的效率，所以不提倡使用，这时可以用 go{...}while(0) 配合 break 来实现目的。 下面是一个例子： 使用 goto ：

int foo()
{
    somestruct* ptr = malloc(...);
    dosomething...;
    if(error)
    {
            goto END;
    }
    dosomething...;
    if(error)
    {
        goto END;
    }
    dosomething...;

END:
    free(ptr);
    return 0;
}

使用 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，原有的收尾工作放在“循环”外。

定义空宏

有些平台上不允许定义空宏，这是可以这样做：

#define EMPTYMACRO do{}while(0)