convariant return types

[still_alive]

Возможно, разница в этом.
Все хорошо.
Все плохо.
Все не очень хорошо.

[pproger]

все-таки апну эту тему, чтобы внести ясность в книге "дизайн и эволюция С++" как раз сказано, почему можно ослаблять замещения. раньше в с++ этого делать было нельзя, и приходилось писать так:

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

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

Base *b = new Derived;
Derived* d = new Derived;

Base *b2 = b->clone(); // все нормально
Derived* d2 = d->clone(); // не нормально, требуется кастование

Derived *d3 = b->clone(); // не нормально, требуется кастование

со временем в языке разрешили замешать возвращаемый параметр с Base * на Derived *, и Base & на Derived &. соответственно теперь можно написать так:

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

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

Base *b = new Derived;
Derived* d = new Derived;

Base *b2 = b->clone(); // все нормально
Derived* d2 = d->clone(); // теперь все нормально

Derived *d3 = b->clone(); // не нормально, требуется кастование

в строке же

Derived *d3 = b->clone(); // не нормально, требуется кастование

все и так логично, ибо имеем указатель на Base, который может указывать на что угодно. как пишет сам страуструп, функция clone создает идентичный объект класса, которому принадлежит. для этого и нужна виртуальная функция. вся разница в том, что имея указатель на базовый класс (который указывает на derived), мы все равно создадим копию derived, но общаться бы будем с ней только через интерфейс базового класса.

я изначально ошибался, тип можно использовать полиморфно. просто смотрел на это не под тем углом.
в общем, всем советую прочитать дизайн и эволюция с++, куча тонкостей станет ясна (кстати, и в классическом страуструпе этот момент рассматривается, но с другого угла)