do{...}while(0)用法总结

1、消除冗余代码以及避免微妙的goto语句：

通常，如果一个函数开始要分配一些资源，然后如果在中途遇到错误则要退出函数，当然，退出前要释放资源

一般写法：

int InitSomething()
{
    char* pImage = NULL;
    char* pBitMap = NULL;
    char* pBuffer = NULL;

    pImage = (char*)malloc(10);
    if(pImage == NULL)
    {
        return -1;
    }

    pBitMap = (char*)malloc(20);
    if (NULL == pBitMap)
    {
        free(pImage);
        return -1;
    }
    
    pBuffer = (char*)malloc(1024);
    if(NULL == pBuffer)
    {
        free(pImage);
        free(pBitMap);
        return -1;
    }

    ....


    free(pImage);
    free(pBitMap);
    free(pBuffer);

    return 0;
}

goto语句写法：

int InitSomething()
{
    char* pImage = NULL;
    char* pBitMap = NULL;
    char* pBuffer = NULL;

    pImage = (char*)malloc(10);
    if(pImage == NULL)
    {
        goto ret;
    }

    pBitMap = (char*)malloc(20);
    if (NULL == pBitMap)
    {
        goto ret;
    }
    
    pBuffer = (char*)malloc(1024);
    if(NULL == pBuffer)
    {
        goto ret;
    }

    ....

    return 0;
ret:
    if (pImage)
    {
        free(pImage);
    }

    if (pBitMap)
    {
        free(pBitMap);
    }

    if (pBuffer)
    {
        free(pBuffer);
    }

    return -1;
}

do...while(0)优化写法：

int InitSomething()
{
    char* pImage = NULL;
    char* pBitMap = NULL;
    char* pBuffer = NULL;
    int nRet = 0;

    do
    {
        pImage = (char*)malloc(10);
        if(pImage == NULL)
        {
            nRet = -1;
            break;
        }

        pBitMap = (char*)malloc(20);
        if (NULL == pBitMap)
        {
            nRet = -1;
            break;
        }
        
        pBuffer = (char*)malloc(1024);
        if(NULL == pBuffer)
        {
            nRet = -1;
            break;
        }
    }while(0);

    if (nRet != 0)
    {
        if (pImage)
        {
            free(pImage);
        }

        if (pBitMap)
        {
            free(pBitMap);
        }

        if (pBuffer)
        {
            free(pBuffer);
        }
        return -1;
    }

    ....

    return 0;
}

2、消除空声明在编译时出现警告：

#define FOOBAR do { } while(0)

3、消除代码块误用而产生的编译或运行时的错误：

#define swap(x,y) { int tmp; tmp=x; x=y; y=tmp; }

if (x > y)
    swap(x,y);
else  
    dosth();
编译后预处理器替换的代码如下：
if (x > y)
    { int tmp; tmp=x; x=y; y=tmp; }；
else//变成了悬空分支
    do_something();

错误出在分号“;”直接位于代码块的后面，解决的办法:宏定义嵌到do...while(0)：
#define swap(x,y) do { int tmp; tmp=x; x=y; y=tmp; } while(0)

宏展开后的代码如下：
if (x > y)
    do { int tmp; tmp=x; x=y; y=tmp; } while(0)；
else
    do_something();

4、消除条件语句中使用宏的隐患：

#define FOOBAR(x) 
    printf("parameter is %s
", x); 
    do_sth(x)

如下代码片段
if (name == 2)
    FOOBAR("tcp");

宏展开后：
if (name == 2)
    printf("parameter is %s
", "tcp");do_sth("tcp");

但实际上：if语句只作用于printf(), do_sth() 没按照原有意图一起受到条件的控制

重新定义宏：
#define FOOBAR(x) 
do{ 
    printf("parameter is %s
", x); 
    do_sth(x);
}while(0)

代码片段展开：
if (name == 2)
    do{printf("arg is %s
", "tcp"); do_sth("tcp");} while (0);