这是一种简化错误检查和避免深度嵌套if的方法。例如:

do {
  // do something
  if (error) {
    break;
  }
  // do something else
  if (error) {
    break;
  }
  // etc..
} while (0);

一般来说，do/while适用于必须至少执行一次循环的任何类型的循环构造。可以通过直接的while循环甚至for循环来模拟这种循环，但结果通常不那么优雅。我承认这种模式的特定应用程序相当少，但确实存在。首先想到的是一个基于菜单的控制台应用程序:

do {
    char c = read_input();

    process_input(c);
} while (c != 'Q');

它有助于将多个语句组合成一个语句，这样类似函数的宏就可以实际用作函数。假设你有:

#define FOO(n)   foo(n);bar(n)

你会:

void foobar(int n) {
  if (n)
     FOO(n);
}

然后扩展为:

void foobar(int n) {
  if (n)
     foo(n);bar(n);
}

注意，第二个调用条(n)不再是if语句的一部分。

将两者包装到do {} while(0)中，您还可以在if语句中使用宏。

它是C语言中唯一一个可以用来#定义多语句操作、在后面加分号并仍然在if语句中使用的构造。举个例子可能会有所帮助:

#define FOO(x) foo(x); bar(x)

if (condition)
    FOO(x);
else // syntax error here
    ...;

即使使用大括号也无济于事:

#define FOO(x) { foo(x); bar(x); }

在if语句中使用this会要求你省略分号，这是违反直觉的:

if (condition)
    FOO(x)
else
    ...

如果你这样定义FOO:

#define FOO(x) do { foo(x); bar(x); } while (0)

那么下面的句子在语法上是正确的:

if (condition)
    FOO(x);
else
    ....

有趣的是，注意到下面的情况，do {} while(0)循环不适合你:

如果你想要一个返回值的类似函数的宏，那么你将需要一个语句表达式:({stmt;Stmt;})而不是do {} while(0):

#include <stdio.h>

#define log_to_string1(str, fmt, arg...) \
    do { \
        sprintf(str, "%s: " fmt, "myprog", ##arg); \
    } while (0)

#define log_to_string2(str, fmt, arg...) \
    ({ \
        sprintf(str, "%s: " fmt, "myprog", ##arg); \
    })

int main() {
        char buf[1000];
        int n = 0;

        log_to_string1(buf, "%s\n", "No assignment, OK");

        n += log_to_string1(buf + n, "%s\n", "NOT OK: gcc: error: expected expression before 'do'");

        n += log_to_string2(buf + n, "%s\n", "This fixes it");
        n += log_to_string2(buf + n, "%s\n", "Assignment worked!");
        printf("%s", buf);
        return 0;
}