const riferimento a un puntatore che non si comporta come previsto

Question

Perché viene visualizzato un errore durante l'esecuzione? Mi aspettavo che ptr_ref non fosse in grado di modificare l'indirizzo in cui ptr sta puntando, ma le cose non sembrano andare come previsto.

int b = 3; 
int* ptr = &b; 
//says something about cannot convert int* to type const int*& 
const int*& ptr_ref = ptr; 

Grazie in anticipo, 15 yr old C++ niubbo

Answer 1

ptr_ref è dichiarata non come riferimento const al puntatore a int, ma piuttosto un riferimento al puntatore a const int, in modo da avere un tipo non corrispondente. Si dovrebbe fare

int* const& ptr_ref = ptr; 

Answer 2

Un riferimento è const intrinsecamente, quindi non c'è alcun punto veramente nel definire come int *& const ptr_ref = ptr Quando si parla di un riferimento const, significa di solito un riferimento ad un const, che è il definizione che hai usato nella tua domanda.

[modifica] A cura mia risposta come avevo messo il const per errore sul lato sbagliato della commerciale - C++ non perdona voi [/ modifica]

Answer 3

Il problema è che i tipi non corrispondono e quindi non puoi creare un riferimento.

int b = 3; 
int* ptr = &b; 
int*& ptr_ref = ptr; 

È legale.

int b = 3; 
const int* ptr = &b; 
const int*& ptr_ref = ptr; 

È legale.

int b = 3; 
int* ptr = &b; 
const int*& ptr_ref = ptr; 

È una mancata corrispondenza.

messaggio di errore G ++ s 'potrebbe essere utile a voi:

error: invalid initialization of non-const reference of type 'const int*&' from an rvalue of type 'const int*' 
    const int*& ptr_ref = ptr; 
         ^

In sostanza significa, si è dovuto creare un const int* per questa espressione, che è un rvalue (essenzialmente un oggetto temporaneo), e quindi non si può tieni un riferimento ad esso. Un modo più semplice per mettere che è, non si può fare quello che hai scritto per lo stesso motivo per cui questo è illegale:

int& added = 3 + 2; 

A seconda della situazione, si potrebbe risolvere questo semplicemente rimuovendo la designazione di riferimento. La maggior parte dei compilatori produrrà assemblaggi identici con o senza, almeno quando ottimizzati, grazie alla loro capacità di comprendere il fatto che il nome della variabile è solo un alias.

Ci sono anche alcuni casi references can perform worse, che a seconda delle vostre intenzioni potrebbero valere la pena conoscere - Sono rimasto sorpreso di saperlo quando l'ho scoperto.