Pensar en C++ (Volumen 1) - Grupo ARCO

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 198 — #236
✐
Capítulo 6. Inicialización y limpieza
}
void* result = head->data;
Link* oldHead = head;
head = head->next;
delete oldHead;
return result;
Stack::~Stack() {
require(head == 0, "Stack not empty");
} ///:~
El constructor Link:Link() simplemente inicializa los punteros data y next,
así que en Stack::push(), la línea:
head = new Link(dat,head);
no sólo aloja un nuevo enlace (usando creación dinámica de objetos con la sentencia
new, vista en el capítulo 4), también inicializa los punteros para ese enlace.
Puede que le asombre que el destructor de Link no haga nada - en concreto, ¿por
qué no elimina el puntero data Hay dos problemas. En el capítulo 4, en el que apareció
Stack, se decía que no puede eliminar un puntero void si está apuntado a un
objeto (una afirmación que se demostrará en el capítulo 13). Pero además, si el destructor
de Link eliminara el puntero data, pop() retornaría un puntero a un objeto
borrado, que definitivamente supone un error. A veces esto se considera como una
cuestión de propiedad: Link y por consiguiente Stack sólo contienen los punteros,
pero no son responsables de su limpieza. Eso significa que debe tener mucho cuidado
para saber quién es el responsable. Por ejemplo, si no invoca pop() y elimina
todos los punteros de Stack(), no se limpiarán automáticamente por el destructor
de Stack. Esto puede ser una cuestión engorrosa y llevar a fugas de memoria, de
modo que saber quién es el responsable de la limpieza de un objeto puede suponer
la diferencia entre un programa correcto y uno erroneo - es decir, porqué Stack-
::~Stack() imprime un mensaje de error si el objeto Stack no está vacío en el
momento su destrucción.
Dado que el alojamiento y limpieza de objetos Link está oculto dentro de Stack
- es parte de la implementación subyacente - no verá este suceso en el programa de
prueba, aunque será el responsable de eliminar los punteros que devuelva pop():
//: C06:Stack3Test.cpp
//{L} Stack3
//{T} Stack3Test.cpp
// Constructors/destructors
#include "Stack3.h"
#include "../require.h"
#include
#include
#include
using namespace std;
int main(int argc, char* argv[]) {
requireArgs(argc, 1); // File name is argument
ifstream in(argv[1]);
assure(in, argv[1]);
Stack textlines;
198
✐
✐
✐
✐