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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 347 — #385
✐
12.3. Operadores sobrecargables
den tratar el objeto como un const. La versión prefija devuelve el valor del objeto
después de cambiarlo, así que usted espera recuperar el objeto que fue cambiado. De
este modo, con la versión prefija puede simplemente revolver *this como una referencia.
Se supone que la versión postfija devolverá el valor antes de que sea cambiado,
luego está forzado a crear un objeto separado para representar el valor y devolverlo.
Así que con la versión postfija debe devolverlo por valor si quiere mantener el
significado esperado. (Advierta que a veces encontrará operadores de incremento y
decremento que devuelven un int o un bool para indicar, por ejemplo, que un objeto
preparado para moverse a través de una lista está al final de ella). Ahora la pregunta
es: ¿Debería éste devolverse como una referencia const o no const. Si permite
que el objeto sea modificado y alguien escribe (a++).func(), func operará en
la propia a, pero con (++a).func(), funcopera en el objeto temporal devuelto
por el operador postfijo operator++. Los objetos temporales son automáticamente
const, así que esto podría ser rechazado por el compilador, pero en favor de la
consistencia tendría más sentido hacerlos ambos const como hemos hecho aquí. O
puede elegir hacer la versión prefija no const y la postfija const. Debido a la variedad
de significados que puede darle a los operadores de incremento y decremento,
deben considerarse en términos del caso individual.
Retorno por valor como constante
El retorno por valor como una constante puede parecer un poco sutil al principio,
así que es digno de un poco más de explicación. Considere el operador binario operator+.
Si lo ve en una expresión como f(a+b), el resultado de a+b se convierte en
un objeto temporal que se usará en la llamada a f(). Debido a que es temporal, es
automáticamente const, así que aunque, de forma explicita, haga el valor de retorno
const o no, no tendrá efecto.
Sin embargo, también es posible mandar un mensaje al valor de retorno de a+b,
mejor que simplemente pasarlo a la función. Por ejemplo, puede decir (a+b).g()
en la que g() es algún método de Integer, en este caso. Haciendo el valor de retorno
const, está indicando que sólo un método const puede ser llamado sobre ese
valor de retorno. Esto es correcto desde el punto de vista del const, porque le evita
almacenar información potencialmente importante en un objeto que probablemente
será destruido.
Optimización del retorno
Advierta la manera que se usa cuando se crean nuevos objetos para ser devueltos
por valor. En operator+, por ejemplo:
return Integer(left.i + right.i);
Esto puede parecer en principio como una «función de llamada a un constructor»
pero no lo es. La sintaxis es la de un objeto temporal; la sentencia dice «crea un objeto
Integer temporal y desvuélvelo». A causa de esto, puede pensar que el resultado
es el mismo que crear un objeto local con nombre y devolverlo. Sin embargo, es algo
diferente. Si en su lugar escribiera:
Integer tmp(left.i + right.i);
return tmp;
sucederían tres cosas. La primera, se crea el objeto tmp incluyendo la llamada a
su constructor. La segunda, el constructor de copia duplica tmp en la localización del
347
✐
✐
✐
✐