Präprozessormakros als Parameter an andere Makros

Question

Der folgende C++ Code kompiliert und arbeitet als Programmierer auf GCC bestimmt (4.0.4)

#define FOO(x,y,z) ((x)*(y)*(z)) 
#define BAR(x) FOO(x,1) 
#define BAZ 3,7 

int main() 
{ 
    return BAR(BAZ); /* interpreted as return ((3)*(7)*(1)); */ 
} 

Jedoch verursachen die Makros einen Fehler auf Microsoft Visual C++ Express 2010:

main.cpp (7): Warnung C4003: nicht genug, um aktuelle Parameter für den Makro 'foo'
main.cpp (7): error C2059: Syntaxfehler: ')'

Das Problem scheint zu sein, dass der Microsoft-Compiler bei der internen Verarbeitung des BAR-Makros den BAZ-Makro nicht auf Parameter erweitert, die als zwei separate Parameter für Makro-FOO verwendet werden könnten.

Gemäß dem Standard, welcher Compiler behandelt die Situation korrekt?

Answer 1

Nach 16.3.4 der ISO/IEC 14882: 2003 (C++ Stardard) Makroerweiterung wird wie folgt ausgeführt:

1. Makro-Aufruf mit dem Makros Ersatzliste ersetzt wird (der Körper), wobei jeder Parametername (Es sei denn, es wird von # oder ## beeinflusst) wird durch eine vollständige Makroerweiterung des entsprechenden Arguments ersetzt, das im Makroaufruf angegeben ist.
2. Das Ergebnis von Schritt 1 ist erneut gescannt. Wenn es mehr Makroaufrufe gibt (außer den bereits expandierten, die den betrachteten Text erhalten), werden sie entsprechend der gleichen Prozedur rekursiv erweitert.

Die Reihenfolge der Schritte für den Code ist, dass Sie angegeben:

1. BAR(BAZ)
2. FOO(3,7,1)
3. ((3)*(7)*(1))

So GCC richtig ist, und VC nicht. Aber der Fehler, über den sich VC beschwert, ist, dass FOO 3 Argumente hat und BAR nur 2 davon angibt. VC versucht scheinbar so schnell wie möglich Fehler zu finden und geht ein bisschen zu weit hinein.