Является ли main допустимым идентификатором Java?

main - допустимый идентификатор Java, и учитель ошибается.

Соответствующая документация находится в Спецификации языка Java, прямо здесь:

Глава 3. «Лексическая структура», раздел 3.8. «Идентификаторы»:

https://docs.oracle.com/javase/specs/jls/se10/html/jls-3.html#jls-3.8

Он говорит:

An identifier is an unlimited-length sequence of Java letters and Java digits, the first of which must be a Java letter... An identifier cannot have the same spelling (Unicode character sequence) as a keyword (§3.9), boolean literal (§3.10.3), or the null literal (§3.10.7), or a compile-time error occurs.

Это означает, что вы можете доказать, что это действительный идентификатор:

• ищите его в списке ключевых слов java (подсказка: вы его там не найдете!) или просто
• используя его в качестве идентификатора и следя за тем, чтобы ошибки времени компиляции не возникали.

main вполне допустим, потому что он, из документов:

1. Представляет собой «последовательность букв Java и цифр Java, первая из которых является буквой Java».
2. Не является ключевое слово
3. Не является логический литерал, т.е. "истина" или "ложь"
4. Не является нулевой литерал

public class J {
    public static void main(String[] args)
    {
        String main = "The character sequence \"main\" is an identifier, not a keyword or reserved word.";
        System.out.println(main);
    }
}

Это компилируется и при выполнении выдает следующий вывод:

The character sequence "main" is an identifier, not a keyword or reserved word.

Последовательность символов main - это идентификатор, а не ключевое слово или зарезервированное слово.

соответствующий раздел JLS - 3.8:

An identifier is an unlimited-length sequence of Java letters and Java digits, the first of which must be a Java letter.

Identifier:

    IdentifierChars but not a Keyword or BooleanLiteral or NullLiteral

IdentifierChars:

    JavaLetter {JavaLetterOrDigit}

JavaLetter:

    any Unicode character that is a "Java letter"

JavaLetterOrDigit:

    any Unicode character that is a "Java letter-or-digit"

Последовательность символов main соответствует приведенному выше описанию и отсутствует в список ключевых слов в Разделе 3.9.

(Последовательность символов java1234 также является идентификатором по тем же причинам.)

Как утверждают другие ответы

main - действительный идентификатор Java, а также java1234.

Я предполагаю, что это сбивает с толку тот факт, что метод main(String[]) часто используется JVM¹ в качестве точки входа. Однако это не означает, что сам токен main нельзя использовать в качестве идентификатора ².

Об этом говорится в спецификации, и следующие декларации также действительны:

• Поле:

  private int main;
  

• Локальная переменная:

  String main = "";
  

• Метод:

  void main() { ... }
  

• Класс или интерфейс (хотя имя класса или интерфейса, начинающееся с нижнего регистра, не рекомендуется):

  class main { ... }
  

• Пакет:

  package main;
  

^{1: As noted in the comments, the JVM specification itself does not mandate any particular method as entry point, but the widely used java tool often uses such a method as entry point.
2: I would generally avoid creating a main method other than main(String[]).}

Как main нельзя использовать в качестве идентификатора, в то время как он используется в качестве идентификатора для объявления «основного» метода?

Для такой классической идиомы:

public class Foo{
   public static void main(String[] args){
   }
}

main не является ключевым словом и, вероятно, никогда не будет ключевым словом в Java по очевидным причинам ретро-совместимости.

По поводу вопроса, main - хороший идентификатор?

Во-первых: допустимый для компилятора не обязательно означает хороший. Например, предлагаемая опция java1234 также является допустимым идентификатором, но этого действительно следует избегать.

main имеет очень конкретное и важное значение: он используется как метод точки входа для классов и jar-файлов, выполняемых из командной строки java. Использование main в качестве имени метода, которое не соответствует критериям, используемым в командной строке java, может ввести в заблуждение, поскольку его использование в качестве имени переменной или имени класса может иметь смысл. Например, определение класса, представляющего точку входа приложения, как класса Main приложения, является приемлемым, и поэтому его можно использовать как имя переменной, например:

public class Main {

  public static void main(String args[]){
     Main main = new Main();
     // ...
  }      

}

В общем случае в Java несколько символов или «слов» считаются допустимыми идентификаторами для компилятора, но их настоятельно не рекомендуется использовать в клиентском коде (но сгенерированный код может это делать: например, вложенные классы) как нечитаемые и / или действительно вводит в заблуждение.

Например, это может быть действительным для компилятора:

public class Object { // 1
    public void foo() {
       ...
    }
}

public class BadChosenIdentifier {

    public static void main() { // 2
        new BadChosenIdentifier().toString(new Object());  
    }

    public void toString(Object java1234) { // 3, 4
        String _result$ = java1234 + " -> to avoid"; // 4
        System.out.println(_result$);
    }    
}

Но мы не хотим:

• называть Object нашему классу, как это определено в java.lang (1).
• назвать метод main(), если он не соответствует критериям, используемым в командной строке java (2).
• для перегрузки метода Object.toString() (3).
• называть наши переменные _, $ или любыми неожиданными / бессмысленными символами, которые противоречат соглашениям об общих именах (4).

public class Main {
    private static String main;
    public static void main(String[] main) {
        Main.main = main[0];
        new Main().main(Main.main);
    }
    private void main(String main) {
        System.out.println(main);
    }
}

Это отлично компилируется на Java 1.8 ...

public class main {

    public String main = "main"; 

    public void main(String main) {
        System.out.println("This object is an instance of the class " + this.getClass().getCanonicalName());
        System.out.println("The value of the argument \"main\" for this call to the method \"main(String main)\" is " + main);
        System.out.println("The value of the field \"main\" is " + this.main);
    }

    public static void main(String[] args) {
        main main = new main();
        main.main(main.main + main.main);
    }
}

... и при выполнении производит вывод:

This object is an instance of the class main
The value of the argument "main" for this call to the method "main(String main)" is mainmain
The value of the field "main" is main

Это действительный идентификатор? да.

Это хороший идентификатор? Нет, если вы используете его для чего-то другого, кроме метода, который запускается при запуске JVM.

Есть ли в списке другой действительный идентификатор? да.

В инструкциях к тесту говорилось, что нужно выбрать лучший ответ?

Я бросил на это все, что мог, и, похоже, это сработало. Я бы сказал, что main - действительный идентификатор.

package main;

public class main {

    static main main;
    String Main;

    main(String main) {
        Main = main;
    }

    main(main main) {
        System.out.println(main.Main);
    }

    main main(main main) {
        return new main(main);
    }

    public static void main(main...Main) {
        main:
        for (main main : Main) {
            main = (main instanceof Main) ? new main(main): main.main(main);
            break main;
        }
    }

    public static void main(String[] args) {
        main = new main("main");
        main.main(main, main);
        main = main.new Main(main) {
            main main(main main) {
                return ((Main)main).main();
            }
        };
        main.main(main);
        main.main(main,main);
    }

    abstract class Main extends main {
        Main(main main) {
            super("main");
        }

        main main() {
            main.Main = "Main";
            return main;
        }
    }
}

И main, и java123 являются идентификаторами действительный, main не является зарезервированным ключевым словом, поэтому его вполне можно использовать, что касается теста, вы должны получить как минимум балл или пол-балла.

Этот учитель допустил небольшую ошибку, предположив, что главный не является допустимым идентификатором, или просто неправильно сформулировал вопрос. Возможно, он хотел сказать «хороший идентификатор».
Но игнорирование аргументов ваших сыновей и тем самым препятствование его научному подходу к проверке соответствующей литературы (спецификация Java) и проведению эксперимента (написание примера программы) - это прямо противоположное того, что должен делать учитель.

1. Должно быть одно слово. То есть пробелы не допускаются.

   Пример: цена на манго действительна, но цена на манго недействительна.

2. Должен начинаться с буквы (алфавита), подчеркивания или символа $.

   Пример: цена, _price и $ price являются допустимыми идентификаторами.

3. Не должно быть ключевым словом Java, поскольку ключевое слово имеет особое значение для компилятора.

   Пример: class или void и т. д.

4. Не должно начинаться с цифры, но цифра может быть в середине или в конце.

   Пример: 5mangoescost недействителен, а mango5cost и mangocost5 действительны.

5. Длина идентификатора в Java может составлять 65 535 символов, и все они значимы. Идентификаторы чувствительны к регистру. То есть и к манго, и к манго относятся по-разному. Может содержать все буквы в верхнем или нижнем регистре или их сочетание.

ИДЕНТИФИКАТОР: это имена классов, имена методов, имена переменных ...

Поскольку main не является зарезервированным словом, и в соответствии с приведенным выше объяснением для определения идентификаторов main - действительный идентификатор и java1234 также. Остальные параметры не действительны из-за вышеприведенного объяснения.