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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 191 — #229
✐
6.3. Eliminación del bloque de definiciones
despus de la ócreacin de Tree
la altura del árbol es 12
antes de la llave de cierre
dentro del destructor de Tree
la altura del árbol es 16é
despus de la llave de cierre
Puede ver que el destructor se llama automáticamente al acabar el ámbito (llave
de cierre) en el que está definido el objeto.
6.3. Eliminación del bloque de definiciones
En C, siempre se definen todas las variables al principio de cada bloque, justo
después de la llave de apertura. Ése es un requisito habitual en los lenguajes de programación,
y la razón que se da a menudo es que se considera «buenas prácticas de
programación». En este tema, yo tengo mis sospechas. Eso siempre me pareció un
inconveniente, como programador, volver al principio del bloque cada vez que necesitaba
definir una nueva variable. También encuentro más legible el código cuando
la definición de la variable está certa del punto donde se usa.
Quizá esos argumentos son estilísticos. En C++, sin embargo, existe un problema
significativo si se fuerza a definir todos los objetos al comienzo un ámbito. Si existe
un constructor, debe invocarse cuando el objeto se crea. Sin embargo, si el constructor
toma uno o más argumentos, ¿cómo saber que se dispone de la información de
inicialización al comienzo del ámbito Generalmente no se dispone de esa información.
Dado que C no tiene el concepto de privado, la separación entre definición
e inicialización no es un problema. Además, C++ garantiza que cuando se crea un
objeto, es inicializado simultáneamente. Esto asegura que no se tendrán objetos no
inicializados ejecutándose en el sistema. C no tiene cuidado, de hecho, C promueve
esta práctica ya que obliga a que se definan las variables al comienzo de un bloque,
antes de disponer de la información de inicialización necesaria 2 .
En general, C++ no permite crear un objeto antes de tener la información de inicialización
para el constructor. Por eso, el lenguaje no sería factible si tuviera que
definir variables al comienzo de un bloque. De hecho, el estilo del lenguaje parece
promover la definición de un objeto tan cerca como sea posible del punto en el que
se usa. En C++, cualquier regla que se aplica a un «objeto» automáticamente también
se refiere a un objeto de un tipo básico. Esto significa que cualquier clase de objeto o
variable de un tipo básico también se puede definir en cualquier punto del bloque.
Eso también significa que puede esperar hasta disponer de la información para una
variable antes de definirla, de modo que siempre puede definir e inicializar al mismo
tiempo:
//: C06:DefineInitialize.cpp
// Defining variables anywhere
#include "../require.h"
#include
#include
using namespace std;
class G {
int i;
public:
G(int ii);
2 C99, la versión actual del Estándar de C, permite definir variables en cualquier punto del bloque,
como C++
191
✐
✐
✐
✐