s->duplicate() gibt ein Objekt vom Typ @ zurüBox*, aber ich erhalte einen Fehler beim Initialisieren mitBox*. Es sieht so aus, als würde es zurück in @ konvertierShape*. Was bringt es, kovariante Rückgabetypen zu haben, wenn sie wieder in den Basisklassenzeiger konvertiert werden?:

struct Shape
{
    virtual Shape* duplicate()
    {
        return new Shape;
    }
};

struct Box : Shape
{
    virtual Box* duplicate()
    {
        return new Box;
    }
};

int main()
{
    Shape* s = new Box;
    Box*   b = s->duplicate();
}

Error

main.cpp:22:12: error: cannot initialize a variable of type 'Box *' with an rvalue of type 'Shape *'
    Box*   b = s->duplicate();
           ^   ~~~~~~~~~~~~~~
1 error generated.