¿Qué es una referencia constante? (no una referencia a una constante)

Question

Una pregunta bastante teórica ... ¿Por qué las referencias constantes no se comportan del mismo modo que los punteros constantes y puedo cambiar el objeto al que apuntan? Realmente parecen ser otra declaración simple de variables. ¿Por qué los usaría alguna vez? Este es un ejemplo corto que corro que compila y se ejecuta sin errores:

int main(){ 
    int i=0; 
    int y=1;  
    int&const icr=i; 
    icr=y;   // Can change the object it is pointing to so it's not like a const pointer... 
    icr=99;   // Can assign another value but the value is not assigned to y... 
    int x=9; 
    icr=x; 
    cout<<"icr: "<<icr<<", y:"<<y<<endl; 
} 

Answer 1

La respuesta más clara. Does “X& const x” make any sense?

No, it is nonsense

To find out what the above declaration means, read it right-to-left: “x is a const reference to a X”. But that is redundant — references are always const, in the sense that you can never reseat a reference to make it refer to a different object. Never. With or without the const.

In other words, “X& const x” is functionally equivalent to “X& x”. Since you’re gaining nothing by adding the const after the &, you shouldn’t add it: it will confuse people — the const will make some people think that the X is const, as if you had said “const X& x”.

Answer 2

La declaración icr=y; no hace que la referencia se refieren a y; asigna el valor de y a la variable a la que se refiere icr, i.

Las referencias son inherentemente const, es decir que no puede cambiar a lo que se refieren. Hay 'const referencias' que son realmente 'referencias a const', es decir que no puede cambiar el valor del objeto al que se refieren. Se declaran const int& o int const& en lugar de int& const.

Answer 3

Qué es una referencia constante (no una referencia a una constante)
Un referencia constante es en realidad una referencia a una constante .

una referencia constante/Referencia a una constante se denota por:

int const &i = j; //or Alternatively 
const int &i = j; 
i = 1;   //Compilation Error 

Básicamente significa, no se puede modificar el valor del objeto de tipo al que se refiere la referencia.
Por ejemplo:
Tratando de modificar el valor (asignar 1) de la variable j través de la referencia const, i voluntad resultados en error:

assignment of read-only reference ‘i’

---

icr=y;   // Can change the object it is pointing to so it's not like a const pointer... 
icr=99; 

no cambia la referencia, asigna el valor del tipo al que hace referencia la referencia. No se pueden hacer referencias para referir cualquier otra variable a la que están vinculadas en Inicialización.

Primera declaración cesionarios el valor y a i
segunda declaración cesionarios el valor 99 a i

Answer 4

Por "referencia constante" que supongo que realmente significa "constante referencia a los datos". Los punteros, por otro lado, pueden ser un puntero constante (el puntero en sí mismo es constante, no los datos a los que apunta), un puntero a datos constantes, o ambos.