¿Hay alguna contradicción entre estas dos fuentes acerca de la clase de plantilla `auto_ptr`?

Question

Este site estados en "Propiedad, fuentes y sumideros":

"Al copiar un auto_ptr, se transfiere automáticamente la propiedad de la fuente auto_ptr al objetivo auto_ptr; si el objetivo auto_ptr ya es dueño de un objeto , ese objeto se libera primero. Después de la copia, solo el destino auto_ptr posee el puntero y lo eliminará a su debido tiempo, mientras que el origen vuelve a un estado nulo y ya no se puede usar para referirse al objeto propiedad. ".

Consideremos ahora la definición de operator=() para la templacte<classX> class auto_ptr, en el capítulo 14, página 368 de BS de El C++ Programming Language Tercera Edición:

auto_ptr& operator=(auto_ptr& a) throw() { ptr = a.ptr; a.ptr = 0; }

no puedo ver el operador liberar el objeto dirigido por ptr, en el caso ptr != 0!

Answer 1

Sí, eso es definitivamente un error en la última parte del código. El objeto señalado por ptr debe ser delete d antes de que se asigne un nuevo valor a ptr, de lo contrario, se filtrará el objeto apuntado originalmente por ptr.