Java 重寫方法可以有協變回傳類型嗎？

Java 中的協變回傳類型

在Java 中，重寫方法的回傳類型可以是協變的，這意味著它可以傳回更派生的方法類型而不是被重寫的方法。但是，此規則不適用於重寫方法引發的異常。

重寫方法中的異常拋出限制

編譯器對重寫方法強制執行以下有關異常的限制處理：

• 重寫的方法不能拋出新的或更廣泛的檢查異常比聲明的異常重寫的方法。
• 重寫的方法可以拋出更窄的或新的未經檢查的異常。

說明

這些限制確保子類別不能引入重寫方法的介面的新的或更嚴重的檢查異常。這對於多態性是必要的，因為它允許針對超類別編寫的程式碼適當地處理異常。

範例

考慮以下範例：

class A {
    public void foo() throws FileNotFoundException {
        // ...
    }
}

class B extends A {
    @Override
    public void foo() throws SQLException { // ERROR: broader checked exception
        // ...
    }
}

在此範例中，類別 A 定義了拋出 FileNotFoundException 的方法 foo。類別 B 擴展了 A，嘗試透過聲明更廣泛的檢查異常 SQLException 來重寫 foo。這是不允許的，因為它違反了異常拋出限制。

基本原理

編譯器強制執行這些限制：

• 保留契約：重寫方法的介面不應以破壞依賴現有程式碼的方式進行修改
• 確保物件替換：子類別的物件必須可以替換超類別的對象，這包括適當地處理異常。

以上是Java 重寫方法可以有協變回傳類型嗎？的詳細內容。更多資訊請關注PHP中文網其他相關文章！