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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 309 — #347
✐
11.2. Referencias en C++
mismo pasando un puntero como argumento, pero una referencia es sintácticamente
más clara. (Si lo desea, puede pensar que una referencia es, nada más y nada menos,
más conveniente sintácticamente).
Si una función retorna una referencia, ha de tener el mismo cuidado que si la
función retornara un puntero. La referencia que se devuelva debe estar ligada a algo
que no sea liberado cuando la función retorne. Si no, la referencia se referirá a un
trozo de memoria sobre el que ya no tiene control.
He aquí un ejemplo:
//: C11:Reference.cpp
// Simple C++ references
int* f(int* x) {
(*x)++;
return x; // Safe, x is outside this scope
}
int& g(int& x) {
x++; // Same effect as in f()
return x; // Safe, outside this scope
}
int& h() {
int q;
//! return q; // Error
static int x;
return x; // Safe, x lives outside this scope
}
int main() {
int a = 0;
f(&a); // Ugly (but explicit)
g(a); // Clean (but hidden)
} ///:~
La llamada a f() no tiene la ventaja ni la claridad que la utilización de referencias,
pero está claro que se está pasando una dirección mediante un puntero. En la
llamada a g(), también se pasa una dirección (mediante una referencia), pero no se
ve.
Referencias constantes
El argumento referencia en Reference.cpp funciona solamente en caso de que
el argumento no sea un objeto constante. Si fuera un objeto constante, la función g()
no aceptaría el argumento, lo cual es positivo porque la función modificaría el argumento
que está fuera de la función. Si sabe que la función respetará las constancia un
objeto, el hecho de que el argumento sea una referencia constante permitirá que la
función se pueda utilizar en cualquier situación. Esto significa que para tipos predefinidos,
la función no modificará el argumento, y para tipos definidos por el usuario,
la función llamará solamente a métodos constantes, y no modificara ningún atributo
público.
La utilización de referencias constantes en argumentos de funciones es especialmente
importante porque una función puede recibir un objeto temporal. Éste podría
309
✐
✐
✐
✐