Можно ли инициализировать auto_ptr с указателем на производный класс?

Question

Допустим, у меня есть базовый класс и производный класс:

class Base 
{ 
    public: 
     virtual ~Base() {} 
     virtual void DoSomething() = 0; 
}; 


class Child : public Base 
{ 
    public: 
     virtual void DoSomething() 
     { 
      // Do Something 
     } 
}; 

Безопасно ли инициализировать зЬй :: auto_ptr типа базового класса с указателем на экземпляр производного класса? И.Е. будет объект, созданный, как это:

std::auto_ptr<Base> myObject(new Derived()); 

правильно вызывать деструктор производного класса вместо базового класса без утечки памяти?

Answer 1

Несмотря на то, что вы не должны использовать std::auto_ptr с момента прибытия C++ 11;

Да, это безопасно до тех пор, как ваша база имеет виртуальный деструктор.

Без виртуального деструктора на базе (например, Steve Jessop, указанный ниже) вы получите неопределенное поведение, поскольку деструктор класса вывода будет неизвестен во время уничтожения и, следовательно, не будет выполнен. Это опасная проблема, поскольку во многих случаях она остается незамеченной. Например, если вы управляете каким-то ресурсом в классе с одним наследованием, который должен был быть освобожден в деструкторе, утечка произошла бы молча.

Answer 2

Идеально безопасно.

Многие ссылки доступны - попробуйте найти «auto_ptr полиморфизм».

например. http://www.devx.com/tips/Tip/14391

Answer 3

Пока ваш класс Basestd::auto_ptr<Base> спараметрирован с имеет virtual деструктор вы можете инициализировать std::auto_ptr<Base> с классами, полученных из Base и они будут надлежащим образом уничтожены, если std::auto_ptr<Base> деструктора конкретизируются, когда определение Base видно.