¿Los números literales son mutables o no?

Question

Naturalmente, esto no se compilará:

int &z = 3; // error: invalid initialization of non-const reference .... 

y esto se compilará:

const int &z = 3; // OK 

Ahora, tenga en cuenta:

const int y = 3; 
int && yrr = y; // const error (as you would expect) 
int && yrr = move(y); // const error (as you would expect) 

Pero estas líneas siguientes no compilar para mí . Creo que no debería.

int && w = 3; 
int && yrr = move(3); 
void bar(int && x) {x = 10;} 
bar(3); 

¿No permitían esas dos últimas líneas permitir la modificación del literal 3? ¿Cuál es la diferencia entre 3 y un const int? Y finalmente, ¿hay algún peligro con la 'modificación' de los literales?

(g ++ - 4,6 (GCC) 4.6.2 con -std=gnu++0x -Wall -Wextra)

Answer 1

La referencia rvalue al literal 3:

int && w = 3; 

es en realidad unido a un temporal que es el resultado de evaluar la expresión 3. No está obligado a algunos platónicos literal 3.

(todos los estándares siguientes referencias son a partir del proyecto de marzo de 2011, n3242) "Lvalues ​​y rvalues"

3.10/1

The value of a literal such as 12, 7.3e5, or true is also a prvalue

Luego 8.5. 3 "Referencias" da las reglas de cómo una referencia está obligado cae hasta el último caso, que dice:

Otherwise, a temporary of type “cv1 T1” is created and initialized from the initializer expression using the rules for a non-reference copy-initialization (8.5). The reference is then bound to the temporary.

y da como ejemplo algo muy cercano a lo que está en su pregunta:

double&& rrd = 2; // rrd refers to temporary with value 2.0