虽然编译器应该优化掉do{…},(假);循环，还有另一个解决方案不需要这个结构。解决方案是使用逗号操作符:

#define FOO(X) (f(X),g(X))

或者更奇特:

#define FOO(X) g((f(X),(X)))

虽然这可以很好地用于单独的指令，但它不适用于构造变量并用作#define的一部分的情况:

#define FOO(X) (int s=5,f((X)+s),g((X)+s))

在这种情况下，将被迫使用do/while结构。

Jens Gustedt的P99预处理器库(是的，这样一个东西的存在也让我大吃一惊!)改进了if(1){…} else构造了一个小而重要的方法，定义如下:

#define P99_NOP ((void)0)
#define P99_PREFER(...) if (1) { __VA_ARGS__ } else
#define P99_BLOCK(...) P99_PREFER(__VA_ARGS__) P99_NOP

这样做的基本原理是，与do{…} while(0) construct, break和continue仍然在给定的块内工作，但是((void)0)如果在宏调用后省略了分号，将会创建一个语法错误，否则将跳过下一个块。(这里实际上不存在“悬空else”问题，因为else绑定到最近的if，也就是宏中的if。)

如果您对C预处理器可以或多或少安全地完成的事情感兴趣，请查看该库。

由于某些原因，我不能评论第一个答案……

有些人展示了带局部变量的宏，但没有人提到不能在宏中使用任何名称!它总有一天会伤害用户!为什么?因为输入参数被替换到宏模板中。在你的宏例子中，你使用了最常用的变量名i。

例如下面的宏

#define FOO(X) do { int i; for (i = 0; i < (X); ++i) do_something(i); } while (0)

在以下函数中使用

void some_func(void) {
    int i;
    for (i = 0; i < 10; ++i)
        FOO(i);
}

该宏将不会使用some_func开头声明的预期变量i，而是在do…宏的While循环。

因此，永远不要在宏中使用通用变量名!

虽然编译器应该优化掉do{…},(假);循环，还有另一个解决方案不需要这个结构。解决方案是使用逗号操作符:

#define FOO(X) (f(X),g(X))

或者更奇特:

#define FOO(X) g((f(X),(X)))

虽然这可以很好地用于单独的指令，但它不适用于构造变量并用作#define的一部分的情况:

#define FOO(X) (int s=5,f((X)+s),g((X)+s))

在这种情况下，将被迫使用do/while结构。

我想没有提到过，所以考虑一下

while(i<100)
  FOO(i++);

会被翻译成

while(i<100)
  do { f(i++); g(i++); } while (0)

注意i++是如何被宏求值两次的。这可能会导致一些有趣的错误。

上述答案解释了这些结构的含义，但两者之间有一个未被提及的显著差异。事实上，有一个理由更喜欢做…而如果…其他结构。

如果……Else结构的特点是它不强制你输入分号。就像下面的代码:

FOO(1)
printf("abc");

尽管我们(错误地)漏掉了分号，但代码将扩展为

if (1) { f(X); g(X); } else
printf("abc");

并且将静默地编译(尽管一些编译器可能会对不可访问的代码发出警告)。但是printf语句永远不会被执行。

做……While构造就没有这样的问题，因为While(0)后面唯一有效的标记是分号。