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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 380 — #418
✐
Capítulo 13. Creación dinámica de objetos
que el usuario puede olvidar inicializar el objeto antes de usarlo, introduciendo así
una importante fuente de problemas.
Como consecuencia, muchos programadores encuentran muy confusas y complicadas
las funciones de asignación dinámica de la memoria en C. No es muy difícil
encontrar programadores que, usando máquinas con memoria virtual, usan vectores
enormes en el área de almacenamiento estático para evitar tener que tratar con la
asignación dinámica. Dado que C++ intenta facilitar el uso de la biblioteca a los programadores
ocasionales, no es aceptable la forma de abordar la asignación dinámica
en C.
13.1.2. El operador new
La solución que ofrece C++ consiste en combinar la serie de acciones necesarias
para la creación de un objeto en un único operador llamado >new. Cuando se crea
un objeto mediante el operador >new, éste se encarga de obtener el espacio necesario
para el objeto y de llamar a su constructor. Cuando se ejecuta el código:
MyType *fp = new MyType(1,2);
se asigna espacio mediante alguna llamada equivalente a >malloc(sizeof(MyType))
--con frecuencia es así, literalmente--, y usando la dirección obtenida como
puntero >this, y (1, 2) como argumentos, se llama al constructor de la clase M-
yType. Para cuando está disponible, el valor de retorno de new es ya un puntero
válido a un objeto inicializado. Además es del tipo correcto, lo que hace innecesaria
la conversión.
El operador new por defecto, comprueba el éxito o fracaso de la asignación de
memoria como paso previo a la llamada al constructor, haciendo innecesaria y redundante
la posterior comprobación. Más adelante en este capítulo se verá qué sucede
si se produce este fallo.
En las expresiones con new se puede usar cualquiera de los constructores disponibles
para una clase. Si éste no tiene argumentos, se escribe la expresión sin lista de
argumentos
MyType *fp = new MyType;
Es notable la simpleza alcanzada en la creación dinámica de objetos: una única
expresión realiza todo el trabajo de cálculo de tamaño, asignación, comprobaciones
de seguridad y conversión de tipo. Esto hace que la creación dinámica de objetos sea
tan sencilla como la creación en la pila.
13.1.3. El operador delete
El complemento a la expresión new es la expresión delete, que primero llama al
destructor y después libera la memoria (a menudo mediante una llamada a free(-
)). El argumento para una expresión con delete debe ser una dirección: un puntero
a objeto creado mediante new.
delete fp;
380
✐
✐
✐
✐