【Java】”構文が間違っている”のに”文法的な誤りはない”ってどういうこと？

Question

Java資格の模擬試験で、以下のようなコードについて出題がありました。

public class Foo {
public static void main() {
System.out.println("Hello");
}
}

私は「コンパイルエラーが起きるだろう」と思いました。
なぜならコンパイルエラーは、コードに文法上の間違いがあると発生するからです。
２行目の「public static void main()」は、mainメソッドの書き方として正しくありません
（正しくは「public static void main(String[] args)」のはず）。
しかし問題集の答えでは、
「問題文のコードは文法的な誤りはないためコンパイルは成功します。
main()メソッドの構文に誤りがあるため、実行時にエラーが発生します」とありました。

構文に誤りがあるのに、文法的な誤りはないとはいったいどういうことなのでしょうか？

ご教示いただけると幸いです。

Comments

[m.ts10806]

main()が「正しくない」という根拠がそれではほぼないのと同じです。関数に引数は必須ではありませんこで。

Answer 1

２行目の「public static void main()」は、mainメソッドの書き方として正しくありません

別にmainというメソッドはどんな形で作っても構いません（極論、複数のmainメソッドをオーバーロードするようなクラスも作れる）が、エントリポイントとして認識されるのがpublic static void main(String[] args)だというだけです。

「文法的に誤りがない」のは間違いないですが、「直接実行できるJavaのクラス」という別なルールには従っていない、ということです。

Answer 2

エントリーポイントとしてのmainメソッドとは認識されないという意味でしょう。
mainという名前は予約されていないので好き放題使えるのです。

class Main {
    public static void main() {
        System.out.println("オーバーロードしてみたり");
    }
    
    public static void main(String[] args) {
        Main.main();
        
        String main = "変数名に使っちゃったり";
        System.out.println(main);
    }
}

構文に誤りがあるのに、文法的な誤りはないとはいったいどういうことなのでしょうか？

これはちょっと不思議な表現ですね。
後者は上記のとおり正しいのですが、前者には少し言葉のあやがあるような気がします。

---

実行時エラーが発生する直接的原因はメソッドの定義を間違えているから、ではないです。
エントリーポイントが存在しないのが問題です。

Answer 3

「問題文のコードは文法的な誤りはないためコンパイルは成功します。
main()メソッドの構文に誤りがあるため、実行時にエラーが発生します」

main()メソッドの形式に誤りがある
の方がしっくりきますね。
英語だと"formal"。

https://docs.oracle.com/javase/specs/jls/se13/html/jls-12.html#jls-12.1.4-110

The method main must be declared public, static, and void. It must specify a formal parameter whose declared type is array of String.

Answer 4

書いてある通りです。

引数なしのメソッドを定義すること自体は文法に違反しません。
しかし実行時エラーが出るということでしょう。

自分でコンパイルして動作させた方が理解が深まると思います。