Ist der C-Preprozessor Multi-Pass in Betrieb?

Question

Ich bin kürzlich auf den Begriff "Multi-Pass-Compiler" gestoßen. Im Wesentlichen ist es jeder Compiler, der den Quellcode mit mehr als einem Durchlauf analysiert.

Also habe ich gedacht, ist der C-Pre-Prozessor Multi-Pass in Betrieb?

Sagen wir, ich habe den folgenden C-Code.

int bar = foo; 

#define foo 1 

Die einzige Möglichkeit, dies in den Pass funktionieren könnte durch, wenn der Präprozessor den ganzen Weg durch den Code ging Präprozessordirektiven gesucht und ging durch den Code dann wieder die Ersetzungen zu machen.

Funktioniert der Präprozessor so?

Answer 1

Also habe ich gedacht, ist der C-Pre-Prozessor Multi-Pass in Betrieb?

Es muss nicht sein, und es ist in der Regel nicht.

int bar = foo; 

#define foo 1 

Ein Makro ist nur sichtbar, von dem Punkt seiner Definition (die #define Linie) an das Ende der Datei (oder zu einem entsprechenden #undef). In dem obigen ist die erste Zeile nicht ersetzt durch int bar = 1;; es bleibt vielmehr als int bar = foo;, was nur gültig ist, wenn bereits eine Deklaration von foo vorliegt. (Diese Erklärung würde durch die #define versteckt werden, sondern nur für Referenzen nach die Makrodefinition.)

Das Verhalten des Vorprozessors (genauer: die ersten mehrerer Übersetzungsphasen) ist so konzipiert, eine einzigen Durchlauf Implementierung zu ermöglichen, . Siehe den C-Standard (N1570 ist der aktuellste Entwurf) Abschnitt 5.1.1.2 für die Spezifikation. Der "Präprozessor" entspricht typischerweise den Phasen 1 bis 4 oder vielleicht 1 bis 5.