Kann eine C-Makrodefinition auf andere Makros verweisen?

Ich versuche herauszufinden, ob so etwas (geschrieben in C):

#define FOO 15
#define BAR 23
#define MEH (FOO / BAR)

ist erlaubt? Ich möchte, dass der Präprozessor jede Instanz von ersetzt

MEH

mit

(15 / 23)

aber ich bin mir nicht sicher ob das geht. Wenn der Präprozessor den Code nur einmal durchläuft, glaube ich nicht, dass es so funktionieren würde, wie ich es möchte.

Ich habe mehrere ähnliche Beispiele gefunden, aber alle waren wirklich zu kompliziert für mich, um sie zu verstehen. Wenn mir jemand bei diesem einfachen Problem helfen könnte, wäre ich unendlich dankbar!

Kurze Antwort ja. Sie können solche Definitionen und Makros verschachteln – so viele Ebenen, wie Sie wollen, solange es nicht rekursiv ist.

Die Antwort ist “Ja”, und zwei andere Leute haben das richtig gesagt.

Wie für warum Die Antwort ist ja, die blutigen Details sind in der C-Standard, Abschnitt 6.10.3.4, „Nachscannen und erneutes Ersetzen“. Das OP profitiert möglicherweise nicht davon, aber andere könnten interessiert sein.

6.10.3.4 Erneutes Scannen und weiterer Austausch

Nachdem alle Parameter in der Ersetzungsliste ersetzt wurden und die #- und ##-Verarbeitung stattgefunden hat, werden alle Placemarker-Vorverarbeitungstoken entfernt. Dann wird die resultierende Vorverarbeitungstokensequenz zusammen mit allen nachfolgenden Vorverarbeitungstoken der Quelldatei erneut abgetastet, um weitere Makronamen zu ersetzen.

Wenn der Name des zu ersetzenden Makros während dieses Scans der Ersetzungsliste gefunden wird (ohne die restlichen Vorverarbeitungstoken der Quelldatei), wird er nicht ersetzt. Wenn darüber hinaus verschachtelte Ersetzungen auf den Namen des zu ersetzenden Makros stoßen, wird es nicht ersetzt. Diese nicht ersetzten Makronamen-Vorverarbeitungstoken stehen nicht mehr für einen weiteren Ersatz zur Verfügung, selbst wenn sie später in Kontexten (erneut) untersucht werden, in denen dieses Makronamen-Vorverarbeitungstoken ansonsten ersetzt worden wäre.

Die resultierende vollständig durch Makros ersetzte Vorverarbeitungstokensequenz wird nicht als Vorverarbeitungsanweisung verarbeitet, selbst wenn sie einer solchen ähnelt, aber alle unären Pragma-Operatorausdrücke darin werden dann wie in 6.10.9 unten angegeben verarbeitet.

Ja, es wird funktionieren.

Aber zu Ihrer persönlichen Information, hier sind einige vereinfachte Regeln zu Makros, die Ihnen helfen könnten (sie liegen außerhalb des Geltungsbereichs, werden Ihnen aber wahrscheinlich in Zukunft helfen). Ich werde versuchen, es so einfach wie möglich zu halten.

• Die Definitionen werden in der Reihenfolge “definiert”, in der sie eingeschlossen/gelesen werden. Das bedeutet, dass Sie kein Define verwenden können, das zuvor nicht definiert wurde.

• Nützliches Präprozessor-Schlüsselwort: #define, #undef, #else, #elif, #ifdef, #ifndef, #if

• Sie können jedes andere zuvor #define in Ihrem Makro verwenden. Sie werden ausgebaut. (wie in deiner Frage)

• Funktionsmakrodefinitionen akzeptieren zwei spezielle Operatoren (# und ##)

operator # stringiere das Argument:

#define str(x) #x
str(test); // would translate to "test"

Operator ## verkettet zwei Argumente

#define concat(a,b) a ## b
concat(hello, world); // would translate to "helloworld"

Es gibt auch einige vordefinierte Makros (aus der Sprache), die Sie verwenden können:

__LINE__, __FILE__, __cplusplus, etc

Sehen Sie sich dazu Ihren Compiler-Abschnitt an, um eine umfangreiche Liste zu erhalten, da es nicht “plattformübergreifend” ist.

• Achten Sie auf die Makroerweiterung

Sie werden sehen, dass beim Definieren von Makros ein Protokoll aus runden Klammern “()” verwendet wird. Der Grund dafür ist, dass beim Aufrufen eines Makros es “wie es ist” erweitert wird.

#define mult(a, b) a * b
mult(1+2, 3+4); // will be expanded like: 1 + 2 * 3 + 4 = 11 instead of 21.
mult_fix(a, b) ((a) * (b))

Ja, und es gibt noch einen weiteren Vorteil dieser Funktion. Sie können einige Makros undefiniert lassen und ihren Wert festlegen als Name eines anderen Makros im Kompilierungsbefehl.

#define STR "string"
void main() { printf("value=%s\n", VALUE); }

In der Befehlszeile können Sie sagen, dass das Makro “VALUE” den Wert eines anderen Makros “STR” übernimmt:

$ gcc -o test_macro -DVALUE=STR main.c
$ ./test_macro

Ausgabe:

value=string

Dieser Ansatz funktioniert auch für den MSC-Compiler unter Windows. Ich finde es sehr flexibel.

Ich möchte einen Fallstrick hinzufügen, der mich zum Stolpern gebracht hat.

Makros im Funktionsstil kann nicht mach das.

Beispiel, das bei Verwendung nicht kompiliert wird:

#define FOO 1
#define FSMACRO(x) FOO + x

Ja, das wird unterstützt. Und viel benutzt!

Eine wichtige Sache, die Sie jedoch beachten sollten, ist, dass Sie den Ausdruck in Klammern setzen, da Sie sonst auf unangenehme Probleme stoßen könnten!

#define MEH FOO/BAR

// vs

#define MEH (FOO / BAR)

// the first could be expanded in an expression like 5 * MEH to mean something 
//   completely different than the second