Java 中的重寫方法可以有不同的回傳類型嗎？

在Java 中重寫具有協變返回類型的方法

儘管普遍認為，重寫的方法確實有可能在返回方面出現偏差Java 中的類型。更具體地說，Java 允許協變返回類型，從而允許重寫方法擁有比被重寫方法更精確的返回類型。這意味著重寫方法的傳回類型必須可指派給被重寫方法的回傳類型。

一個說明性範例是以下程式碼片段：

class ShapeBuilder {
    ...
    public Shape build() {
        ....
    }
}

class CircleBuilder extends ShapeBuilder{
    ...
    @Override
    public Circle build() {
        ....
    }
}

在此實例中，CircleBuilder類別的build()方法重寫了從ShapeBuilder繼承的build()方法。至關重要的是，CircleBuilder 中的 build() 方法傳回一個 Circle 對象，與 ShapeBuilder 傳回的 Shape 物件相比，這是一個更具體的類型。

此行為在Java 語言規範的第8.4.5 節中進行了編碼，其中明確指出「如果返回類型是引用類型，則相互覆蓋的方法之間的返回類型可能會有所不同。 」這個原則支持了協變返回的概念，即重寫方法的返回類型可以專門化為子類型。

此外，該規範概述了兩個方法之間的返回類型可替換性必須滿足的特定條件:

• Void 返回類型必須完全匹配。
• 原始回傳類型必須是相同。

• 引用回傳型別必須：

  • 是彼此的子型別。
  • 可以透過未經檢查的轉換轉換為彼此的子類型。

Java 之前5、Java 堅持不變的回傳類型。相較之下，協變返回類型在方法重寫方面提供了更大的靈活性，使返回類型能夠更緊密地與重寫方法的具體實現保持一致。

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