Kann der Name eines Makroparameters ein Schlüsselwort sein?

Question

Ich entdeckte etwas Interessantes beim Schreiben von Code. Ich habe ein Makro in meinem Code definiert und versehentlich das Schlüsselwort int als Variablenname des Parameters dieses Makros verwendet. Der Code funktionierte einwandfrei, aber ich bin ein bisschen überrascht. Ich habe gelesen, dass in C Schlüsselwörter reservierte Wörter sind und nicht als Variablennamen verwendet werden können.

Dies ist mein Code:

#include <stdio.h> 

#define PRINT(int) printf("%d",int) 

int main() 
{ 
    int x=2; 
    PRINT(x); 
    return 0; 
} 

Kann mir jemand erklären, warum ist es in Ordnung zu arbeiten? Ist es nicht wahr, dass Schlüsselwörter reserviert sind und nicht als Variablennamen in C verwendet werden können, oder ist dies eine Ausnahme in C für Makros?

Answer 1

In diesem Zusammenhang int ist keine Variable (richtiger: Parameter) Namen, weil natürlich PRINT auch keine Funktion ist - es ist ein Präprozessormakro.

Was immer Sie als Teil einer Makrodefinition schreiben, wird nur vom Präprozessor betrachtet. Zu dem Zeitpunkt, zu dem der Compiler die verarbeitete Quelle sehen kann, bleibt nichts von dem Namen "int" übrig.

Dies ist vergleichbar mit dem, was mit formalen Parametern von Funktionen passiert: Der Compiler bekommt diese Namen zu sehen, aber nachdem es mit der Quelle fertig ist, bleibt keine Spur in dem kompilierten Code (also müssen Sie Debug-Symbole laden Debugger, um "diese Information zurück zu bekommen").

Answer 2

Während der Vorverarbeitungsphasen sind Schlüsselwörter nicht vorhanden und werden nur als gewöhnliche Bezeichner betrachtet.

Answer 3

Die #define wird durch den Präprozessor ersetzt, bevor der C-Compiler es jemals sieht. Was der Compiler selbst sieht, ist dies:

Dies ist gültige C-Code. Die Verwendung eines Schlüsselworts als Variablenname führt zu folgendem Fehler:

int main() 
{ 
int float=2; 
printf("%s",float); 
return 0; 
} 

Dies wird nicht kompiliert.

Answer 4

Der C-Standardabschnitt 5.1.1.2 definiert neun Phasen der C-Translation. Vorverarbeitungsphase ist Nummer 4; Schlüsselwörter werden nur in der Phase 7 als solche erkannt; vor dieser Phase werden alle Schlüsselwörter als regulär Vorverarbeitungstoken betrachtet. Weitere Informationen finden Sie unter the standard.

keyword: one of auto break case [...]

The above tokens (case sensitive) are reserved (in translation phases 7 and 8) for use as keywords, and shall not be used otherwise.