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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 369 — #407
✐
12.6. Conversión automática de tipos
Number(int ii = 0) : i(ii) {}
const Number
operator+(const Number& n) const {
return Number(i + n.i);
}
friend const Number
operator-(const Number&, const Number&);
};
const Number
operator-(const Number& n1,
const Number& n2) {
return Number(n1.i - n2.i);
}
int main() {
Number a(47), b(11);
a + b; // OK
a + 1; // 2nd arg converted to Number
//! 1 + a; // Wrong! 1st arg not of type Number
a - b; // OK
a - 1; // 2nd arg converted to Number
1 - a; // 1st arg converted to Number
} ///:~
La clase Number tiene tanto un miembro operator+ como un friend operator-.
Dado que hay un constructor que acepta un argumento int simple, se puede
convertir un int automáticamente a Number, pero sólo bajo las condiciones adecuadas.
En main(), puede ver que sumar un Number a otro Number funciona bien
dado que tiene una correspondencia exacta con el operador sobrecargado. Además,
cuando el compilador ve un Number seguido de un + y de un int, puede hacer la
correspondencia al método Number::operator+ y convertir el argumento int an
Number usando el constructor. Pero cuando ve un int, un + y un Number, no sabe
qué hacer porque todo lo que tiene es Number::operator+ que requiere que el
operando de la izquierda sea ya un objeto Number. Así que, el compilador genera
un error.
Con friend operator- las cosas son diferentes. El compilador necesita rellenar
ambos argumentos como quiera; no está restringido a tener un Number como
argumento de la parte izquierda. así que si ve:
1 - a
puede convertir el primer argumento a Number usando el constructor.
A veces querrá ser capaz de restringir el uso de sus operadores haciéndolos métodos.
Por ejemplo, cuando multiplique una matriz por un vector, el vector debe ir
a la derecha. Pero si quiere que sus operadores sean capaces de convertir cualquier
argumento, haga el operador una función friend.
Afortunadamente, el compilador cogerá la expresión 1-1 y convertirá ambos argumentos
a objetos Number y después llamará a operator-. Eso significaría que
el código C existente podría empezar a funcionar de forma diferente. El compilador
intenta primero la correspondencia «más simple», es decir, en este caso el operador
incorporado para la expresión 1-1.
369
✐
✐
✐
✐