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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 146 — #184
✐
Capítulo 4. Abstracción de Datos
De modo que con new Tipo se obtendrá un puntero a un objeto de tipo Tipo, y con
new int obtendrá un puntero a un int. Si quiere un nuevo array de unsigned char
la expresión devolverá un puntero al primer elemento de dicho array. El compilador
verificará que se asigne lo que devuelve la expresión-new a una variable puntero del
tipo adecuado.
Por supuesto, es posible que al pedir memoria, la petición falle, por ejemplo, si
no hay más memoria libre en el sistema. Como verá más adelante, C++ cuenta con
mecanismos que entran en juego cuando la operación de asignación de memoria no
se puede satisfacer.
Una vez que se ha obtenido un nuevo espacio de almacenamiento, los datos que
estaban en el antiguo se deben copiar al nuevo. Esto se hace, nuevamente, en un
bucle, utilizando la notación de índexado de arrays, copiando un byte en cada iteración
del bucle. Una vez finalizada esta copia, ya no se necesitan los datos que están
en el espacio de almacenamiento original por lo que se pueden liberar de la memoria
para que otras partes del programa puedan usarlo cuando lo necesiten. La palabra
reservada delete es el complemento de new y se debe utilizar sobre todas aquellas
variables a las cuales se les haya asignado memoria con new. (Si se olvida de utilizar
delete esa memoria queda in-utilizable. Si estas fugas de memoria (memory leak)
son demasiado abundantes, la memoria disponible se acabará.) Existe una sintaxis
especial cuando se libera un array. Es como si recordara al compilador que ese puntero
no apunta sólo a un objeto, sino a un array de objetos; se deben poner un par de
corchetes delante del puntero que se quiere liberar:
delete []myArray;
Una vez liberado el antiguo espacio de almacenamiento, se puede asignar el puntero
del nuevo espacio de memoria al puntero storage, se actualiza quantity y
con eso inflate() ha terminado su trabajo.
En este punto es bueno notar que el administrador de memoria del montículo>
es bastante primitivo. Nos facilita trozos de memoria cuando se lo pedimos con new
y los libera cuando invocamos a delete. Si un programa asigna y libera memoria
muchas veces, terminaremos con un montículo fragmentado, es decir un montículo
en el que si bien puede haber memoria libre utilizable, los trozos de memoria están
divididos de tal modo que no exista un trozo que sea lo suficientemente grande para
las necesidades concretas en un momento dado. Lamentablemente no existe una
capacidad inherente del lenguaje para efectuar defragmentaciones del montículo. Un
defragmentador del montículo complica las cosas dado que tiene que mover pedazos
de memoria, y por lo tanto, hacer que los punteros dejen de apuntar a valores
válidos. Algunos entornos operativos vienen con este tipo de facilidades pero obligan
al programador a utilizar manejadores de memoria especiales en lugar de punteros
(estos manipuladores se pueden convertir temporalmente en punteros una vez
bloqueada la memoria para que el defragmentador del montículo no la modifique).
También podemos construir nosotros mismos uno de estos artilugios, aunque no es
una tarea sencilla.
Cuando creamos una variable en la pila en tiempo de compilación, el mismo compilador
es quien se encarga de crearla y liberar la memoria ocupada por ella automáticamente.
Conoce exactamente el tamaño y la duración de este tipo de variables
dada por las reglas de ámbito. Sin embargo, en el caso de las variables almacenadas
dinámicamente, el compilador no poseerá información ni del tamaño requerido por
las mismas, ni de su duración. Esto significa que el compilador no puede encargarse
de liberar automáticamente la memoria ocupada por este tipo de variables y de aquí
146
✐
✐
✐
✐