¿Deserentando un puntero se hace una copia?

Question

¿Deserentando un puntero y pasándolo a una función que toma su argumento por referencia, crea una copia del objeto?

Answer 1

En este caso, se copia el valor en el puntero (aunque este no es necesariamente el caso ya que el optimizador puede optimizarlo).

int val = *pPtr; 

En este caso, sin embargo ninguna copia tendrán lugar:

int& rVal = *pPtr; 

La razón ninguna copia se lleva a cabo se debe a una referencia no es un constructo nivel de código máquina. Es una construcción de nivel superior y, por lo tanto, es algo que el compilador usa internamente en lugar de generar código específico para ella.

Lo mismo, obviamente, va para los parámetros de la función.

Answer 2

Esperemos que no: lo haría si la función llamada toma su argumento por valor.

Por otra parte, ese es el comportamiento esperado de referencia: Se espera que

void inc(int &i) { ++i; } 

int main() 
{ 
    int i = 0; 
    int *j = &i; 
    inc(*j); 
    std::cout << i << std::endl; 
} 

este código para imprimir 1porqueinc toma su argumento por referencia. Si se hubiera hecho una copia al llamar a inc, el código se imprimirá 0.

Answer 3

No. Una referencia es más o menos como un puntero con notación diferente y la restricción de que no hay referencia nula. Pero como un puntero, contiene solo la dirección de un objeto.

Answer 4

En el caso simple, no. Hay casos más complicados, sin embargo:

void foo(float const& arg); 
int * p = new int(7); 
foo(*p); 

En este caso, se crea un objeto temporal, porque el tipo del puntero sin referencia (int) no coincide con el tipo base del parámetro de función (float). Existe una secuencia de conversión, y el temporal convertido se puede vincular a arg ya que es una referencia constante.