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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 311 — #349
✐
11.3. El constructor de copia
Al ejecutar este programa se observa que el puntero se incrementa en vez de
incrementar a lo que apunta.
11.2.2. Consejos para el paso de argumentos
Cuando se pasa un argumento a un función, lo normal debería ser pasarlo como
una referencia constante. Aunque al principio puede parecer que sólo tiene ventajas
en términos de eficacia (y normalmente en diseño e implementación inicial no se
tiene muy en cuenta la eficacia), además tiene otras: como se podrá ver en el resto
del capítulo, se requiere un constructor de copia para pasar un objeto por valor, y
esto no siempre es posible.
La eficacia puede mejorar substancialmente por este simple hábito: pasar un argumento
por valor necesita una llamada a un constructor y otra a un destructor,
pero si no se va a modificar el argumento, el hecho de pasarlo como una referencia
constante sólo necesita poner una dirección en la pila.
De hecho, prácticamente la única situación en la que no es preferible pasar la
dirección, es cuando provocará tales problemas a un objeto que pasar por valor es la
única alternativa segura (en vez de modificar el objeto que está fuera del ámbito de
la función, algo que el que llama a la función normalmente no espera). Ese es el tema
de la siguiente sección.
11.3. El constructor de copia
Ahora que entiende lo básico de las referencias en C++, está preparado para tratar
uno de los conceptos más confusos del lenguaje: el constructor de copia, a menudo
denominado X(X&) («X de la referencia X»). Este constructor es esencial para controlar
el paso y retorno por valor de los tipos definidos por el usuario en las llamadas
a funciones. De hecho es tan importante que el compilador crea automáticamente un
constructor de copia en caso de que el programador no lo proporcione.
11.3.1. Paso y retorno por valor
Para entender la necesidad del constructor de copia, considere la forma en que
C maneja el paso y retorno por valor de variables cuando se llama a una función. Si
declara una función y la invoca,
int f(int x, char c);
int g = f(a, b);
¿cómo sabe el compilador cómo pasar y retornar esas variables ¡Simplemente lo
sabe! El rango de tipos con los que debe tratar es tan pequeño (char, int, float, double,
y sus variaciones), que tal información ya está dentro del compilador.
Si averigua cómo hacer que su compilador genere código ensamblador y determina
qué instrucciones se usan para la invocación de la función f(), obtendrá algo
equivalente a:
push
b
311
✐
✐
✐
✐