Подтвердить что ты не робот

Почему unique_ptr<derived> неявно приводится к unique_ptr<base>?

Я написал следующий код, который использует unique_ptr<Derived>, где ожидается unique_ptr<Base>

class Base {
    int i;
 public:
    Base( int i ) : i(i) {}
    int getI() const { return i; }
};

class Derived : public Base {
    float f;
 public:
    Derived( int i, float f ) : Base(i), f(f) {}
    float getF() const { return f; }
};

void printBase( unique_ptr<Base> base )
{
    cout << "f: " << base->getI() << endl;
}

unique_ptr<Base> makeBase()
{
    return make_unique<Derived>( 2, 3.0f );
}

unique_ptr<Derived> makeDerived()
{
    return make_unique<Derived>( 2, 3.0f );
}

int main( int argc, char * argv [] )
{
    unique_ptr<Base> base1 = makeBase();
    unique_ptr<Base> base2 = makeDerived();
    printBase( make_unique<Derived>( 2, 3.0f ) );

    return 0;
}

и я ожидал, что этот код не будет компилироваться, потому что, согласно моему пониманию, unique_ptr<Base> и unique_ptr<Derived> являются несвязанными типами, а unique_ptr<Derived> на самом деле не является производным от unique_ptr<Base>, поэтому назначение не должно работать.

Но благодаря некоторой магии это работает, и я не понимаю, почему, и даже если это безопасно. Может кто-нибудь объяснить, пожалуйста?

4b9b3361

Ответ 1

Волшебство, которое вы ищете, - это конструктор преобразования # 6 здесь:

template<class U, class E>
unique_ptr(unique_ptr<U, E> &&u) noexcept;

Это позволяет создать неявно std::unique_ptr<T> из истекающего std::unique_ptr<U> if (для ясности приглушая удалители):

unique_ptr<U, E>::pointer неявно конвертируется в pointer

Иными словами, он имитирует неявные необработанные преобразования указателей, включая преобразования из производных в базовые, и выполняет то, что вы ожидаете ™ безопасно (с точки зрения срока службы - вам все еще нужно убедиться, что базовый тип может быть удален полиморфно).

Ответ 2

Потому что std::unique_ptr имеет конструктор преобразования

template< class U, class E >
unique_ptr( unique_ptr<U, E>&& u ) noexcept;

и

Этот конструктор участвует только в разрешении перегрузки, если все верно следующее:

a) unique_ptr<U, E>::pointer is implicitly convertible to pointer

...

Derived* может неявно конвертировать в Base*, тогда конструктор преобразования может быть применен для этого случая. Затем std::unique_ptr<Base> может быть неявно преобразован из std::unique_ptr<Derived>, как это делает необработанный указатель. (Обратите внимание, что std::unique_ptr<Derived> должен быть основным значением для построения std::unique_ptr<Base> из-за характеристики std::unique_ptr.)

Ответ 3

Вы можете неявно создать экземпляр std::unique_ptr<T> из значения std::unique_ptr<S> всякий раз, когда S конвертируется в T. Это из-за конструктора # 6 здесь. В этом случае право собственности передается.

В вашем примере у вас есть только rvalues типа std::uinque_ptr<Derived> (потому что возвращаемое значение std::make_unique является rvalue), и когда вы используете его как std::unique_ptr<Base>, вызывается упомянутый выше конструктор. Следовательно, рассматриваемые объекты std::unique_ptr<Derived> живут только в течение короткого промежутка времени, то есть они создаются, затем право собственности передается объекту std::unique_ptr<Base>, который используется в дальнейшем.