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

Один из моих детей учится на Java в старшей школе, и у него было одно из его испытаний:

Что из следующего является допустимым идентификатором в Java?

а. 123java
б. main
с. java1234
д. {abce
е. )whoot

Он ответил б и ошибся.

Я посмотрел на этот вопрос и утверждал , что main является допустимым идентификатором , и что он должен был прав.

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

Является mainдействительным идентификатором?

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 :

Идентификатор представляет собой последовательность неограниченной длины Java букв и Java цифр , первая из которых должна быть буква Java .

Идентификатор:

    IdentifierChars, но не ключевое слово или BooleanLiteral или NullLiteral

IdentifierChars:

    JavaLetter {JavaLetterOrDigit}

JavaLetter:

    любой символ Unicode, который является «буквой Java»

JavaLetterOrDigit:

    любой символ Unicode, который является «буквой или цифрой Java»

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

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

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

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

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

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

Это говорит:

Идентификатор представляет собой последовательность букв Java и цифр Java неограниченной длины, первая из которых должна быть буквой Java ... Идентификатор не может иметь такое же написание (последовательность символов Unicode), что и ключевое слово (§3.9), логический литерал ( §3.10.3), либо нулевой литерал (§3.10.7), либо возникает ошибка времени компиляции.

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

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

Как говорится в других ответах

mainявляется допустимым идентификатором Java , а также java1234.

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

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

• Поле:

  private int main;

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

  String main = "";

• Метод:

  private void main() { ... }

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

  public class main { ... }

• Пакет:

  package main;

^{1: Как отмечено в комментариях, сама спецификация JVM не требует какого-либо конкретного метода в качестве точки входа, но широко используемый javaинструмент часто использует такой метод в качестве точки входа.
2: я вообще избегал бы создания основного метода кроме main(String[]).}

Это прекрасно компилируется на 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

Я бросил все, что мог, на это, и это, кажется, работает. Я бы сказал, что 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нельзя использовать в качестве идентификатора, в то время как он используется в качестве идентификатора для объявления «основного» метода?

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

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).
• назвать наши переменные с _, $или любыми неожиданными / unmeaningful символов , которые идут против общих соглашений об именах (4).

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

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

В списке есть еще один действительный идентификатор? Да.

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

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

1. Это «последовательность букв Java и цифр Java, первая из которых является буквой Java»
2. Не ключевое слово
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);
    }
}

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

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

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

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

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

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

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

   Пример: класс или пустота и т. Д.

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

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

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

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

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