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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 319 — #357
✐
11.3. El constructor de copia
líneas en el archivo, se trunca a un entero y se añade uno al valor resultante, eso
determinará el ancho máximo en dígitos que un número de línea puede tener.
Nótese que hay un par de llamadas extrañas dentro del bucle for: setf() y
width(). Hay llamadas de ostream que permiten controlar, en este caso, la justificación
y anchura de la salida. Sin embargo se debe llamar cada vez que se imprime
línea y por eso están dentro del bucle for. El Volumen 2 de este libro tiene un capítulo
entero que explica los iostreams y que cuenta más sobre estas llamadas así
como otras formas de controlar los iostreams.
Cuando se aplica Linenum.cpp a HowMany2.out, resulta:
1) HowMany2()
2) h: objectCount = 1
3) Entering f()
4) HowMany2(const HowMany2&)
5) h copy: objectCount = 2
6) x argument inside f()
7) h copy: objectCount = 2
8) Returning from f()
9) HowMany2(const HowMany2&)
10) h copy copy: objectCount = 3
11) ~HowMany2()
12) h copy: objectCount = 2
13) h2 after call to f()
14) h copy copy: objectCount = 2
15) Call f(), no return value
16) HowMany2(const HowMany2&)
17) h copy: objectCount = 3
18) x argument inside f()
19) h copy: objectCount = 3
20) Returning from f()
21) HowMany2(const HowMany2&)
22) h copy copy: objectCount = 4
23) ~HowMany2()
24) h copy: objectCount = 3
25) ~HowMany2()
26) h copy copy: objectCount = 2
27) After call to f()
28) ~HowMany2()
29) h copy copy: objectCount = 1
30) ~HowMany2()
31) h: objectCount = 0
Como se esperaba, la primera cosa que ocurre es que para h se llama al constructor
normal, el cual incrementa el contador de objetos a uno. Pero entonces, mientras
se entra en f(), el compilador llama silenciosamente al constructor de copia para hacer
el paso por valor. Se crea un nuevo objeto, que es copia de h (y por tanto tendrá
el identificador «h copy») dentro del ámbito de la función f(). Así pues, el contador
de objetos se incrementa a dos, por cortesía del constructor de copia.
La línea ocho indica el principio del retorno de f(). Pero antes de que se destruya
la variable local «h copy» (pues sale de ámbito al final de la función), se debe copiar
al valor de retorno, que es h2. Por tanto h2, que no estaba creado previamente, se
crea de un objeto ya existente (la variable local dentro de f()) y el constructor de
copia vuelve a utilizarse en la línea 9. Ahora el identificador de h2 es «h copy copy»
porque copió el identificador de la variable local de f(). Cuando se devuelve el
objeto, pero antes de que la función termine, el contador de objetos se incrementa
temporalmente a tres, pero la variable local con identificador «h copy» se destruye,
disminuyendo a dos. Después de que se complete la llamada a f() en la línea 13,
sólo hay dos objetos, h y h2, y puede comprobar, de hecho, que h2 terminó con el
identificador «h copy copy».
319
✐
✐
✐
✐