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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 316 — #354
✐
Capítulo 11. Las referencias y el constructor de copia
destructor, lo cual decrementa objectCount, y por lo tanto el objectCount se
pone a cero. La creación de h2 se realiza también mediante la copia bit a bit, así que
tampoco se llama al constructor, y cuando h y h2 salen de ámbito, sus destructores
causan el valor negativo en objectCount.
11.3.2. Construcción por copia
El problema se produce debido a que el compilador hace una suposición sobre
cómo crear un nuevo objeto a partir de de otro existente. Cuando se pasa un objeto por
valor, se crea un nuevo objeto, que estará dentro del ámbito de la función, a partir
del objeto original existente fuera del ámbito de la función. Esto también se puede
aplicar a menudo cuando una función retorna un objeto. En la expresión
HowMany h2 = f(h);
h2, un objeto que no estaba creado anteriormente, se crea a partir del valor que
retorna f(); por tanto también se crea un nuevo objeto a partir de otro existente.
El compilador supone que la creación ha de hacerse con una copia bit a bit, lo
que en muchos casos funciona bien, pero en HowMany no funciona porque la inicialización
va más allá de una simple copia. Otro ejemplo muy común ocurre cuando
la clase contiene punteros pues, ¿a qué deben apuntar ¿debería copiar sólo los punteros
o debería asignar memoria nueva y que apuntaran a ella
Afortunadamente, puede intervenir en este proceso e impedir que el compilador
haga una copia bit a bit. Se soluciona definiendo su propia función cuando el compilador
necesite crear un nuevo objeto a partir de otro. Lógicamente, está creando
un nuevo objeto, por lo que esta función es un constructor, y el único argumento del
constructor tiene que ver con el objeto del que se pretende partir para crear el nuevo.
Pero no puede pasar ese objeto por valor al constructor porque está intentando
definir la función que maneja el paso por valor, y, por otro lado, sintácticamente no
tiene sentido pasar un puntero porque, después de todo, está creando un objeto a
partir de de otro. Aquí es cuando las referencias vienen al rescate, y puede utilizar la
referencia del objeto origen. Esta función se llama constructor de copia, que también se
lo puede encontrar como X(X&), que es el constructor de copia de una clase llamada
X.
Si crea un constructor de copia, el compilador no realizará una copia bit a bit
cuando cree un nuevo objeto a partir de otro. El compilador siempre llamará al constructor
de copia. Si no crea el constructor de copia, el compilador intentará hacer
algo razonable, pero usted tiene la opción de tener control total del proceso.
Ahora es posible solucionar el problema en HowMany.cpp:
//: C11:HowMany2.cpp
// The copy-constructor
#include
#include
using namespace std;
ofstream out("HowMany2.out");
class HowMany2 {
string name; // Object identifier
static int objectCount;
public:
316
✐
✐
✐
✐