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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 377 — #415
✐
13: Creación dinámica de objetos
A veces se conoce la cantidad exacta exacta, el tipo y duración de
la vida de los objetos en un programa, pero no siempre es así.
¿Cuántos aviones tendrá que supervisar un sistema de control de tráfico aéreo
¿Cuántas formas o figuras se usarán en un sistema CAD ¿Cuántos nodos habrá en
una red
Para resolver un problema general de programación, es esencial poder crear y
destruir objetos en tiempo de ejecución. Por supuesto, C proporciona las funciones
de asignación dinámica de memoria malloc() y sus variantes, y free(), que permiten
obtener y liberar bloques en el espacio de memoria del montículo (también
llamado espacio libre 1 mientras se ejecuta el programa.
Este método sin embargo, no funcionará en C++. El constructor no le permite
manipular la dirección de memoria a inicializar, y con motivo. De permitirse, sería
posible:
1. Olvidar la llamada al constructor. Con lo cual no sería posible garantizar la
inicialización de los objetos en C++.
2. Usar accidentalmente un objeto que aún no ha sido inicializado, esperando que
todo vaya bien.
3. Manipular un objeto de tamaño incorrecto.
Y por supuesto, incluso si se hizo todo correctamente, cualquiera que modifique
el programa estaría expuesto a cometer esos mismos errores. Una gran parte de los
problemas de programación tienen su origen en la inicialización incorrecta de objetos,
lo que hace especialmente importante garantizar la llamada a los constructores
para los objetos que han de ser creados en el montículo.
¿Cómo se garantiza en C++ la correcta inicialización y limpieza, permitiendo la
creación dinámica de objetos
La respuesta está en integrar en el lenguaje mismo la creación dinámica de objetos.
malloc() y free() son funciones de biblioteca y por tanto, están fuera del
control del compilador. Si se dispone de un operador que lleve a cabo el acto combinado
de la asignación dinámica de memoria y la inicialización, y de otro operador que
realice el acto combinado de la limpieza y de liberación de memoria, el compilador
podrá garantizar la llamada a los constructores y destructores de los objetos.
En este capítulo verá cómo se resuelve de modo elegante este problema con los
operadores new y delete de C++.
1 N.T. espacio de almacenamiento libre (free store)
377
✐
✐
✐
✐