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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 310 — #348
✐
Capítulo 11. Las referencias y el constructor de copia
haber sido creado como valor de retorno de otra función o explícitamente por el
usuario de la función. Los objetos temporales son siempre constantes. Por eso, si no
utiliza una referencia constante, el compilador se quejará. Como ejemplo muy simple:
//: C11:ConstReferenceArguments.cpp
// Passing references as const
void f(int&) {}
void g(const int&) {}
int main() {
//! f(1); // Error
g(1);
} ///:~
La llamada f(1) provoca un error en tiempo de compilación porque el compilador
debe crear primero una referencia. Lo hace asignando memoria para un int,
iniciánlizándolo a uno y generando la dirección de memoria para ligarla a la referencia.
La memoria debe ser constante porque no tendría sentido cambiarlo: no
puede cambiarse de nuevo. Puede hacer la misma suposición para todos los objetos
temporales: son inaccesibles. Es importante que el compilador le diga cuándo está
intentando cambiar algo de este estilo porque podría perder información.
Referencias a puntero
En C, si desea modificar el contenido del puntero en sí en vez de modificar a lo
que apunta, la declaración de la función sería:
void f(int**);
y tendría que tomar la dirección del puntero cuando se llamara a la función:
int i = 47;
int* ip = &i;
f(&ip);
La sintaxis es más clara con las referencias en C++. El argumento de la función
pasa a ser de una referencia a un puntero, y así no ha de manejar la dirección del
puntero.
//: C11:ReferenceToPointer.cpp
#include
using namespace std;
void increment(int*& i) { i++; }
int main() {
int* i = 0;
cout