javacコンパイラが行う「静的チェック」は、Javaの安全性を支える重要な砦です。 変数の初期化漏れ、型違いの代入、アクセス修飾子違反、未キャッチの検査例外（Checked Exception）などはすべてコンパイル段階で検出され、「コンパイルエラー（Compile Error）」として拒否されます。 コンパイルが成功すると、クラスごとに「.class」という拡張子を持つファイルが出力されます。ソースファイル内に複数のクラスが定義されている場合、コンパイル結果としてクラスの数だけ個別の.classファイルが生成されます。 javaコマンドによる実行時には、JVMがクラスローダーを介して指定されたクラスを検索・ロードし、そのクラス内に定義されたmainメソッドを探して処理を開始します。