Puste makra funkcji

Question

Jeśli zdefiniuję makro funkcji bez rzeczywistej funkcji, czy jest to pusty ciąg z kompilatorem (tzn. Nie generuje żadnych dodatkowych instrukcji podczas kompilacji)?

przykład:

#define SomeMacro(a) 

SomeMacro("hello"); // This line doesn't add any instructions, does it? 

Answer 1

Masz całkowitą rację, puste makro nie generuje żadnego kodu.

Widziałem dwa miejsca, w których jest to przydatne. Pierwszą jest wyeliminowanie ostrzeżeń, gdy parametr funkcji nie jest używany:

#define UNUSED(x) 

int foo(int UNUSED(value)) 
{ 
    return 42; 
} 

Drugi to podczas korzystania warunkowe celu ustalenia, czy nie powinno być kod czy nie.

#ifdef LOGGING_ENABLED 
#define LOG(x) log_message(x) 
#else 
#define LOG(x) 
#endif 

Answer 2

preprocesor wykonuje dosłownego podstawienie wszystkich makr.

Dlatego jeśli zdefiniujesz makro "puste", to każde miejsce, w którym identyfikator pojawi się w twoim kodzie, zostanie zastąpione pustą instrukcją przez preprocesor, zanim kompilator kiedykolwiek uruchomi się.

Tak, tak. Żaden kod nie zostanie wygenerowany dla przykładu podanego w pytaniu.

Answer 3

Zgadza się. Po przetwarzaniu wstępnym kod rozszerza się do

; 

.

pamiętać, że można zwrócić się do kompilatora, aby pokazać Ci kod po wyprzedzającym (w gcc, jest to opcja -E; kompilator może się zmieniać).

Answer 4

Twój kod nie jest całkowicie poprawna, proponuję umieścić pustych nawiasów w makro

#define somemacro(a) {} 

Powód jest prosty, to kod będzie znacznie bardziej bezpieczny!

wziąć ten przykład:

if(Value) 
    somemacro(a) 
else 
    somemacro(b) 

Jeśli makro jest pusty Twój kod nie będzie kompilować! (Oczekiwany pierwotny-expressione przed "innym"). W każdym razie niektóre reguły stylu zmuszają Cię do napisania tego obiektu, więc nie będzie to stanowić problemu.

Inną opcją jest użycie ";" zamiast "{}", ale ta opcja w tym samym przypadku da ci ostrzeżenia dotyczące czasu kompilacji, podczas gdy puste nawiasy nie będą dawały ostrzeżeń ani błędów! (Średnik jest jeszcze lepiej, nawet jeśli dają ostrzeżenia);)

odbioru następujący przypadek

if(value) 
    somemacro(a); 
else 
    somemacro(b); 

wzrośnie do

if(value) 
{}; 
else 
{}; 

że nie można skompilować!

Dlatego makra są złe

(ponieważ makra są proste tekstu wymiana, rządy dumbs powinno być zawsze próbować ręcznie zastąpić kod i zobaczyć co się dzieje, są też narzędzia, które zastąpią makra wyświetlasz rozszerzony kod.)

Nadal zgadujesz, czy istnieje makro, które jest całkowicie bezpieczne? Tak to się nazywa „NOP”

#define somemacro(a) ((void)0) 

że zadziała w każdym przypadku (nawet pliki źródłowe kompilatory użyć jej jako NOP, na przykład wystarczy spojrzeć na „assert.h”