作者lemonsheep (檸檬羊)
看板C_and_CPP
標題[問題] 使用 operator[] 修改 reference 變數
時間Sun Nov 15 19:58:03 2020
開發平台(Platform): (Ex: Win10, Linux, ...)
Leetcode C++
問題(Question)：
小弟在寫這題
https://leetcode.com/problems/word-ladder/
不大理解第 20 行的地方我用 auto& 的話 在第 24 行想要更改變數值得時候就會出現編譯錯誤
error: cannnot assign to return value because function 'operator[]' return const value
w[i] = j;
~~~~ ^
我知道用 auto 直接 copy 一份 value 的話就可以順利編譯
但我不大理解為啥這邊會沒辦法使用 auto& 來宣告，我的理解是如果我用 const auto& 才無法更改變數值才對
想理解說是甚摸原因造成這個編譯錯誤～
感謝各位前輩！
程式碼(Code)：(請善用置底文網頁, 記得排版，禁止使用圖檔)
http://codepad.org/Jaqrv5iL
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.177.3.109 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1605441487.A.2F4.html
1F：推 LPH66: 看起來好像是 unordered_set 的 iterator 本來就有常數性 11/15 20:22
2F：→ LPH66: 所以 deref 得到的物件(參考)也有常數性 11/15 20:24
3F：→ LPH66: 你又用 auto& 去接這個參考所以一樣獲得一個 const ref 11/15 20:24
4F：→ LPH66: 至於為何一開始這 iterator 要有常數性: unordered_set 是 11/15 20:26
5F：→ LPH66: 藉其 key 值內容 (的 hash) 達成存取加速的 11/15 20:26
6F：→ LPH66: 自然不允許使用者任意偷改 key 的內容 11/15 20:26
受教了 解釋非常清楚 感謝大大～
沒想到這個原因，仔細看了 cplusplus 似乎確實是這樣 Key 值都是 immutable 的
http://www.cplusplus.com/reference/unordered_set/unordered_set/
※ 編輯: lemonsheep (180.177.3.109 臺灣), 11/15/2020 21:57:13
7F：→ loveme00835: 這要看你 std::unordered_set 型別引數怎麼給, 如果 11/15 22:11
8F：→ loveme00835: 第 2, 3 個都用預設的話, 那很難達到你想要的效果: 11/15 22:11
9F：→ loveme00835: 改 set 裡的值 11/15 22:11
10F：→ loveme00835: 可以這樣想: std::unordered_set 儲存的是 key, 但真 11/15 22:21
11F：→ loveme00835: 正決定 bucket 位置的是 hasher 以及 key_equal, 因 11/15 22:22
12F：→ loveme00835: 為預設 hasher 是 std::hash<Key>, 預設 key_equal是 11/15 22:23
13F：→ loveme00835: std::equal_to<Key>, 把 iterator 加上 constness 算 11/15 22:25
14F：→ loveme00835: 是實作簡單但是語意不精確的設計, 因為存在 set 裡的 11/15 22:26
15F：→ loveme00835: 物件, 只要保證其 hash 值不會改變, 那我改其它屬性 11/15 22:27
16F：→ loveme00835: 應該是合理的 11/15 22:27
17F：→ loveme00835: 如果你真要用傳統的方式來改元素值, 參考 extract() 11/15 22:33
18F：推 ucrxzero: 可以問一下為何都用emplace 而不是insert 嗎 11/16 13:27
19F：→ ucrxzero: 好像測資也沒比較快 11/16 13:27
20F：→ loveme00835: 當要呼叫 copy/move ctor 以外的建構子才會使用 empl 11/16 13:39
21F：→ loveme00835: ace(), 不然就是用 insert(), 同樣的介面分別也可以 11/16 13:39
22F：→ loveme00835: 在其他容器看到, 如 std::vector 的 empalce_back() 11/16 13:39
23F：→ loveme00835: & push_back(). 但是很常被誤用, 認為 emplace() 系 11/16 13:39
24F：→ loveme00835: 列就是比較快 11/16 13:39
25F：推 ucrxzero: 感謝 11/16 16:55
26F：→ ucrxzero: 學到了 11/16 16:55