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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 202 — #240
✐
Capítulo 6. Inicialización y limpieza
El mismo problema ocurre si crea un objeto individual como éste:
Y y4;
Recuerde, si tiene un constructor, el compilador asegura que siempre ocurrirá la
construcción, sin tener en cuenta la situación.
El constructor por defecto es tan importante que si (y sólo si) una estructura (struct
o clase) no tiene constructor, el compilador creará uno automáticamente. Por
ello, lo siguiente funciona:
//: C06:AutoDefaultConstructor.cpp
// Automatically-generated default constructor
class V {
int i; // private
}; // No constructor
int main() {
V v, v2[10];
} ///:~
Si se han definido constructores, pero no hay constructor por defecto, las instancias
anteriores de V provocarán errores durante la compilación.
Podría pensarse que el constructor sintetizado por el compilador debería hacer
alguna inicialización inteligente, como poner a cero la memoria del objeto. Pero no
lo hace - añadiría una sobrecarga que quedaría fuera del control del programador. Si
quiere que la memoria sea inicializada a cero, debería hacerlo escribiendo un constructor
por defecto explícito.
Aunque el compilador creará un constructor por defecto, el comportamiento de
ese constructor raramente hará lo que se espera. Debería considerar esta característica
como una red de seguridad, pero que debe usarse con moderación. En general,
debería definir sus constructores explicitamente y no permitir que el compilador lo
haga por usted.
6.8. Resumen
202
Los mecanismos aparentemente elaborados proporcionados por C++ deberían
darle una idea de la importancia crítica que tiene en el lenguaje la inicialización y
limpieza. Como Stroustrup fue quien diseño C++, una de las primeras observaciones
que hizo sobre la productividad de C fue que una parte importante de los problemas
de programación se deben a la inicialización inapropiada de las variables. Este
tipo de errores son difíciles de encontrar, y otro tanto se puede decir de una limpieza
inapropiada. Dado que constructores y destructores le permiten garantizar una
inicialización y limpieza apropiada (el compilador no permitirá que un objeto sea
creado o destruido sin la invocación del constructor y destructor correspondiente),
conseguirá control y seguridad.
La inicialización de agregados está incluida de un modo similar - previene de
errores de inicialización típicos con agregados de tipos básicos y hace que el código
sea más corto.
✐
✐
✐
✐