Чи є основним дійсний ідентифікатор Java?

Один з моїх дітей брав Java в середній школі і мав це на одному з своїх тестів:

Що з наведеного нижче є дійсним ідентифікатором на Java?

а. 123java
б. main
c. java1234
г. {abce
е. )whoot

Він відповів b і зрозумів неправильно.

Я переглянув питання і стверджував, що 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

Характеристики ідентифікатора:

    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 Java ...

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);
    }
}

Цей викладач допустив незначну помилку, вважаючи, що головний не є дійсним ідентифікатором, або просто неправильно формулює питання. Він, можливо, мав намір сказати "хороший ідентифікатор".
Але ігнорування аргументів ваших синів і тим самим відлякує його науковий підхід до перевірки відповідної літератури (специфікація Java) та проведення експерименту (написання зразкової програми) - це точно протилежне тому, що повинен робити вчитель.

Обидва mainі java123є дійсними ідентифікаторами, main не є зарезервованим ключовим словом, тому його цілком прийнятно використовувати, що стосується тесту, ви мали б отримати бал або хоча б пів бала.

1. Повинно бути одним словом. Тобто пробіли не допускаються.

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

2. Починати слід з літери (алфавіту) або підкреслення або символу $.

   Приклад: ціна, _ціна та ціна $ є дійсними ідентифікаторами.

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

   Приклад: клас чи недійсність тощо

4. Не слід починати з цифри, але цифра може бути в середині або в кінці.

   Приклад: 5mangoescost недійсний, а mango5cost і mangocost5 є дійсними.

5. Довжина ідентифікатора на Java може становити 65535 символів, і всі вони значущі. Ідентифікатори залежать від регістру. Тобто і до манго, і до манго трактуються по-різному. Може містити всі великі літери або малі літери або суміш.

ІДЕНТИФІЄР : це назви класів, назви методів, назви змінних ...

Оскільки main не є зарезервованим словом, і відповідно до пояснення вище, для визначення ідентифікатора main є допустимим ідентифікатором, а також java1234. Залишилися параметри недійсні через вищезазначене пояснення.