Eu escrevi o seguinte código que usa unique_ptr<Derived>
onde unique_ptr<Base>
é esperado
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;
}
e eu esperava este código não compilar, porque de acordo com o meu entendimento unique_ptr<Base>
e unique_ptr<Derived>
são tipos não relacionados e unique_ptr<Derived>
não é na verdade derivado de unique_ptr<Base>
modo a atribuição não deve funcionar.
Mas, graças a alguma mágica, funciona, e eu não entendo o porquê, ou mesmo se é seguro fazê-lo. Alguém pode explicar por favor?
Base
não possui destruidor virtual.
unique_ptr
seria bastante inútil na presença de herança