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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 235 — #273
✐
8.3. Argumentos de funciones y valores de retorno
const char* ccp = v(); // OK
//! int* ip2 = w(); // Not OK
const int* const ccip = w(); // OK
const int* cip2 = w(); // OK
//! *w() = 1; // Not OK
} ///:~
La función t() toma un puntero no-constante ordinario como argumento, y u()
toma un puntero constante. En el cuerpo de u() puede ver un intento de modificar
el valor de un puntero constante, algo incorrecto, pero puede copiar su valor en una
variable no constante. El compilador también impide crear un puntero no constante
y almacenar en él la dirección contenida en un puntero constante.
Las funciones v() y w() prueban las semánticas de retorno de valores. v() devuelve
un const char* que se crea a partir de un literal de cadena. Esta sentencia en
realidad genera la dirección del literal una vez que el compilador lo crea y almacena
en área de almacenamiento estática. Como se ha dicho antes, técnicamente este
vector de caracteres es una constante, como bien indica el tipo de retorno de v().
El valor de retorno de w() requiere que tanto el puntero como lo que apunta sean
constantes. Como en v(), el valor devuelto por w() es valido una vez terminada la
función solo porque es estático. Nunca debe devolver un puntero a una variable local
pues se almacenan en la pila y al terminar la función los datos de la pila desaparecen.
Lo que si puede hacer es devolver punteros que apuntan a datos almacenados en el
montón (heap), pues siguen siendo validos después de terminar la función.
En main() se prueban las funciones con varios argumentos. Puede ver que t()
aceptará como argumento un puntero ordinario, pero si intenta pasarle un puntero
a una constante, no hay garantía de que no vaya a modificarse el valor de la variable
apuntada; por ello el compilador lo indica con un mensaje de error. u() toma un
puntero a constante, así que puede aceptar los dos tipos de argumentos. Por eso una
función que acepta un puntero a constante es más general que una que acepta un
puntero ordinario.
Como es lógico, el valor de retorno de v() sólo se puede asignar a un puntero a
constante. También era de esperar que el compilador rehuse asignar el valor devuelto
por w() a un puntero ordinario, y que sí acepte un const int* const, pero podría
sorprender un poco que también acepta un const int*, que no es exactamente el tipo
de retorno declarado en la función. De nuevo, como el valor (que es la dirección contenida
en el puntero) se copia, el requisito de que la variable original permanezca
inalterable se cumple automáticamente. Por eso, el segundo const en la declaración
const int* const sólo se aplica cuando lo use como recipiente, en cuyo caso el
compilador lo impediría.
Criterio de paso de argumentos
En C es muy común el paso por valor, y cuando se quiere pasar una dirección
la única posibilidad es usar un puntero 3 . Sin embargo, ninguno de estos modos es
el preferido en C++. En su lugar, la primera opción cuando se pasa un parámetro
es hacerlo por referencia o mejor aún, por referencia constante. Para el cliente de la
función, la sintaxis es idéntica que en el paso por valor, de ese modo no hay confusión
posible con los punteros, no hay que pensar en términos de punteros. Para
3 Algunos autores dicen que todo en C se pasa por valor, ya que cuando se pasa un puntero se hace
también una copia (de modo que el puntero se pasa por valor). En cualquier caso, hacer esta precisión
puede, en realidad, confundir la cuestión.
235
✐
✐
✐
✐