作者seanooxox (0n羊)
看板C_and_CPP
標題[問題] const int *& 給值的問題
時間Fri Sep 30 18:20:59 2016
開發平台(Platform): (Ex: VC++, GCC, Linux, ...)
G++, Linux
額外使用到的函數庫(Library Used): (Ex: OpenGL, ...)
問題(Question)：
請問各位大大，為什麼這段程式碼 compile 不過？
小弟跪求解釋
int main() {
int *b = 0;
const int *& n = b;
}
錯誤訊息：
error: invalid initialization of non-const reference of type 'const int*&' from an rvalue of type 'const int*'
我有找到這篇說是因為type-safe 的關係：
http://stackoverflow.com/a/11514730
但是如果把程式改成這樣，也沒有type-safe，可是卻可以成功compile
int a = 0;
int *b = &a;
const int & n = *b;
cout << n << endl; // n = 0
*b = 3;
cout << n << endl; // n = 3
又看到了這篇的回答：
http://stackoverflow.com/a/31412466
但是卻也看不太懂他的回答是什麼意思，為什麼它會回傳rvalue?
還有，為什麼宣告成 const int * const & n = b 就可以compile 過?
感謝各位大大!
程式碼(Code)：(請善用置底文網頁, 記得排版)
http://ideone.com/W5kqRr
補充說明(Supplement)：
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.135.48.199
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1475230865.A.28A.html
1F：→ pttworld: 「指」標要指得到東西，什麼被指到。 09/30 18:24
這邊的指標指到 NULL 啊
※ 編輯: seanooxox (220.135.48.199), 09/30/2016 18:33:47
2F：推 shadow0326: int* const & n = b; 09/30 18:48
3F：→ shadow0326: 就是const修飾到什麼的問題 09/30 18:48
4F：→ pttworld: const int *b = 0; 09/30 19:06
5F：→ seanooxox: 0 在這邊就是NULL的意思啊，而且就算換成其他東西也會 09/30 20:17
6F：→ seanooxox: 有一樣的錯誤 09/30 20:17
7F：→ pttworld: 可以嘗試全篇翻英丟上，語法解法已給。問題本身不明確。 09/30 20:36
8F：→ seanooxox: 先感謝您的回覆，可能是我表達的不清楚。那我換個方式 09/30 20:57
9F：→ seanooxox: 問問題好了，在我程式碼中紅色字的那一行，如果拿掉con 09/30 20:57
10F：→ seanooxox: st的修飾，就會變得可以compile，我想知道這個跟rvalue 09/30 20:57
11F：→ seanooxox: 有什麼關聯 09/30 20:57
12F：→ pttworld: lr以assignment hand side判定。 09/30 21:46
13F：→ pttworld: 只是編譯器認為指定失敗，不能，不過而已。 09/30 21:48
14F：→ klsdf: 就我的理解是 (const int) * & 你用一個型態指向const int 09/30 22:27
15F：→ klsdf: 的指標去ref一個int *本來就會跟你說型態錯誤 09/30 22:28
16F：→ klsdf: 你用(const int) (* const) & 可以過是因為你的pointer是 09/30 22:29
17F：→ klsdf: const不可更改 ref的語意有被推導出來 等其他強者解釋 QQ 09/30 22:35
18F：→ klsdf: 就是const int *&是lvalue ref 他應該是a等效為b 09/30 22:37
19F：→ klsdf: 但a是const int, 你*b改了值 *a也會跟著改就語意矛盾 09/30 22:38
20F：推 ralts: b 會先 implicit 轉型成 const int* 的 rvalue, 而錯誤在 r 10/01 03:05
21F：→ ralts: value 只能有 const reference. 10/01 03:05
22F：→ g0010726: 一開始的code紅色行給你編譯過的話 你就可以做： 10/01 08:20
23F：→ g0010726: const int cint; n = &cint; 10/01 08:21
24F：→ g0010726: *b = 100; //改到cint惹 爆炸 10/01 08:22
25F：→ g0010726: 也就是 想在type的某level加上const，得要一路往上每個 10/01 08:27
26F：→ g0010726: level加const。 除了top level 可以不用管 10/01 08:27