C ++-覆蓋虛函數和多態

Question

我想我對虛擬行為沒有一個非常基本的概念。 我想創建以下層次結構：

    class Parser{

       virtual Parsable parse() = 0;
    }

    class SpecialParser : public Parser{

       SpecialParsable parse() override; // implemented

    }

顯然SpecialParsable類從Parsable繼承。

由於簽名不同，這會給我返回錯誤。 (SpecialParser::parse() returns SpecialParsable instead of Parsable) 。

現在，Parsable顯然是一個抽象類，我不想使其實例化。 我不明白為什么不應該這樣做，因為SpecialParsable只是Parsable的特定實現。

提前致謝，

Answer 1

C ++中的動態多態性依賴於間接性。 如果返回指針（或引用），則示例將編譯並按預期運行。 這稱為“協變量返回類型”：

class Parser {
   virtual Parsable* parse() = 0;
};

class SpecialParser : public Parser {
   SpecialParsable* parse() override; // implemented
};

Godbolt.org上的實時示例