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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 346 — #384
✐
Capítulo 12. Sobrecarga de operadores
sos. (En algunos casos es correcto, pero siempre debería tenerlo en mente cuando
escriba operator=).
Todos los operadores mostrados en los dos ejemplos previos son sobrecargados
para manejar un tipo simple. También es posible sobrecargar operadores para manejar
tipos compuestos, de manera que pueda sumar manzanas a naranjas, por ejemplo.
Antes de que empiece una sobrecarga exhaustiva de operadores, no obstante,
debería mirar la sección de conversión automática de tipos más adelante en este capitulo.
A menudo, una conversión de tipos en el lugar adecuado puede ahorrarle un
montón de operadores sobrecargados.
12.3.3. Argumentos y valores de retorno
Puede parecer un poco confuso inicialmente cuando lea los archivos OverloadingUnaryOperators.
cpp, Integer.h y Byte.h y vea todas las maneras diferentes en que se pasan y devuelven
los argumentos. Aunque usted pueda pasar y devolver argumentos de la
forma que prefiera, las decisiones en estos ejemplos no se han realizado al azar. Siguen
un patrón lógico, el mismo que querrá usar en la mayoría de sus decisiones.
1. Como con cualquier argumento de función, si sólo necesita leer el argumento
y no cambiarlo, lo usual es pasarlo como una referencia const. Normalmente
operaciones aritméticas (como + y -, etc.) y booleanas no cambiarán sus
argumentos, así que pasarlas como una referencia const es lo que veré mayoritariamente.
Cuando la función es un método, esto se traduce en una método
const. Sólo con los operadores de asignación (como +=) y operator=, que
cambian el argumento de la parte derecha, no es el argumento derecho una
constante, pero todavía se pasa en dirección porque será cambiado.
2. El tipo de valor de retorno que debe seleccionar depende del significado esperado
del operador. (Otra vez, puede hacer cualquier cosa que desee con los
argumentos y con los valores de retorno). Si el efecto del operador es producir
un nuevo valor, necesitará generar un nuevo objeto como el valor de retorno.
Por ejemplo, Integer::operator+ debe producir un objeto Integer que
es la suma de los operandos. Este objeto se devuelve por valor como una constante
así que el resultado no se puede modificar como un «valor izquierdo».
3. Todas los operadores de asignación modifican el valor izquierdo. Para permitir
que el resultado de la asignación pueda ser usado en expresiones encadenadas,
como a = b = c, se espera que devuelva una referencia al mismo valor izquierdo
que acaba de ser modificado. Pero ¿debería ser esta referencia const
o no const. Aunque lea a = b = c de izquierda a derecha, el compilador la
analiza de derecha a izquierda, así que no está obligado a devolver una referencia
no const para soportar asignaciones encadenadas. Sin embargo, la gente
a veces espera ser capaz de realizar una operación sobre el elemento de acaba
de ser asignado, como (a = b).func(); para llamar a func de a después
de asignarle b. De ese modo, el valor de retorno para todos los operadores de
asignación debería ser una referencia no const para el valor izquierdo.
4. Para los operadores lógicos, todo el mundo espera obtener en el peor de los
casos un tipo int, y en el mejor un tipo bool. (Las librerías desarrolladas antes
de que los compiladores de C++ soportaran el tipo incorporado bool usaban
un tipo int o un typedef equivalente).
Los operadores de incremento y decremento presentan un dilema a causa de las
versiones postfija y prefija. Ambas versiones cambian el objeto y por tanto no pue-
346
✐
✐
✐
✐