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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 234 — #272
✐
Capítulo 8. Constantes
Aunque son aceptables para el compilador, en realidad son problemáticas. f5()
devuelve un objeto de clase X, y para que el compilador pueda satisfacer las expresiones
anteriores debe crear un temporario para albergar el valor de retorno. De modo
que en ambas expresiones el objeto temporario se modifica y tan pronto como la
expresión es evaluada el temporario se elimina. Como resultado, las modificaciones
se pierden, así que probablemente este código es erróneo, aunque el compilador no
diga nada al respecto. Las expresiones como éstas son suficientemente simples como
para detectar el problema, pero cuando las cosas son más complejas los errores son
más difíciles de localizar.
La forma de preservar la constancia de los objetos se muestra más adelante en
este capítulo.
8.3.3. Paso y retorno de direcciones
Si pasa o retorna una dirección (ya sea un puntero o una referencia), el programador
cliente puede recoger y modificar el valor al que apunta. Si hace que el puntero
o referencia sea constante, impedirá que esto suceda, lo que puede ahorrarle problemas.
De hecho, cada vez que se pasa una dirección como parámetro a una función,
debería hacerla constante siempre que sea posible. Si no lo hace, está excluyendo la
posibilidad de usar la función con constantes.
La opción de devolver un puntero o referencia constante depende de lo que quiera
permitir hacer al programador cliente. Aquí se muestra un ejemplo que demuestra
el uso de punteros constantes como argumentos de funciones y valores de retorno.
//: C08:ConstPointer.cpp
// Constant pointer arg/return
void t(int*) {}
void u(const int* cip) {
//! *cip = 2; // Illegal -- modifies value
int i = *cip; // OK -- copies value
//! int* ip2 = cip; // Illegal: non-const
}
const char* v() {
// Returns address of static character array:
return "result of function v()";
}
const int* const w() {
static int i;
return &i;
}
int main() {
int x = 0;
int* ip = &x;
const int* cip = &x;
t(ip); // OK
//! t(cip); // Not OK
u(ip); // OK
u(cip); // Also OK
//! char* cp = v(); // Not OK
234
✐
✐
✐
✐