Kann eine Unterklassenmethode umfassendere geprüfte Ausnahmen auslösen als ihre Oberklassenmethode?

Grundlegendes zu Ausnahmedeklarationen für überschreibende Methoden

In Java muss die überschreibende Methode beim Überschreiben einer Methode in einer Unterklasse bestimmte Regeln bezüglich des Auslösens einhalten Ausnahmen. Insbesondere kann die überschreibende Methode keine überprüften Ausnahmen auslösen, die neu oder umfassender sind als die von der überschriebenen Methode deklarierten.

Wenn beispielsweise eine Basisklassenmethode deklariert, eine FileNotFoundException auszulösen, kann die überschreibende Methode in einer Unterklasse dies nicht auslösen eine SQLException, Exception oder eine andere Nicht-Laufzeitausnahme, die keine Unterklasse von ist FileNotFoundException.

Begründung hinter der Einschränkung

Diese Einschränkung ergibt sich aus dem Prinzip des Polymorphismus und dem Liskov-Substitutionsprinzip (LSP). LSP gibt an, dass eine Unterklasse unter allen Umständen durch ihre Basisklasse ersetzt werden sollte, sodass das Programmverhalten korrekt bleibt.

Wenn die überschreibende Methode umfassendere Ausnahmen auslösen dürfte, würde sie gegen LSP verstoßen. Wenn beispielsweise die Basisklassenmethode foo() deklariert, eine IOException auszulösen, und die überschreibende Methode deklariert, eine SQLException auszulösen, würde der Compiler den Aufrufer nicht mehr zwingen, IOException zu behandeln.

Allerdings, wenn eine Unterklasse als Basisklasse behandelt wird, erwartet der Aufrufer möglicherweise keine umfassenderen Ausnahmen, die von der überschreibenden Methode ausgelöst werden, oder ist nicht darauf vorbereitet. Dies würde zu Laufzeitausnahmen und unvorhersehbarem Verhalten führen.

Beispiel

Betrachten Sie den folgenden Code:

class A {
   public void foo() throws IOException {..}
}

class B extends A {
   @Override
   public void foo() throws SocketException {..} // allowed

   @Override
   public void foo() throws SQLException {..} // NOT allowed
}

In diesem Beispiel die überschreibende Methode in Klasse B kann eine SocketException auslösen, da es sich um eine Unterklasse von IOException handelt. Es kann jedoch keine SQLException auslösen, da SQLException keine Unterklasse von IOException ist.

Ungeprüfte Ausnahmen

Ungeprüfte Ausnahmen unterliegen nicht dieser Einschränkung. Sie können von überschreibenden Methoden ausgelöst werden, unabhängig davon, ob sie in der Throw-Klausel der überschriebenen Methode deklariert sind.

Das obige ist der detaillierte Inhalt vonKann eine Unterklassenmethode umfassendere geprüfte Ausnahmen auslösen als ihre Oberklassenmethode?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!