c - C中是否允许空宏定义？他们的行为如何？

Question

假设“空”宏定义

#define FOO

它是有效的标准 C 吗？如果是这样，FOO这个定义之后是什么？

Answer 1

它只是一个扩展为什么都没有的宏。但是，既然已经定义了宏，您可以使用#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循环，您将看不到该消息。

Answer 2

是的，标准允许空定义。

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

Answer 3

空宏定义也可用于自文档。下面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
  );