通常的目标是书写一个象包含一个单独的函数调用语句的宏。

这意味着“调用者”需要提供最终的分号, 而宏体则不需要。

因此宏体不能为简单的括弧包围的复合语句, 因为如果这样, 调用的时候就会发生语法错(明显是一个单独语句, 但却多了一个额外的分号), 就像在if/else 语句的if 分支中多了一个else 分句一样。

所以, 传统的结局方案就是这样使用:

#define MACRO(arg1, arg2) do { \

/* declarations */ \

stmt1; \

stmt2; \

/* ... */ \

} while(0) /* 没有结尾的; */

当调用者加上分号后, 宏在任何情况下都会扩展为一个单独的语句。

优化的编译器会去掉条件为0 的“无效” 测试或分支, 尽管lint 可能会警告。

如果宏体内的语句都是简单语句, 没有声明或循环, 那么还有一种技术, 就是写一个单独的, 用一个或多个逗号操作符分隔的表达式。

例如, 问题10.22 的第一个DEBUG() 宏。

这种技术还可以“返回” 一个值。