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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 189 — #227
✐
6.2. Limpieza garantizada por el destructor
árbol, entonces debe crear un objeto árbol como éste:
Tree t(12)
// árbol de 12 metros
Si Tree(int) es el único constructor, el compilador no le permitirá crear un
objeto de otro modo. (En el próximo capítulo veremos cómo crear múltiples constructores
y diferentes maneras para invocarlos.)
Y realmente un constructor no es más que eso; es una función con un nombre especial
que se invoca automáticamente por el compilador para cada objeto en el momento
de su creación. A pesar de su simplicidad, tiene un valor excepcional porque
evita una gran cantidad de problemas y hace que el código sea más fácil de escribir
y leer. En el fragmento de código anterior, por ejemplo, no hay una llamada explícita
a ninguna función initilize() que, conceptualmente es una función separada de
la definición. En C++, la definición e inicialización son conceptos unificados - no se
puede tener el uno si el otro.
Constructor y destructor son tipos de funciones muy inusuales: no tienen valor
de retorno. Esto es distinto de tener valor de retorno void, que indicaría que la función
no retorna nada pero teniendo la posibilidad de hacer otra cosa. Constructores
y destructores no retornan nada y no hay otra posibilidad. El acto de traer un objeto
al programa, o sacarlo de él es algo especial, como el nacimiento o la muerte, y el
compilador siempre hace que la función se llame a si misma, para asegurarse de que
ocurre realmente. Si hubiera un valor de retorno, y usted pudiera elegir uno propio,
el compilador no tendría forma de saber qué hacer con el valor retornado, o el programador
cliente tendría que disponer de una invocación explícita del constructor o
destructor, lo que eliminaría la seguridad.
6.2. Limpieza garantizada por el destructor
Como un programador C, a menudo pensará sobre lo importante de la inicialización,
pero rara vez piensa en la limpieza. Después de todo, ¿qué hay que limpiar de
un int Simplemente, olvidarlo. Sin embargo, con las librerías, «dejarlo pasar» en un
objeto cuando ya no lo necesita no es seguro. Qué ocurre si ese objeto modifica algo
en el hardware, o escribe algo en pantalla, o tiene asociado espacio en el montículo(heap).
Si simplemente pasa de él, su objeto nunca logrará salir de este mundo. En
C++, la limpieza es tan importante como la inicialización y por eso está garantizada
por el destructor.
La sintaxis del destructor es similar a la del constructor: se usa el nombre de
la clase como nombre para la función. Sin embargo, el destructor se distingue del
constructor porque va precedido de una virgulilla (~). Además, el destructor nunca
tiene argumentos porque la destrucción nunca necesita ninguna opción. Aquí hay
una declaración de un destructor:
class Y {
public:
~Y();
};
El destructor se invoca automáticamente por el compilador cuando el objeto sale
del ámbito. Puede ver dónde se invoca al constructor por el punto de la definición
del objeto, pero la única evidencia de que el destructor fue invocado es la llave de
cierre del ámbito al que pertenece el objeto. El constructor se invoca incluso aunque
189
✐
✐
✐
✐