Warum 2 Dereferenzierungsebenen in Definition von Makro-## Operation

Question

In den Makrodefinitionen unten, ist es 2 Dereferenzierungsebenen vor dem eigentlichen Einfügen Betrieb:

#define MACRO_JOIN(a, b) MACRO_JOIN1(a, b) 
#define MACRO_JOIN1(a, b) MACRO_JOIN2(a, b) 
#define MACRO_JOIN2(a, b) a##b 

Ich weiß, dass wir MACRO_JOIN1 brauchen, weil es kein Einfügen oder Stringing, damit seine Argumente zuerst erweitert werden können.

Aber was genau ist der Zweck der zweiten Indirektion MACRO_JOIN? In welchen Situationen wird MACRO_JOIN funktionieren, aber MACRO_JOIN1 wird fehlschlagen?

Answer 1

Das Erzwingen einer zusätzlichen Erweiterung kann einen Unterschied machen, wenn die ursprüngliche Erweiterung zu etwas führt, das weiter erweitert werden kann. Ein triviales Beispiel gegeben:

#define MACRO(x) x 
#define EXPAND(x) x 
#define NOEXPAND() 

ist:

MACRO NOEXPAND() (123) 

Dies erweitert zu MACRO (123). Auf der anderen Seite, wenn Sie eine zusätzliche Erweiterung erzwingen, etwa so:

EXPAND(MACRO NOEXPAND() (123)) 

Ergebnisse in:

123 

Normalerweise zwingt zusätzliche Erweiterungen wie diese ist nicht notwendig: alle Makrodefinitionen, die dazu führen, würde dies zu Irgendwelche Unterschiede sind sowieso generell als armer Stil anzusehen. Aber mit bestimmten spezifischen Eingaben kann es nützlich sein.

Also für ein konkretes Beispiel mit Ihrem MACRO_JOIN:

MACRO_JOIN(123, MACRO NOEXPAND() (456)) // expands to 123456 
MACRO_JOIN1(123, MACRO NOEXPAND() (456)) // expands to 123MACRO (456)