> ach\'so. Und wenn am Anfang Funktionsdeklarationen stehen, dann sieht der
> Compiler die Deklaration, springt zur Funktion,

Nein, er springt eben nicht. Er geht genau einmal von vorne nach hinten über den Quelltext (One-Pass).

Wenn er die Deklaration vor dem Aufruf gesehen hat, hat er zu dem Zeitpunkt, wo er mit dem Compilieren beim Aufruf angekommen ist, alle nötigen Informationen, um den Aufruf zu kompilieren. Was die Funktion macht, ist dafür vollkommen wurscht. Der Compiler muß nur die Art und Anzahl der Parameter sowie den Rückgabetyp kennen, um den Aufruf zu compilieren.

> Stelle ich mir das einigermaßen richtig vor?

Nö, absolut nicht.