¿Por qué puedo lanzar null en Java?

¿Por qué lo transmite a una excepción NullPointerException?

Según JLS 14.18:

Una sentencia throw primero evalúa la expresión. Si la evaluación de la expresión se completa abruptamente por alguna razón, entonces el tiro se completa abruptamente por esa razón. Si la evaluación de la expresión se completa normalmente, produciendo un valor no nulo V, entonces la instrucción throw se completa abruptamente, la razón es un throw con valor V. Si la evaluación de la expresión se completa de forma La expresión se completa normalmente, produciendo un valor null, luego se crea una instancia V' de la clase NullPointerException y se lanza en lugar de null. La sentencia throw luego se completa abruptamente, la razón es un throw con valor V'.

¿Por qué puedo lanzar null en java ?

Puede lanzar objetos de tipo Throwable y como null es una referencia válida para Throwable, el compilador lo permite.

Esto es lo que Neal Gafter dice

Aunque null es asignable a cada tipo de referencia, el tipo de null no es en sí mismo un tipo de referencia. Nuestra intención era que el requisito de que la expresión en una sentencia throw fuera un tipo de referencia se eliminara de la tercera edición de la JLS, pero ese cambio nunca llegó a la versión publicada. Por lo tanto, este es un error del compilador javac que introduje en SE 5.

Se comporta de conformidad con el JLS :

Si la evaluación de la expresión se completa normalmente, produciendo un valor null, entonces se crea una instancia V' de la clase NullPointerException y se lanza en lugar de null.

Pensar en ello de esta manera hace que sea un poco más obvio en cuanto a por qué funciona esto:

try {
    Exception foo = null;
    if(false) {
        foo = new FileNotFoundException();
    } // Oops, forgot to set foo for the true case..
    throw foo;
} catch (Exception e){
    System.out.println(e instanceof NullPointerException);
    System.out.println(e instanceof FileNotFoundException);
}

No lo sé con seguridad, pero supongo que "lanzar null"; no funciona, y intentarlo hace que el programa lance una excepción, y esa excepción pasa a ser (redoble de tambor) NullPointerException...

null puede ser lanzado a cualquier cosa*, incluyendo una Excepción. Del mismo modo que podría devolver null si su firma de método especifica que debe devolver una excepción (o de hecho una cadena o clase Person), puede lanzarla.

*Excluyendo tipos primitivos.

Bharal...It parece un error del compilador javac. Creo que fue introducido en SE 5. Null se puede asignar a cualquier tipo de referencia. Sin embargo, "el tipo de null" no es en sí mismo un tipo de referencia. El programa lo compila porque null puede simplemente convertir en Excepción. Y además throw busca referencia de objeto después de la declaración y como null puede funcionar como referencia de objeto muestra el resultado.

El documento de JLS sobre throw como:

" Una instrucción throw evalúa primero Expresion. Si la evaluación de la Expresión completa abruptamente por alguna razón, entonces el tiro completa abruptamente por esa razón. If evaluación de la Expresión completa normalmente, produciendo un valor no nulo V, luego el tiro la declaración se completa abruptamente, la razón es un tiro con valor V. Si la evaluación de la expresión se completa normalmente, se produce un valor nulo valor, luego se crea una instancia V ' de la clase NullPointerException y lanzado en lugar de nulo. Tiro la declaración se completa abruptamente, la razón es un tiro con valor V'."