Các số có thể thay đổi được hay không?

Question

Đương nhiên, điều này sẽ không biên dịch:

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

và điều này sẽ biên dịch:

const int &z = 3; // OK 

Bây giờ, hãy xem xét:

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

Nhưng những dòng này tới làm biên dịch đối với tôi . Tôi nghĩ nó không nên.

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

Hai dòng cuối cùng có cho phép sửa đổi 3 chữ cái không? Sự khác nhau giữa 3 và const int là gì? Và cuối cùng, có nguy hiểm nào với việc 'sửa đổi' các chữ?

(g ++ - 4.6 (GCC) 4.6.2 với -std=gnu++0x -Wall -Wextra)

Answer 1

Các rvalue tham chiếu đến đen 3:

int && w = 3; 

là thực sự ràng buộc với một tạm thời mà là kết quả của việc đánh giá sự biểu hiện 3. Nó không bị ràng buộc đối với một số Platon đen 3.

(tất cả các tiêu chuẩn sau đây tài liệu tham khảo là từ dự thảo tháng ba năm 2011, n3242)

3.10/1 "lvalues ​​và rvalues"

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

Sau đó 8.5. 3 "Tài liệu tham khảo" cho các quy tắc cho cách một tài liệu tham khảo là ràng buộc rơi thông qua đối với trường hợp cuối cùng, mà nói:

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.

và đưa ra như một ví dụ một cái gì đó rất gần với những gì trong bạn câu hỏi:

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