C++ std :: queue :: pop() llama a destructor. ¿Qué hay de los tipos de punteros?

Question

Tengo un std::queue que se ajusta como una clase de plantilla para hacer una cola segura para subprocesos. Tengo dos versiones de esta clase: una que almacena tipos de valores, una que almacena tipos de punteros.

Para el tipo de puntero, tengo problemas para eliminar los elementos de la cola en la destrucción. La razón es que no sé cómo eliminar los elementos de la cola de forma segura.

This estados de referencia (de forma vaga, así que supongo que en realidad NO LO DECLARAN) que la única manera de eliminar elementos de la cola es llamar al pop(). La referencia también dice que pop() llama al destructor para el artículo.

Bueno, esto causa problemas con mis tipos de punteros porque pueden o no señalar agregados. Si uno de ellos apunta a un agregado, todos lo harán, pero debido a que el contenedor está modelado, no hay garantía de qué tipo (agregado o no agregado) estamos tratando.

Entonces, cuando pop() llama al destructor, ¿qué ocurre? ¿Cómo me aseguro de que todo se elimine y la asignación de memoria sea correcta?

Por último, mi solución está utilizando una versión anterior de GCC para ARM9. No tengo control sobre esto. Entiendo que hay bibliotecas que tienen punteros inteligentes y contenedores que ayudarían aquí, pero están fuera de mi alcance.

Answer 1

Las fuentes en línea valen lo que pagas por ellas; obtén una referencia adecuada como Josuttis's book. pop() no "llama al destructor": simplemente elimina un elemento de la representación subyacente del adaptador de cola (de forma predeterminada, std :: deque) al invocar pop_front() en él. Si el elemento que se muestra tiene un destructor, se usará cuando el objeto reventado quede fuera del alcance, pero la clase de cola no tiene nada que ver con él.

Answer 2

Punteros a sí mismos en realidad no tienen destructores, así que llamar pop() en una cola que contiene un puntero no llamará al destructor del objeto de sus puntos de puntero a.

Answer 3

"¿Cómo me aseguro de que se elimine todo y de que la memoria se desasigne correctamente?"

Si tiene que almacenar punteros en su cola, y desea que se liberen automáticamente cuando están pop ed, en lugar de una cola de punteros, necesita una cola de objetos que almacenan un puntero, y eliminarlo en su destructor. Por ejemplo, podría usar una cola de shared_ptr. shared_ptr no está en la biblioteca estándar, pero es parte de TR1 y está ampliamente disponible.

lo contrario, es la responsabilidad de la persona que llama para eliminar el objeto:

T *off = q.front(); 
q.pop(); 
delete off; 

El resumen es que los contenedores de punteros a objetos asignados dinámicamente son un poco incómodo. Si puede diseñar su programa para que los contenedores almacenen copias de sus objetos, en lugar de punteros a objetos dinámicos, hágalo. De lo contrario, usted es responsable de la propiedad del recurso, no del contenedor. Los contenedores STL no saben nada sobre la propiedad, solo copian y destruyen su value_type. Copiar y destruir punteros no hace nada con los objetos a los que apuntan.