Il dereferenziamento di un puntatore ne fa una copia?

Question

Il dereferenziamento di un puntatore e il passaggio a una funzione che prende il suo argomento per riferimento crea una copia dell'oggetto?

Answer 1

In questo caso il valore sul puntatore viene copiato (sebbene ciò non sia necessariamente il caso in cui l'ottimizzatore può ottimizzarlo).

int val = *pPtr; 

In questo caso però non copia si svolgerà:

int& rVal = *pPtr; 

La ragione nessuna copia avviene perché un riferimento non è un costrutto livello codice macchina. È un costrutto di livello superiore e quindi è qualcosa che il compilatore usa internamente piuttosto che generare un codice specifico per esso.

Lo stesso, ovviamente, va per i parametri di funzione.

Answer 2

Speriamo che non lo sia: sarebbe se la funzione chiamata prendesse il suo argomento in base al valore.

Inoltre, questo è il comportamento previsto di un riferimento:

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

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

Questo codice si prevede di stampare 1perchéinc prende il suo argomento per riferimento. Se una copia fosse stata effettuata sulla chiamata inc, il codice avrebbe stampato 0.

Answer 3

No. Un riferimento è più o meno proprio come un puntatore con notazione diversa e la restrizione che non vi è alcun riferimento nullo. Ma come un puntatore contiene solo l'indirizzo di un oggetto.

Answer 4

Nel caso semplice, n. Ci sono casi più complicati, però:

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

Qui, si crea un oggetto temporaneo, perché il tipo di puntatore Dereferenced (int) non corrisponde al tipo di base del parametro di funzione (float). Esiste una sequenza di conversione e il temporaneo convertito può essere associato a arg poiché si tratta di un riferimento const.