Sind in C leere Makrodefinitionen erlaubt? Wie verhalten sie sich?

Question

Angenommen, die "leer" Makrodefinition

#define FOO 

Ist es gültig Standard C? Wenn ja, was ist FOO nach dieser Definition?

Answer 1

Es ist einfach ein Makro, das erweitert wird, naja, nichts. Nachdem das Makro jedoch definiert wurde, können Sie mit #if defined (oder #ifdef) überprüfen, ob es definiert wurde.

#define FOO 

int main(){ 
    FOO FOO FOO 
    printf("Hello world"); 
} 

expandieren zu

int main(){ 

    printf("Hello world"); 
} 

gibt es bestimmte Situationen, in denen dies in sehr praktisch ist, zum Beispiel zusätzliche Debug-Informationen, die Sie nicht wollen, in Ihrem Release-Version zeigen:

/* 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"); 
    /* ... */ 
} 

Da das Makro CONFIG_USE_DEBUG_MESSAGES definiert wurde, wird DEBUG_MSG(x) auf print(x) erweitert und Sie erhalten Entering main. Wenn Sie die #define entfernen, wird DEBUG_MSG(x) zu einer leeren do - while Schleife erweitert und Sie werden die Nachricht nicht sehen.

Answer 2

Ja, leere Definition ist vom Standard erlaubt.

C11 (n1570), § 6.10 vorverarbeiten Richtlinien

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) 

Eine gemeinsame Nutzung ist Wachen Inklusion.

Answer 3

Leere Makrodefinitionen können auch für die Selbstdokumentation verwendet werden. Die IN im Code-Snippet unten ist ein Beispiel. Der Code und der Kommentar werden beide aus der EDK II project zitiert.

// 
// 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 
);