コンパイル とは？

人が書いたコードを解析して、実行に使う別の表現へ変換するためだよ。機械語になる場合もあれば、Javaのように仮想マシンで動くバイトコードを含むクラスファイルになる場合もあるんだ。

CをGCCで処理する例では、オブジェクトファイルを作ってから、ほかのコードやライブラリとリンクして実行ファイルを作るよ。コンパイルの出力がいつも完成した実行ファイル、というわけではないんだ。

代表的な処理系のCPythonも、ソースを内部のバイトコードへコンパイルして実行するよ。自分でコンパイルのコマンドを打たなくても、内部で変換が行われるんだ。『インタプリタだからソースを1行ずつそのまま実行』という説明は正確ではないね。

構文や型の誤りなどを実行前に見つけられるのは利点だよ。でも検査内容は言語や設定によるし、意図と違う計算や実行中の不具合まで全部分かるわけではない。実行速度も、コンパイルするというだけで必ず速くなるとは決まらないんだ。

主な違いは変換のタイミングだよ。AOTは実行前、JITは実行時に行う。JavaのHotSpot VMのように、バイトコードを解釈実行しながら実行情報を集め、コードを機械語へコンパイルする処理系もあるんだ。