s->duplicate() retorna um objeto do tipoBox*, mas estou recebendo um erro ao inicializá-lo comBox*. Parece que está sendo convertido de volta paraShape*. Qual é o sentido de ter tipos de retorno covariantes se forem convertidos novamente no ponteiro da classe base?

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();
}

Erro:

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.