改變派生類中虛函數的參數是什麼意思？

Question

禁止更改退貨類型。

但是，改變參數意味着什麼？這是否意味着：

1. 虛擬函數被正確地重新定義/覆蓋，因爲它的意圖是。

   或

2. 虛擬功能不被重新定義/覆蓋但實際上是在派生類過載。因此，如果虛函數是純的，派生類仍然是抽象的。

是1或2還是其他？

Answer 1

它被超載。參數是函數簽名的一部分。是的，仍然是抽象的。

Answer 2

「禁止更改退貨類型」。

對於一般情況，這種假設是錯誤的。

「2.虛擬功能不被重新定義/覆蓋但實際上是在派生類過載。其結果是，如果虛擬函數是純粹的，派生類仍然抽象」。

「是1或2還是別的嗎？」

這2.

通過追加/變更參數（一個或多個）改變的函數的簽名/類型將不再匹配由抽象基類提供的純virtual函數簽名。

所以是的。派生類不提供純粹的virtual函數聲明的實現，因爲它繼承自基類，因此它仍然是抽象的，是的。

Answer 3

更改返回類型被禁止

不，協變返回類型是罰款。例如。

struct A {}; 
struct B: public A {}; 
struct X { 
    virtual A& foo() { return a; } 
    A a; 
}; 
struct Y: public X { 
    B& foo() override { return b; } 
    B b; 
}; 
int main() { 
    return sizeof(Y); 
} 

其他任何變動原型，包括參數列表，確實會導致過載，而不是替代。您可以使用「覆蓋」說明符輕鬆驗證此內容。

正如Ben Voigt指出的那樣，這裏的「參數列表」表示無論您聲明減去任何頂級cv資格。也就是說，這兩種功能被認爲具有相同的類型：

void foo(int, const char *); 
void bar(const int, const char * const);