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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 231 — #269
✐
8.3. Argumentos de funciones y valores de retorno
8.3.1. Paso por valor constante
Puede indicar que los argumentos de funciones son constantes cuando se pasa
por valor como:
void f1(const int i) {
i++; // ilegal
}
pero, ¿qué significa esto Está impidiendo que el valor de la variable original
pueda ser cambiado en la función f1(). De todos formas, como el argumento se pasa
por valor, es sabido que inmediatamente se hace una copia de la variable original, así
que dicha restricción se cumple implícitamente sin necesidad de usar el especificador
const.
Dentro de la función, const si toma un significado: El argumento no se puede
cambiar. Así que, en realidad, es una herramienta para el programador de la función,
no para el que la usa.
Para evitar la confusión del usuario de la función, puede hacer que el argumento
sea constante dentro de la función en lugar de en la lista de argumentos. Podría
hacerlo con un puntero, pero la sintaxis más adecuada para lograrlo es la referencia,
algo que se tratará en profundidad en el capitulo 11[FIXME:XREF].
Brevemente, una referencia es como un puntero constante que se dereferencia
automáticamente, así que es como tener un alias de la variable. Para crear una referencia,
debe usar el símbolo & en la definición. De ese modo se tiene una definición
libre de confusiones.
void f2(int ic) {
const int &i = ic;
i++; // ilegal (error de ócompilacin)
}
De nuevo, aparece un mensaje de error, pero esta vez el especificador const no
forma parte de la cabecera de la función, solo tiene sentido en la implementación de
la función y por la tanto es invisible para el cliente.
8.3.2. Retorno por valor constante
Algo similar ocurre con los valores de retorno. Si dice que el valor de retorno de
una función es constante:
const int g();
está diciendo que el valor de la variable original (en el ámbito de la función) no
se modificará. Y de nuevo, como lo está devolviendo por valor, es la copia lo que se
retorna, de modo que el valor original nunca se podrá modificar.
En principio, esto puede hacer suponer que el especificador const tiene poco
significado. Puede ver la aparente falta de sentido de devolver constantes por valor
en este ejemplo:
//: C08:Constval.cpp
231
✐
✐
✐
✐