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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 233 — #271
✐
8.3. Argumentos de funciones y valores de retorno
//! f7(f6());
} ///:~
f5() devuelve un objeto de clase X no constante, mientras que f6() devuelve
un objeto de clase X pero constante. Solo el valor de retorno por valor no constante
se puede usar como recipiente.
Por eso, es importante usar const cuando se devuelve un objeto por valor si
quiere impedir que se use como recipiente.
La razón por la que const no tiene sentido cuando se usa para devolver por
valor variables de tipos del lenguaje es que el compilador impide automáticamente
el uso de dichos tipos como recipiente, ya que devuelve un valor, no una variable.
Solo cuando se devuelven objetos por valor de tipos definidos por el programador
esta funcionalidad toma sentido.
La función f7() toma como argumento una referencia no constante (la referencia
es una forma adicional para manejar direcciones en C++ y se trata en el [FIX-
ME:XREF:capitulo 11]). Es parecido a tomar un puntero no constante, aunque la sintaxis
es diferente. La razón por la que no compila es por la creación de un temporario.
Temporarios
A veces, durante la evaluación de una expresión, el compilador debe crear objetos
temporales (temporarios). Son objetos como cualquier otro: requieren espacio de
almacenamiento y se deben construir y destruir. La diferencia es que nunca se ven,
el compilador es el responsable de decidir si se necesitan y los detalles de su existencia.
Una particularidad importante de los temporarios es que siempre son constantes.
Como normalmente no manejará objetos temporarios, hacer algo que cambie
un temporario es casi seguro un error porque no será capaz de usar esa información.
Para evitar esto, el compilador crea todos los temporarios como objetos constantes,
de modo que le avisará si intenta modificarlos.
En el ejemplo anterior, f5() devuelve un objeto no constante. Pero en la expresión:
f7(f5());
el compilador debe crear un temporario para albergar el valor de retorno de f-
5() para que pueda ser pasado a f7(). Esto funcionaría bien si f7() tomara su
argumento por valor; entonces el temporario se copiaría en f7() y no importaría lo
que se pase al temporario X.
Sin embargo, f7() toma su argumento por referencia, lo que significa que toma
la dirección del temporario X. Como f7() no toma su argumento por referencia
constante, tiene permiso para modificar el objeto temporario. Pero el compilador sabe
que el temporario desaparecerá en cuanto se complete la evaluación de la expresión,
y por eso cualquier modificación hecha en el temporario se perderá. Haciendo
que los objetos temporarios sean constantes automáticamente, la situación causa un
error de compilación de modo que evitará cometer un error muy difícil de localizar.
En cualquier caso, tenga presente que las expresiones siguientes son correctas:
f5() = X(1);
f5().modify();
233
✐
✐
✐
✐