Las excepciones

Tabla de contenidos

PHP tiene una gestión de excepciones similar a la que ofrecen otros lenguajes de programación. Una excepción puede ser lanzada ("throw") y atrapada ("catch") en PHP. El código debe estar rodeado de un bloque try para facilitar la captura de una excepción potencial. Cada try debe tener al menos un bloque catch o finally correspondiente.

Si una excepción es lanzada y el ámbito actual de la función no tiene un bloque catch, la excepción "subirá" la pila de llamadas de la función llamante hasta encontrar un bloque catch correspondiente. Todos los bloques finally encontrados serán ejecutados. Si la pila de llamadas se despliega hasta el ámbito global sin encontrar un bloque catch correspondiente, el programa será terminado con un error fatal a menos que se haya definido un gestor global de excepciones.

El objeto lanzado debe ser una instanceof Throwable. Intentar lanzar un objeto que no lo sea resultará en un error fatal emitido por PHP.

A partir de PHP 8.0.0, la palabra clave throw es una expresión y puede ser utilizada en cualquier contexto de expresiones. En las versiones anteriores era una declaración que debía estar en su propia línea.

catch

Un bloque catch define cómo reaccionar a una excepción que ha sido lanzada. Un bloque catch define uno o más tipos de excepciones o errores que puede gestionar, y opcionalmente una variable en la que asignar la excepción. (Esta variable era requerida en las versiones anteriores a PHP 8.0.0) El primer bloque catch que una excepción o error lanzado encuentre y que corresponda al tipo del objeto lanzado gestionará el objeto.

Varios bloques catch pueden ser utilizados para atrapar diferentes clases de excepciones. La ejecución normal (cuando ninguna excepción es lanzada en el bloque try) continúa después del último bloque catch definido en la secuencia. Las excepciones pueden ser lanzadas (throw) o relanzadas en un bloque catch. De lo contrario, la ejecución continuará después del bloque catch que ha sido desencadenado.

Cuando una excepción es lanzada, el código siguiente al procesamiento no será ejecutado y PHP intentará encontrar el primer bloque catch correspondiente. Si una excepción no es atrapada, un error fatal emitido por PHP será enviado con un mensaje "Uncaught Exception ..." indicando que la excepción no pudo ser atrapada a menos que un gestor de excepciones sea definido con la función set_exception_handler().

A partir de PHP 7.1, un bloque catch puede especificar múltiples excepciones utilizando el carácter pipe (|). Esto es útil cuando diferentes excepciones de jerarquías de clases diferentes son tratadas de la misma manera.

A partir de PHP 8.0.0, el nombre de variable para la excepción atrapada es opcional. Si no se especifica, el bloque catch será siempre ejecutado pero no tendrá acceso al objeto lanzado.

finally

Un bloque finally también puede ser especificado después de los bloques catch. El código dentro del bloque finally será siempre ejecutado después de los bloques try y catch, independientemente de si una excepción ha sido lanzada, antes de continuar con la ejecución normal.

Una interacción notable es entre un bloque finally y una declaración return. Si una declaración return es encontrada dentro de los bloques try o catch, el bloque finally será ejecutado de todos modos. Además, la declaración return es evaluada cuando es encontrada, pero el resultado será devuelto después de que el bloque finally sea ejecutado. Adicionalmente, si el bloque finally contiene también una declaración return, el valor del bloque finally es devuelto.

Gestor global de excepciones

Si una excepción es permitida subir hasta el ámbito global, puede ser atrapada por un gestor de excepciones global si ha sido definido. La función set_exception_handler() puede definir una función que será llamada en lugar de un bloque catch si ningún otro bloque es invocado. El efecto es esencialmente idéntico a rodear todo el programa en un bloque try-catch con esta función como catch.

Notas

Nota:

Las funciones internas de PHP utilizan principalmente el Error reporting, solo las extensiones orientadas a objetos utilizan las excepciones. De todos modos, los errores pueden ser fácilmente traducidos en excepciones con ErrorException. Sin embargo, esta técnica solo funciona para los errores no fatales.

Ejemplo #1 Convertir el error reporting en excepciones

<?php
function exceptions_error_handler($severity, $message, $filename, $lineno) {
throw new
ErrorException($message, 0, $severity, $filename, $lineno);
}

set_error_handler('exceptions_error_handler');
?>

Sugerencia

La biblioteca estándar PHP (SPL) proporciona un buen número de excepciones adicionales.

Ejemplos

Ejemplo #2 Lanzar una excepción

<?php
function inverse($x) {
if (!
$x) {
throw new
Exception('División por cero.');
}
return
1/$x;
}

try {
echo
inverse(5) . "\n";
echo
inverse(0) . "\n";
} catch (
Exception $e) {
echo
'Excepción recibida : ', $e->getMessage(), "\n";
}

// Continuar la ejecución
echo "¡Hola mundo!\n";
?>

El resultado del ejemplo sería:

0.2
Excepción recibida : División por cero.
¡Hola mundo!

Ejemplo #3 Gestión de la excepción con un bloque finally

<?php
function inverse($x) {
if (!
$x) {
throw new
Exception('División por cero.');
}
return
1/$x;
}

try {
echo
inverse(5) . "\n";
} catch (
Exception $e) {
echo
'Excepción recibida : ', $e->getMessage(), "\n";
} finally {
echo
"Primer final.\n";
}

try {
echo
inverse(0) . "\n";
} catch (
Exception $e) {
echo
'Excepción recibida : ', $e->getMessage(), "\n";
} finally {
echo
"Segundo final.\n";
}

// Continuar la ejecución
echo "¡Hola mundo!\n";
?>

El resultado del ejemplo sería:

0.2
Primer final.
Excepción recibida : División por cero.
Segundo final.
¡Hola mundo!

Ejemplo #4 Interacción entre el bloque finally y return

<?php

function test() {
try {
throw new
Exception('foo');
} catch (
Exception $e) {
return
'catch';
} finally {
return
'finally';
}
}

echo
test();
?>

El resultado del ejemplo sería:

finally

Ejemplo #5 Herencia de una excepción

<?php

class MyException extends Exception { }

class
Test {
public function
testing() {
try {
try {
throw new
MyException('foo!');
} catch (
MyException $e) {
// se relanza
throw $e;
}
} catch (
Exception $e) {
var_dump($e->getMessage());
}
}
}

$foo = new Test;
$foo->testing();

?>

El resultado del ejemplo sería:

string(4) "foo!"

Ejemplo #6 Gestión de excepciones de captura múltiple

<?php

class MyException extends Exception { }

class
MyOtherException extends Exception { }

class
Test {
public function
testing() {
try {
throw new
MyException();
} catch (
MyException | MyOtherException $e) {
var_dump(get_class($e));
}
}
}

$foo = new Test;
$foo->testing();

?>

El resultado del ejemplo sería:

string(11) "MyException"

Ejemplo #7 Omitir la variable atrapada

Solo permitido en PHP 8.0.0 y posteriores.

<?php

function test() {
throw new
SpecificException('Oopsie');
}

try {
test();
} catch (
SpecificException) {
print
"Se lanzó una SpecificException, pero no nos importan los detalles.";
}
?>

El resultado del ejemplo sería:

Se lanzó una SpecificException, pero no nos importan los detalles.

Ejemplo #8 Throw como expresión

Solo permitido en PHP 8.0.0 y posteriores.

<?php

class SpecificException extends Exception {}

function
test() {
do_something_risky() or throw new Exception('No funcionó');
}

function
do_something_risky() {
return
false; // Simular un fallo
}

try {
test();
} catch (
Exception $e) {
print
$e->getMessage();
}
?>

El resultado del ejemplo sería:

No funcionó