オーバーライドされた Java メソッドは、親メソッドよりも広範なチェック例外をスローできますか?

オーバーライドされたメソッドでの例外のスロー

Java では、オーバーライド メソッドは、親メソッドによって宣言された例外を継承します。ただし、オーバーライド メソッドによってスローされる例外の種類には、特定の制限があります。

具体的には、オーバーライド メソッドは、オーバーライドされたメソッドによって宣言された例外と比較して、より広範囲または新しいチェック例外をスローできません。これは、メソッドが特定の例外をスローすることを宣言した場合、オーバーライドするメソッドはその例外またはそのサブクラスのみをスローできることを意味します。

Reasoning

この制限は、Liskov を維持するのに役立ちます。置換原則。プログラムの動作を中断することなく、サブクラスのオブジェクトが親クラスのオブジェクトを置換できる必要があると規定します。オーバーライドするメソッドがオーバーライドされるメソッドよりも広範な例外をスローする可能性がある場合、この原則に違反し、予期しない動作が発生する可能性があります。

例

次のコードを考えてみましょう。

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

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

この例では、クラス A の foo() メソッドが IOException をスローすることを宣言しています。クラス B のオーバーライド メソッドは、IOException のサブクラスである SocketException をスローします。これは許可されます。

ただし、クラス B の foo() メソッドが IOException に関係のない SQLException をスローした場合、それは許可されません。これは、オーバーライドされたメソッドがオーバーライドされたメソッドよりも広範な例外をスローできないというルールに違反します。

影響

このルールは、オーバーライドされたメソッドの設計に影響を与えます。オーバーライドするメソッドによってスローされる可能性のある例外。開発者は、コンパイラ エラーや実行時例外を避けるために、オーバーライドされたメソッドをオーバーライドするときに、オーバーライドされたメソッドによって宣言された例外を慎重に考慮する必要があります。

以上がオーバーライドされた Java メソッドは、親メソッドよりも広範なチェック例外をスローできますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。