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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 145 — #183
✐
4.1. Una librería pequeña al estilo C
que preocuparnos por estas cosas. Pero, ¡ay!, la mayoría de los programadores no se
preocuparán por descubrir lo que para nosotros es el «mejor» diseño para la librería.
Probablemente lo que harán es mirar dentro de la estructura y obtener el valor de
next directamente. Peor aún, podrían incluso cambiar el valor de next sin nuestro
permiso. ¡Si hubiera alguna forma que permitiera al diseñador de la librería tener un
mejor control sobre este tipo de cosas! (Sí, esto es un presagio).
4.1.1. Asignación dinámica de memoria
Nunca se puede saber la cantidad máxima de almacenamiento que se necesitará
para una CStash, por eso la memoria a la que apuntan los elementos de storage se
asigna desde el montículo (heap) 2 . El montículo es un gran bloque de memoria que
se utiliza para asignar en pequeños trozos en tiempo de ejecución. Se usa el heap
cuando no se conoce de antemano la cantidad de memoria que necesitará el programa
que está escribiendo. Por ejemplo, eso ocurre en un programa en el que sólo en
el momento de la ejecución se sabe si se necesia memoria para 200 variables Avión
o para 20. En C Estándar, las funciones para asignación dinámica de memoria incluyen
malloc(), calloc(), realloc() y free(). En lugar de llamadas a librerías,
C++ cuenta con una técnica más sofisticada (y por lo tanto más fácil de usar) para
tratar la memoria dinámica. Esta técnica está integrada en el lenguaje por medio de
las palabras reservadas new y delete.
La función inflate() usa new para obtener más memoria para la CStash. En
este caso el espacio de memoria sólo se amplia y nunca se reduce. assert() garantiza
que no se pase un número negativo como argumento a inflate() como valor
de incremento. La nueva cantidad de elmentos que se podrán almacenar (una vez
se haya terminado inflate()) se determina en la variable newQuantity que se
multiplica por el número de bytes que ocupa cada elemento, para obtener el nuevo
número total de bytes de la asignación en la variable newBytes. Dado que se sabe
cuántos bytes hay que copiar desde la ubicación anterior, oldBytes se calcula
usando la cantidad antigua de bytes (quantity).
La petición de memoria ocurre realmente en la expresión-new que involucra la
palabra reservada new:
new unsigned char[newBytes];
La forma general de una expresión-new es:
new Tipo;
donde Tipo describe el tipo de variable para la cual se solicita memoria en el montículo.
Dado que en este caso, se desea asignar memoria para un array de unsigned
char de newBytes elementos, eso es lo que aparece como Tipo. Del mismo modo, se
puede asignar memoria para algo más simple como un int con la expresión:
new int;
y aunque esto se utiliza muy poco, demuestra que la sintaxis es consistente.
Una expresión-new devuelve un puntero a un objeto del tipo exacto que se le pidió.
2 N. de T.: heap se suele traducir al castellano como «montón» o «montículo».
145
✐
✐
✐
✐