1

意味解析 (型チェックなどを含む) を行う前に、プログラム全体 (抽象構文ツリーなどで表される) を用意することが重要だと思います。

すべての情報をまとめるには、ソース ファイル、参照ライブラリのメタ情報などを組み合わせる必要があります。

「リンク」とは通常、入力ファイルやインポートされたライブラリではなく、コンパイラが生成したものをまとめることを指すため、この結合フェーズはどのように呼び出されますか。

4

1 に答える 1

2

コンパイラは通常、1 つのソース ファイルを 1 つのオブジェクト ファイルにコンパイルします。

ソース ファイルは、一度にすべてメモリに読み込まれるとは限りません。また、オブジェクト ファイルはリンクされるまで結合されません。

(とりわけ) 型チェックを行うには、コンパイラは、このコンパイル単位が他のものを参照するすべての方法を知る必要があります。C/C++ では、プリプロセッサに含まれるヘッダー ファイルを使用します。

于 2012-10-16T11:15:18.947 に答える