Wie funktioniert der Compiler und Makefile kommt im Falle der Vorwärtsdeklaration zu spielen

Question

Ich stieß auf einen Ratschlag in Stack-Überlauf, der erwähnt, wann zu verwenden und wann nicht, um Benutzeranmeldung weiterzugeben.

ich auf diese kam: -

struct X;    // Forward declaration of X 

void f1(X* px) {}  // Legal: can always use a pointer/reference 
X f2(int);    // Legal: return value in function prototype 
void f3(X);   // Legal: parameter in function prototype 
void f4(X) {}   // ILLEGAL: *definitions* require complete types` 

Die letzte Zeile, die während Kompilierung fehl illegal erklärt.

void f3(X); // Works perfectly fine 

ist es so, dass alle Header-Dateien (.hh) werden zunächst durch Compiler gescannt und dann alle .cc Datei gesucht Syntax und symantics, wo wir tatsächlich die
void f3(X); als nach dem Scannen durch die Header-Dateien definieren Compiler wird die Idee haben über X seine Elementfunktion und Mitglied

Answer 1

Der Compiler scannt Headerdateien nicht. Alles was passiert, ist, dass der Präprozessor den Inhalt einer Header-Datei kopiert und einfügt, wenn eine #include auftritt, bevor diese Quelldatei an den Compiler übergeben wird.

So nach der Präprozessor ausgeführt wurde, dieses Beispiel:

foo.h

ABC 

bar.c

#include "foo.h" 
DEF 

einfach wird:

ABC 
DEF 

und das ist, was der Compiler selbst arbeitet.

Answer 2

Der Compiler scannt keine Header-Dateien. Vorwärtsdeklarationen funktionieren nur in Fällen, in denen der Compiler die vollständige Definition nicht sehen muss. Deshalb sind sie manchmal legal und manchmal illegal. Deshalb brauchen Sie sie auch von Anfang an.