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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 320 — #358
✐
Capítulo 11. Las referencias y el constructor de copia
Objetos temporales
En la línea 15 se empieza la llamada a f(h), y esta vez ignora el valor de retorno.
Puede ver que se invoca el constructor de copia en la línea 16, igual que antes, para
pasar el argumento. Y también, igual que antes, en la línea 21 se llama al constructor
de copia para el valor de retorno. Pero el constructor de copia necesita una dirección
para utilizar como destino (es decir, para trabajar con el puntero this). ¿De dónde
procede esta dirección
Esto prueba que el compilador puede crear un objeto temporal cuando lo necesita
para evaluar adecuadamente una expresión. En este caso, crea uno que ni siquiera
se le ve actuar como destino para el valor ignorado retornado por f(). El tiempo
de vida de este objeto temporal es tan corto como sea posible para que el programa
no se llene de objetos temporales esperando a ser destruidos, lo cual provocaría la
utilización ineficaz de recursos valiosos. En algunos casos, el objeto temporal podría
pasarse inmediatamente a otra función, pero en este caso no se necesita después de
la llamada a la función, así que en cuanto la función termina, llamando al destructor
del objeto local (líneas 23 y 24), el objeto temporal también se destruye (líneas 25 y
26).
Finalmente, de la línea 28 a la línea 31, se destruye el objeto h2, seguido de h y el
contador de objetos vuelve a cero.
11.3.3. El constructor de copia por defecto
Como el constructor de copia implementa el paso y retorno por valor, es importante
que el compilador cree uno en el caso de estructuras simples (de hecho, es lo
mismo que hace C). Sin embargo todo lo que se ha visto es el comportamiento por
defecto: una copia bit a bit.
Cuando se utilizan tipos más complejos, el compilador de C++ creará un constructor
de copia automáticamente si no se implementa explícitamente. De nuevo,
una copia bit a bit no tiene sentido, porque no tiene porqué ser el comportamiento
que se necesita.
He aquí un ejemplo para mostrar el comportamiento más inteligente del compilador.
Suponga que crea una nueva clase compuesta por objetos de varias clases
diferentes. A esto se le denomina composición, y es una de las formas en las que se
pueden hacer nuevas clases a partir de las ya existentes. Ahora desempeñe el papel
de un novato que trata de resolver un problema rápidamente creando una nueva
clase de esta manera. No sabe nada sobre los constructores de copia, así que no lo implementa.
El ejemplo muestra lo que el compilador hace cuando crea un constructor
de copia por defecto para su nueva clase:
//: C11:DefaultCopyConstructor.cpp
// Automatic creation of the copy-constructor
#include
#include
using namespace std;
class WithCC { // With copy-constructor
public:
// Explicit default constructor required:
WithCC() {}
WithCC(const WithCC&) {
cout