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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 378 — #416
✐
Capítulo 13. Creación dinámica de objetos
13.1. Creación de objetos
La creación de un objeto en C++ tiene lugar en dos pasos:
1. Asignación de memoria para el objeto.
2. Llamada al constructor.
Aceptemos por ahora que este segundo paso ocurre siempre. C++ lo fuerza, debido
a que el uso de objetos no inicializados es una de las causas más frecuentes
de errores de programación. Siempre se invoca al constructor, sin importar cómo ni
dónde se crea el objeto.
El primero de estos pasos puede ocurrir de varios modos y en diferente momento:
1. Asignación de memoria en la zona de almacenamiento estático, que tiene lugar
durante la carga del programa. El espacio de memoria asignado al objeto existe
hasta que el programa termina.
2. Asignación de memoria en la pila, cuando se alcanza algún punto determinado
durante la ejecución del programa (la llave de apertura de un bloque). La
memoria asignada se vuelve a liberar de forma automática en cuanto se alcanza
el punto de ejecución complementario (la llave de cierre de un bloque). Las
operaciones de manipulación de la pila forman parte del conjunto de instrucciones
del procesador y son muy eficientes. Por otra parte, es necesario saber
cuantas variables se necesitan mientras se escribe el programa de modo que el
copilador pueda generar el código correspondiente.
3. Asignación dinámica, en una zona de memoria libre llamada montículo (heap
o free store). Se reserva espacio para un objeto en esta zona mediante la llamada
a una función durante la ejecución del programa; esto significa que se puede
decidir en cualquier momento que se necesita cierta cantidad de memoria. Esto
conlleva la responsabilidad de determinar el momento en que ha de liberarse
la memoria, lo que implica determinar el tiempo de vida de la misma que, por
tanto, ya no está bajo control de las reglas de ámbito.
A menudo, las tres regiones de memoria referidas se disponen en una zona contigua
de la memoria física: área estática, la pila, y el montículo, en un orden determinado
por el escritor del compilador. No hay reglas fijas. La pila puede estar en una
zona especial, y puede que las asignaciones en el montículo se obtengan mediante
petición de bloques de la memoria del sistema operativo. Estos detalles quedan
normalmente ocultos al programador puesto que todo lo que se necesita conocer al
respecto es que esa memoria estará disponible cuando se necesite.
13.1.1. Asignación dinámica en C
C proporciona las funciones de su biblioteca estándar malloc() y sus variantes
calloc() y realloc() para asignar, y free() para liberar bloques de memoria
dinámicamente en tiempo de ejecución. Estas funciones son pragmáticas pero rudimentarias
por lo que requieren comprensión y un cuidadoso manejo por parte del
programador. El listado que sigue es un ejemplo que ilustra el modo de crear una
instancia de una clase con estas funciones de C:
//: C13:MallocClass.cpp
378
✐
✐
✐
✐