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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 193 — #231
✐
6.3. Eliminación del bloque de definiciones
Hay que tener cuidado con las variables locales que ocultan las variables del
ámbito superior. En general, usar el mismo nombre para una variable anidada y
una variable que es global en ese ámbito es confuso y propenso a errores 4
Creo que los bloques pequeños son un indicador de un buen diseño. Si una sola
función requiere varias páginas, quizá está intentando demasiadas cosas en esa función.
Funciones de granularidad más fina no sólo son más útiles, tambíén facilitan la
localización de errores.
6.3.2. Alojamiento de memoria
Ahora una variable se puede definir en cualquier parte del bloque, podría parecer
que el alojamiento para una variable no se puede llevar a cabo hasta el momento
en que se define. En realidad, lo más probable es que el compilador siga la práctica
de pedir todo el alojamiento para el bloque en la llave de apertura del bloque. No
importa porque, como programador, no puede acceder al espacio asociado (es decir,
el objeto) hasta que ha sido definido 5 . Aunque el espacio se pida al comienzo del
bloque, la llamada al constructor no ocurre hasta el punto en el que se define el objeto
ya que el identificador no está disponible hasta entonces. El compilador incluso
comprueba que no ponga la definición del objeto (y por tanto la llamada al constructor)
en un punto que dependa de una sentencia condicional, como en una sentencia
switch o algún lugar que pueda saltar un goto. Descomentar las sentencias del
siguiente código generará un error o aviso.
//: C06:Nojump.cpp
// Can’t jump past constructors
class X {
public:
X();
};
X::X() {}
void f(int i) {
if(i < 10) {
//! goto jump1; // Error: goto bypasses init
}
X x1; // Constructor called here
jump1:
switch(i) {
case 1 :
X x2; // Constructor called here
break;
//! case 2 : // Error: case bypasses init
X x3; // Constructor called here
break;
}
}
int main() {
f(9);
f(11);
4 El lenguaje Java considera esto una idea tan mala que lo considera un error.
5 De acuerdo, probablemente podría trucarlo usando punteros, pero sería muy, muy malo
193
✐
✐
✐
✐