11.3 书写多语句宏的最好方法是什么？

通常的目标是书写一个象包含一个单独的函数调用语句的宏。这意味着  ``调用者" 需要提供最终的分号, 而宏体则不需要。因此宏体不能为简单 的括弧包围的复合语句, 因为如果这样, 调用的时候就会发生语法错 (明显是 一个单独语句, 但却多了一个额外的分号), 就像在 if/else 语句的 if 分支 中多了一个 else 分句一样。

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

	#define MACRO(arg1, arg2) do {  \
		/* declarations */      \
		stmt1;		   \
		stmt2;		   \
		/* ... */	        \
		} while(0)	/* 没有结尾的 ; */

当调用者加上分号后, 宏在任何情况下都会扩展为一个单独的语句。 优化的 编译器会去掉条件为 0 的 ``无效" 测试或分支, 尽管 lint 可能会警告。

如果宏体内的语句都是简单语句, 没有声明或循环, 那么还有一种技术, 就是写一个单独的, 用一个或多个逗号操作符分隔的表达式。 例如, 问题 10.22 的第一个 DEBUG() 宏。这种技术还可以  ``返回" 一个值。

参考资料: [H&S, Sec. 3.3.2 p. 45]; [CT&P, Sec. 6.3 pp. 82-3]。