¿Es main un identificador de Java válido?

Uno de mis hijos está tomando Java en la escuela secundaria y tuvo esto en una de sus pruebas:

¿Cuál de los siguientes es un identificador válido en Java?

a. 123java
si. main
C. java1234
re. {abce
mi. )whoot

Él respondió b y se equivocó.

Miré la pregunta y sostuve que main es un identificador válido y que debería haber sido correcto.

Echamos un vistazo a la especificación Java para identificadores y reforzó ese punto. También escribimos un programa de muestra que tenía una variable llamada main, así como un método. Creó una refutación escrita que incluía la referencia de documentación de Java, el programa de prueba y el maestro la ignoró y dice que la respuesta sigue siendo incorrecta.

¿Es mainun identificador válido?

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

Esto compila, y cuando se ejecuta, emite esta salida:

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

La secuencia de caracteres maines un identificador, no una palabra clave o una palabra reservada.

La sección relevante de la JLS es 3.8 :

Un identificador es una secuencia de letras y dígitos Java de longitud ilimitada , la primera de las cuales debe ser una letra Java .

Identificador:

    IdentifierChars pero no una palabra clave o BooleanLiteral o NullLiteral

IdentifierChars:

    JavaLetter {JavaLetterOrDigit}

JavaLetter:

    cualquier carácter Unicode que sea una "letra Java"

JavaLetterOrDigit:

    cualquier carácter Unicode que sea una "letra o dígito Java"

La secuencia de caracteres se mainajusta a la descripción anterior y no está en la lista de palabras clave en la Sección 3.9 .

(La secuencia de caracteres java1234también es un identificador, por las mismas razones).

main es un identificador válido de Java, y el maestro está equivocado.

La documentación relevante está en la Especificación del lenguaje Java, aquí:

Capítulo 3. "Estructura léxica", sección 3.8. "Identificadores":

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

Dice:

Un identificador es una secuencia de letras y dígitos Java de longitud ilimitada, la primera de las cuales debe ser una letra Java ... Un identificador no puede tener la misma ortografía (secuencia de caracteres Unicode) que una palabra clave (§3.9), literal booleano ( §3.10.3), o el literal nulo (§3.10.7), o se produce un error en tiempo de compilación.

Lo que significa que puede probar que es un identificador válido ya sea:

• buscándolo en la lista de palabras clave de Java (pista: ¡no lo encontrará allí!) o simplemente por
• usándolo como un identificador y observando que no se produce ningún error en tiempo de compilación.

Como dicen las otras respuestas

maines un identificador de Java válido , así como java1234.

Supongo que lo confuso proviene del hecho de que main(String[])la JVM usa el método como punto de entrada ^{1 a} . Sin embargo, eso no significa que el token en mainsí mismo no pueda usarse como identificador ² .

Las especificaciones lo dicen, y las siguientes declaraciones también son válidas:

• Un campo:

  private int main;

• Una variable local:

  String main = "";

• Un método:

  private void main() { ... }

• Una clase (aunque se desaconseja un nombre de clase que comience con minúsculas):

  public class main { ... }

• Un paquete:

  package main;

^{1: Como se señaló en los comentarios, la especificación JVM en sí misma no exige ningún método en particular como punto de entrada, pero la javaherramienta ampliamente utilizada a menudo usa dicho método como punto de entrada.
2: generalmente evitaría crear un método principal que no sea main(String[]).}

Esto compila bien en 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);
    }
}

... y cuando se ejecuta produce la salida:

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

Tiré todo lo que pude, y parece funcionar. Yo diría que main es un identificador válido.

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

¿Cómo mainno podría usarse como identificador mientras se usa como identificador para declarar el método "principal"?

Para un idioma tan clásico:

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

main no es una palabra clave y probablemente nunca sería una palabra clave en Java por obvias razones de compatibilidad retro.

Sobre la pregunta, ¿es mainun buen identificador?

Primero: válido para un compilador no significa necesariamente bueno.
Por ejemplo, la java1234opción que se propone también es un identificador válido, pero eso realmente debería evitarse.

maintiene un significado muy particular e importante: se utiliza como método de punto de entrada de clases y jarras ejecutadas por la javalínea de comando.
Usar mainun nombre de método que no cumpla con los criterios que usará la javalínea de comando sería engañoso mientras lo usa como nombre de variable o un nombre de clase podría tener sentido.
Por ejemplo, definir la clase que representa el punto de entrada de una aplicación como la Mainclase de la aplicación es aceptable y usarla también como nombre de variable, como por ejemplo:

public class Main {

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

}

De manera general, en Java, varios caracteres o "palabras" se consideran identificadores válidos para el compilador, pero se desaconseja su uso en el código del cliente (pero el código generado puede hacer eso: clases anidadas, por ejemplo) como no legibles y / o realmente engañoso.

Por ejemplo, esto podría ser válido para el compilador:

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

Pero no queremos:

• nombrar Objectnuestra clase como se define enjava.lang (1).
• para nombrar un método main()si no cumple los criterios que utilizará eljava línea de comando (2).
• sobrecargar el Object.toString() método (3).
• para nombrar nuestras variables con _, $o cualquier personaje sorprendente / poco significativo que vaya en contra de las convenciones de nomenclatura compartidas (4).

¿Es un identificador válido? Si.

¿Es un buen identificador? No, si lo está utilizando para otra cosa que no sea el método que comienza en el lanzamiento de JVM.

¿Hay otro identificador válido en la lista? Si.

¿Las instrucciones del examen decían elegir la mejor respuesta?

maines perfectamente válido porque, desde los documentos :

1. Es una "secuencia de letras y dígitos Java, la primera de las cuales es una letra Java"
2. No es una palabra clave
3. No es un literal booleano, es decir, "verdadero" o "falso"
4. No es literal nulo

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

Ese maestro cometió un pequeño error al asumir que main no es un identificador válido o simplemente formular la pregunta incorrectamente. Posiblemente quiso decir "un buen identificador".
Pero ignorar los argumentos de sus hijos y, por lo tanto, desalentar su enfoque científico de verificar la literatura relevante (especificación Java) y realizar un experimento (escribir un programa de muestra) es exactamente lo contrario de lo que se supone que debe hacer un maestro.

Ambos mainy java123son identificadores válidos , main no es una palabra clave reservada, por lo que es perfectamente aceptable de usar, en lo que respecta a la prueba, debería haber obtenido un punto o medio punto como mínimo.

1. Debería ser una sola palabra. Es decir, los espacios no están permitidos.

   Ejemplo: el precio del mango es válido pero el precio del mango no es válido.

2. Debe comenzar con una letra (alfabeto) o guión bajo o símbolo $.

   Ejemplo: price, _price y $ price son identificadores válidos.

3. No debe ser una palabra clave de Java, ya que la palabra clave tiene un significado especial para el compilador.

   Ejemplo: clase o vacío, etc.

4. No debe comenzar con un dígito, pero el dígito puede estar en el medio o al final.

   Ejemplo: 5mangoescost no es válido y mango5cost y mangocost5 son válidos.

5. La longitud de un identificador en Java puede ser de 65.535 caracteres y todos son significativos. Los identificadores distinguen entre mayúsculas y minúsculas. Es decir, tanto el mango como el mango se tratan de manera diferente. Puede contener todas las letras mayúsculas o minúsculas o una mezcla.

IDENTIFICADOR : son nombres de clases, nombres de métodos, nombres de variables ...

Como main no es una palabra reservada y de acuerdo con la explicación anterior para definir un identificador main es un identificador válido y java1234 también. Las opciones restantes no son válidas debido a la explicación anterior.