假设“空”宏定义
#define FOO
它是有效的标准 C 吗?如果是这样,FOO
这个定义之后是什么?
它只是一个扩展为什么都没有的宏。但是,既然已经定义了宏,您可以使用#if defined
(或#ifdef
)检查它是否已定义。
#define FOO
int main(){
FOO FOO FOO
printf("Hello world");
}
将扩大到
int main(){
printf("Hello world");
}
在某些情况下,这非常方便,例如您不想在发布版本中显示的附加调试信息:
/* Defined only during debug compilations: */
#define CONFIG_USE_DEBUG_MESSAGES
#ifdef CONFIG_USE_DEBUG_MESSAGES
#define DEBUG_MSG(x) print(x)
#else
#define DEBUG_MSG(x) do {} while(0)
#endif
int main(){
DEBUG_MSG("Entering main");
/* ... */
}
由于宏CONFIG_USE_DEBUG_MESSAGES
已定义,DEBUG_MSG(x)
将展开为print(x)
,您将获得Entering main
. 如果您删除#define
,DEBUG_MSG(x)
将展开为一个空的do
-while
循环,您将看不到该消息。
是的,标准允许空定义。
C11 (n1570), § 6.10 预处理指令
control-line: # define identifier replacement-list new-line # define identifier lparen identifier-list(opt) ) replacement-list new-line # define identifier lparen ... ) replacement-list new-line # define identifier lparen identifier-list , ... ) replacement-list new-line replacement-list: pp-tokens(opt)
一个常见的用途是包含保护。
#ifndef F_H
# define F_H
#endif
空宏定义也可用于自文档。下面IN
的代码片段是一个示例。代码和注释均引用自EDK II 项目。
//
// Modifiers for Data Types used to self document code.
// This concept is borrowed for UEFI specification.
//
///
/// Datum is passed to the function.
///
#define IN
typedef
EFI_STATUS
(EFIAPI *EFI_BLOCK_RESET)(
IN EFI_BLOCK_IO_PROTOCOL *This,
IN BOOLEAN ExtendedVerification
);