C 虛擬函數可以用不同的回傳類型重寫嗎？

在C 中重寫具有不同返回類型的虛函數

C 中虛函數的關鍵特性之一是能夠在派生類提供專門的實現。然而，並不總是清楚是否允許在重寫函數中使用不同的返回類型。

在大多數情況下，答案是是，前提是返回類型符合某些限制。具體來說，返回類型必須與原始返回類型協變。協方差意味著重寫函數的傳回類型必須是原始返回類型的子類型或可以隱式轉換為原始返回類型。

考慮以下範例：

class Base {
public:
    virtual ~Base() {}

    virtual Base* clone() const = 0; // pure virtual function
};

class Derived: public Base {
public:
    virtual Derived* clone() const {
        return new Derived(*this);
    }
};

在此範例中，基底類別定義了一個傳回 Base* 的純虛函數複製。 Derived 類重寫克隆並返回 Derived*。這是允許的，因為 Derived* 是 Base* 的子類型。

一般來說，任何函數的回傳類型都不被視為 C 中其簽章的一部分。因此，您可以用任何返回類型重寫成員函數，只要它滿足協方差規則即可。這允許派生類別在不違反契約要求的情況下提供更具體的虛擬函數實作。

以上是C 虛擬函數可以用不同的回傳類型重寫嗎？的詳細內容。更多資訊請關注PHP中文網其他相關文章！