Ｃ言語　main関数とsum関数の記述順について

これはＣ言語の仕様です。使用する変数や関数は先に定義または宣言する必要があります。コンパイルを少しでも早くするため（今から考えると当時のミニコンは遅かった）構文解析を１Ｐａｓｓにしたのだと思います。 アセンブラ言語は普通２Ｐａｓｓで解析します。後から出てきたシンボルがＵｎｄｅｆｉｎｅになる事はありません。 コンパイラ言語の構文解析は先頭から順に行います。解析結果はグラフ／ツリーのような形で表現されるらしいです。

まず、ここで書かれた例ではsum()をどこからも呼び出されていないのでどちらでも実行されません。 >main関数を解析している段階では、sum関数は発見されておらず、従って、main関数の中では、sum関数を使うことは出来なくなってしまいます。 この解説は間違い、後述の関数を使用出来ないのはCの言語仕様です。(出来ないと決めているから出来ない) コンパイラは頭から逐一翻訳していくのではありません。 コンパイラによって違いますが通常は数回から十数回のパスをへてオブジェクトファイルを出力します。 具体的にコンパイラがどのような解析をしているかは簡単には書けませんから専門書を参照してください。 なぜそのような仕様になっているかですが恐らくCの開発当時のコンピュータの演算能力や使用料の低減のために人間への負担を増やすことで少しでもコンパイラを簡易なものにするためでしょう。

例題があまり良くないですねぇ。 >コンパイラがどのような順番でプログラムを処理しているのか プログラムを処理…ではなく、構文解析…というべきでしょうかね。 とりあえず、プリプロセスで疑似命令とか処理して1つのファイルとして、先頭から構文解析を進めているハズです。 ちなみに、例題1も例題2もsum()はコールされていませんからどっちも「実質なにもしないmain()」が実行されるだけ…ですよ。 どっちもmain()が int main(void) { 　sum(); 　return 0; } だった場合、 例題1だとsum()の情報(引数の数や型、戻り値の型などの情報)が無い為、コンパイルエラーか警告となります。 # そういう場合の規定があった…かと。(引数、戻り値もint型とする…でしたかね) 例題2だとmain()からsum()をコールする時にはsum()の情報は解釈済みですのでコンパイルエラーや警告になることはありません。 # もちろん、正しく使っている場合に限りますが。 つまり、呼び出す前に呼び出し先の情報があればいい。 ということになります。 main()からfunc1()をコールしているからfunc1()をmain()より前に書けばいい。 func1()からfunc2()とfunc3()とfunc4()をコールしているからfunc1()の前にfunc2()とfunc3()とfunc4()をfunc1()より前に……とかやっていけば万事解決です。 そういう依存関係を考慮してソースを書く必要がある。ってことですね。 依存関係の結果入れ子になったらどうしましょうか。 func2()からfunc3()とfunc4()をコールしている。func3()からはfunc4()をコールしている。func4()からは条件によってはfunc3()をコールすることもある。 さて、どうしましょう？ そんな依存関係も把握して書かないといけないなんて面倒ですね……。 ってことでプロトタイプ宣言ってものがあるんです。

先頭から順に解析しています。 例えば、変数で考えてみます。 main関数の中で int main(void) { i++; int i; } こうだと、エラーが出ます。変数の定義の前に変数を使用しているからです。 この場合、使用する前に必ず変数を定義する必要があります。 int main(void) { int i; i++; } 同様に、関数も定義するまえに使用してはいけないのです。ですからmainの前にプロトタイプ宣言するか、実態そのものを定義しておくか、プリプロセッサ(#include)で読み込んでおくかの必要があります。