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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 395 — #433
✐
13.3. new y delete para vectores
al compilador que la función puede disparar una excepción del tipo indicado. En segundo
lugar, si efectivamente se agota la memoria, la función alcanzará la sentencia
throw bad_alloc() lanzando la excepción. En el caso de que esto ocurra, la función
deja de ejecutarse y se cede el control del programa a la rutina de tratamiento
de excepción que se ha definido en una cláusula catch(bad_alloc).
En main() se puede ver la cláusula try-catch que es la otra parte del mecanismo.
El código que puede lanzar la excepción queda dentro del bloque try; en este caso,
llamadas a new para objetos Framis. Justo a continuación de dicho bloque sigue
una o varias cláusulas catch, especificando en cada una la excepción a la que se
destina. En este caso, catch(bad_alloc) indica que en ese bloque se tratarán las
excepciones de tipo bad_alloc. El código de este bloque sólo se ejecutará si se dispara
la excepción, continuando la ejecución del programa justo después de la última del
grupo de cláusulas catch que existan. Aquí sólo hay una, pero podría haber más.
En este ejemplo, el uso de iostream es correcto ya que el operator new()
global no ha sido modificado.
El operator delete() asume que la dirección de Framis ha sido obtenida
de nuestro almacén particular. Una asunción justa, ya que cada vez que se crea un
objeto Framis simple se llama al operator new() local; pero cuando se crea un
vector de tales objetos se llama al new global. Esto causaría problemas si el usuario
llamara accidentalmente al operador delete sin usar la sintaxis para destrucción de
vectores. Podría ser que incluso estuviera tratando de borrar un puntero a un objeto
de la pila. Si cree que estas cosas puedan suceder, conviene pensar en añadir una
línea que asegurare que la dirección está en el intervalo correcto (aquí se demuestra
el potencial que tiene la sobrecarga de los operadores new y delete para la localización
de fugas de memoria).
operador delete() calcula el bloque al que el puntero representa y después
pone a false la bandera correspondiente en el mapa de localización, para indicar
que dicho bloque está libre.
En la función main(), se crean dinámicamente suficientes objetos Framis para
agotar la memoria. Con esto se prueba el comportamiento del programa en este caso.
A continuación, se libera uno de los objetos y se crea otro para mostrar la reutilización
del bloque recién liberado.
Este esquema específico de asignación de memoria es probablemente mucho más
rápido que el esquema de propósito general que usan los operadores new y delete
originales. Se debe advertir, no obstante, que este enfoque no es automáticamente
utilizable cuando se usa herencia, un tema que verá en el Capítulo 14 (FIXME).
Sobrecarga de new y delete para vectores
Si se sobrecargan los operadores new y delete para una clase, esos operadores
se llaman cada vez que se crea un objeto simple de esa clase. Sin embargo, al crear
un vector de tales objetos se llama al operator new() global para obtener el espacio
necesario para el vector, y al operator delete() global para liberarlo. Es
posible controlar también la asignación de memoria para vectores sobrecargando los
métodos operator new[] y operator delete[]; se trata de versiones especiales
para vectores. A continuación se expone un ejemplo que muestra el uso de ambas
versiones.
//: C13:ArrayOperatorNew.cpp
// Operator new for arrays
#include // Size_t definition
395
✐
✐
✐
✐