Почему std :: auto_ptr operator = мусорные объекты? - PullRequest
Новая
       32

Почему std :: auto_ptr operator = мусорные объекты?

3 голосов
/ 09 января 2009

Кажется, что есть проблема с std :: auto_ptr и присваиванием, так что объект, на который ссылаются, кажется, по какой-то причине сбрасывается. 

std::auto_ptr<AClass> someVar = new AClass();  // should work, but mangles content
std::auto_ptr<AClass> someVar( new AClass() ); // works fine.
std::auto_ptr<AClass> someVar = std::auto_ptr<AClass>(new AClass()); // works fine.

std::auto_ptr<AClass> someVar;
someVar.reset( new AClass() ); // works fine.

Я проследил это, и кажется (просматривая значения в отладчике), что проблема возникает при передаче указателя из временного std :: auto_ptr_byref (), который создается для обертывания указателя rhs. Это значение, содержащееся в _Right при входе в функцию auto_ptr (auto_ptr_ref <_Ty> _Right), является правильным, но значение в _Myptr при выходе является нежелательным. 

template<class _Ty>
    struct auto_ptr_ref
        {   // proxy reference for auto_ptr copying
    auto_ptr_ref(void *_Right)
        : _Ref(_Right)
        {   // construct from generic pointer to auto_ptr ptr
        }

    void *_Ref; // generic pointer to auto_ptr ptr
    };

template<class _Ty>
class auto_ptr
    {   // wrap an object pointer to ensure destruction
public:
typedef _Ty element_type;

explicit auto_ptr(_Ty *_Ptr = 0) _THROW0()
    : _Myptr(_Ptr)
    {   // construct from object pointer
    }

auto_ptr(auto_ptr<_Ty>& _Right) _THROW0()
    : _Myptr(_Right.release())
    {   // construct by assuming pointer from _Right auto_ptr
    }

auto_ptr(auto_ptr_ref<_Ty> _Right) _THROW0()
    {   // construct by assuming pointer from _Right auto_ptr_ref
    _Ty **_Pptr = (_Ty **)_Right._Ref;
    _Ty *_Ptr = *_Pptr;
    *_Pptr = 0; // release old
    _Myptr = _Ptr;  // reset this
    }
auto_ptr<_Ty>& operator=(auto_ptr_ref<_Ty> _Right) _THROW0()
{   // assign compatible _Right._Ref (assume pointer)
_Ty **_Pptr = (_Ty **)_Right._Ref;
_Ty *_Ptr = *_Pptr;
*_Pptr = 0; // release old
reset(_Ptr);    // set new
return (*this);
}

Сначала я подумал, что это портит наследование и обрезает интерфейсы, однако это происходит, даже если у класса только один родительский класс.

Мы можем избежать использования = new, если мы помним, либо используя скобки, либо изменив значение std :: auto_ptr на rhs, это, конечно, подвержено ошибкам.

Это просто битая версия библиотеки или какая-то базовая вещь, которую я просто не понимаю?

Мы также заметили аналогичную проблему с назначением std :: auto_ptr для boot :: shared_ptr, хотя мы полностью удалили его, и я не помню, какой синтаксис вызвал проблему.

Ответы [ 3 ]

10 голосов
/ 09 января 2009

Первая строка: 

std::auto_ptr<AClass> someVar = new AClass();  // should work, but mangles content

должно привести к ошибке компилятора. Поскольку неявное преобразование из необработанного указателя AClass в auto_ptr (конструктор для auto_ptr, который принимает необработанный указатель помечен explicit), инициализация с использованием формы 'copy initializer' не разрешена.

VC9 выдает следующую ошибку: 

C:\temp\test.cpp(23) : error C2440: 'initializing' : cannot convert from 'AClass *' to 'std::auto_ptr<_Ty>'

Другие компиляторы, которые я пробовал (GCC 3.4.5, Comeau C / C ++ 4.3.10.1, Digital Mars), выдают похожую ошибку.

EDIT:

Похоже, что это на самом деле ошибка в реализации VS2005 auto_ptr<> (не уверенная, была ли она введена в SP1 или была в VS2005 с самого начала), которая была исправлена ​​в VS2008. Вот запись об ошибке MS Connect для этой проблемы:

https://connect.microsoft.com/VisualStudio/feedback/ViewFeedback.aspx?FeedbackID=101842&wa=wsignin1.0

4 голосов
/ 09 января 2009

Известная ошибка в VC ++ между VC6 и VC9: http://connect.microsoft.com/VisualStudio/feedback/ViewFeedback.aspx?FeedbackID=101842

0 голосов
/ 09 января 2009

Отредактировано: Майкл совершенно прав, это ошибка компиляции, так какой компилятор вы используете? Вам нужно вызвать reset, чтобы добавить новое значение в auto_ptr.

...