Exceptions (Ausnahmen)
Inhaltsverzeichnis
PHP hat ein Exceptionmodell ähnlich dem anderer Programmiersprachen. Eine
Exception kann in PHP ausgelöst (throw
) und abgefangen (catch
) werden.
Um das Abfangen potentieller Exceptions zu ermöglichen, sollte der
jeweilige Code von einem try
-Block umschlossen werden. Jeder try
-Block
muss mindestens einen zugehörigen catch
- oder finally
-Block besitzen.
Wenn eine Exception ausgelöst wird und der aktuelle Funktionsbereich
keinen catch
-Block hat, steigt die Exception im Aufrufstapel bis zur
aufrufenden Funktion auf, bis sie einen passenden catch
-Block findet.
Alle finally
-Blöcke, auf die sie unterwegs trifft, werden ausgeführt.
Wenn der Aufrufstapel bis in den globalen Bereich abgewickelt ist, ohne
auf einen passenden catch
-Block zu stoßen, bricht das Programm mit einem
fatalen Fehler ab, es sei denn, es wurde ein globaler Exception-Handler
gesetzt.
Das ausgelöste Objekt muss eine Instanz der Klasse Exception oder einer Unterklasse von Exception sein. Der Versuch ein Objekt auszulösen, das das nicht ist, wird einen fatalen PHP-Fehler zur Folge haben.
Seit PHP 8.0.0 ist das Schlüsselwort throw
ein Ausdruck und kann in
jedem Ausdruckskontext verwendet werden. In früheren Versionen war es eine
Anweisung und musste in einer eigenen Zeile stehen.
catch
Ein catch
-Block definiert, wie auf eine ausgelöste Exception reagiert
werden soll. Ein catch
-Block definiert eine oder mehrere Arten von
Exceptions oder Fehlern, die er behandeln kann, und optional eine
Variable, der die Exception zugewiesen werden soll. (Die Variable war vor
PHP 8.0.0 erforderlich.) Der erste catch
-Block, auf den eine ausgelöste
Exception oder ein Fehler trifft, der mit dem Typ des ausgelösten Objekts
übereinstimmt, behandelt das Objekt.
Mehrere catch
-Blöcke können verwendet werden, um verschiedene Klassen
von Exceptions abzufangen. Wenn innerhalb des try
-Blocks keine Exception
ausgelöst wird, wird die normale Programmausführung nach dem letzten in
Folge definierten catch
-Block fortgesetzt. Exceptions können innerhalb
eines catch
-Blocks ausgelöst (oder erneut ausgelöst) werden. Falls
nicht, wird die Ausführung nach dem catch
-Block, der ausgelöst wurde,
fortgesetzt.
Wenn eine Exception ausgelöst wird, führt PHP den Programmcode hinter der
auslösenden Anweisung nicht aus, sondern versucht, den ersten passenden
catch
-Block zu finden. Falls eine Exception nicht abgefangen wird, wird
ein fataler Fehler mit einer
"Uncaught Exception ...
"-Nachricht ausgegeben, sofern
keine Behandlung mittels set_exception_handler()
definiert wurde.
Seit PHP 7.1.0 kann ein catch
-Block mehrere Exceptions getrennt durch
Pipe-Zeichen (|
) angeben. Dies ist nützlich, wenn
unterschiedliche Exceptions von unterschiedlichen Klassenhierarchien
gleich behandelt werden sollen.
Seit PHP 8.0.0 ist der Variablenname für eine abgefangene Exception
optional. Wird er nicht angegeben, wird der catch
-Block trotzdem
ausgeführt, hat aber keinen Zugriff auf das ausgelöste Objekt.
finally
Ein finally
-Block kann auch nach den catch
-Blöcken oder stattdessen
definiert werden. Egal, ob eine Exception ausgelöst wurde, wird der Code
innerhalb des finally
-Blocks immer nach den try
- und catch
-Blöcken
ausgeführt, bevor die normale Ausführung fortgesetzt wird.
Eine erwähnenswerte Wechselwirkung besteht zwischen dem finally
-Block
und einer return
-Anweisung. Wird eine return
-Anweisung innerhalb der
try
- oder catch
-Blöcke angetroffen, wird der finally
-Block dennoch
ausgeführt. Außerdem wird die return
-Anweisung ausgewertet, wenn sie
angetroffen wird, aber das Ergebnis wird erst nach dem finally
-Block
zurückgegeben. Des Weiteren wird, wenn der finally
-Block ebenfalls eine
return
-Anweisung enthält, der Wert aus dem finally
-Block zurückgegeben.
Globaler Exception-Handler
Wenn eine Exception in den globalen Bereich aufsteigen darf, kann sie durch
einen globalen Exception-Handler abgefangen werden, falls gesetzt. Die
Funktion set_exception_handler() kann eine Funktion
festlegen, die anstelle eines catch
-Blocks aufgerufen wird, wenn kein
anderer Block aufgerufen wird. Der Effekt ist im Wesentlichen derselbe, als
ob das gesamte Programm in einen try
-catch
-Block mit dieser Funktion
als catch
verpackt wäre.
Anmerkungen
Hinweis:
Interne PHP-Funktionen verwenden in den meisten Fällen Error-Reporting, nur moderne objektorientierte Erweiterungen nutzen Exceptions. Fehler können allerdings einfach mittels ErrorException in eine Exception umgewandelt werden. Diese Technik funktioniert jedoch nur bei nicht-fatalen Fehlern.
Beispiel #3 Fehlermeldungen in Exceptions umwandeln
<?php
function exceptions_error_handler($severity, $message, $filename, $lineno) {
throw new ErrorException($message, 0, $severity, $filename, $lineno);
}
set_error_handler('exceptions_error_handler');
?>
Die Standard PHP Library (SPL) bietet eine große Anzahl eingebauter Exceptions.
Beispiele
Beispiel #4 Eine Exception auslösen
<?php
function inverse($x) {
if (!$x) {
throw new Exception('Division durch Null.');
}
return 1/$x;
}
try {
echo inverse(5) . "\n";
echo inverse(0) . "\n";
} catch (Exception $e) {
echo 'Exception abgefangen: ', $e->getMessage(), "\n";
}
// Ausführung fortsetzen
echo "Hallo Welt\n";
?>
Das oben gezeigte Beispiel erzeugt folgende Ausgabe:
0.2 Exception abgefangen: Division durch Null Hallo Welt
Beispiel #5 Exceptionbehandlung mit einem finally
-Block
<?php
function inverse($x) {
if (!$x) {
throw new Exception('Division durch Null.');
}
return 1/$x;
}
try {
echo inverse(5) . "\n";
} catch (Exception $e) {
echo 'Exception abgefangen: ', $e->getMessage(), "\n";
} finally {
echo "Erstes finally.\n";
}
try {
echo inverse(0) . "\n";
} catch (Exception $e) {
echo 'Exception abgefangen: ', $e->getMessage(), "\n";
} finally {
echo "Zweites finally.\n";
}
// Ausführung fortsetzen
echo "Hallo Welt\n";
?>
Das oben gezeigte Beispiel erzeugt folgende Ausgabe:
0.2 Erstes finally. Exception abgefangen: Division durch Null. Zweites finally. Hallo Welt
Beispiel #6 Wechselwirkung zwischen dem finally
-Block und return
<?php
function test() {
try {
throw new Exception('foo');
} catch (Exception $e) {
return 'catch';
} finally {
return 'finally';
}
}
echo test();
?>
Das oben gezeigte Beispiel erzeugt folgende Ausgabe:
finally
Beispiel #7 Verschachtelte Exceptions
<?php
class MyException extends Exception { }
class Test {
public function testing() {
try {
try {
throw new MyException('foo!');
} catch (MyException $e) {
// Exception erneut auslösen
throw $e;
}
} catch (Exception $e) {
var_dump($e->getMessage());
}
}
}
$foo = new Test;
$foo->testing();
?>
Das oben gezeigte Beispiel erzeugt folgende Ausgabe:
string(4) "foo!"
Beispiel #8 Behandlung mehrerer Exceptions in einem Catch-Block
<?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();
?>
Das oben gezeigte Beispiel erzeugt folgende Ausgabe:
string(11) "MyException"
Beispiel #9 Catch-Block ohne Angabe einer Variablen
Erst ab PHP 8.0.0 erlaubt.
<?php
class SpecificException extends Exception {}
function test() {
throw new SpecificException('Oopsie');
}
try {
test();
} catch (SpecificException) {
print "Eine SpecificException wurde ausgelöst, aber die Details interessieren uns nicht.";
}
?>
Beispiel #10 Als Ausdruck Auslösen
Erst ab PHP 8.0.0 erlaubt.
<?php
class SpecificException extends Exception {}
function test() {
do_something_risky() or throw new Exception('Es hat nicht funktioniert');
}
try {
test();
} catch (Exception $e) {
print $e->getMessage();
}
?>