[問題] 使用 operator[] 修改 reference 變數

[lemonsheep (檸檬羊)]

開發平台(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://www.ptt.cc/bbs/C_and_CPP/M.1605441487.A.2F4.html
推 LPH66: 看起來好像是 unordered_set 的 iterator 本來就有常數性
→ LPH66: 所以 deref 得到的物件(參考)也有常數性
→ LPH66: 你又用 auto& 去接這個參考所以一樣獲得一個 const ref
→ LPH66: 至於為何一開始這 iterator 要有常數性: unordered_set 是
→ LPH66: 藉其 key 值內容 (的 hash) 達成存取加速的
→ LPH66: 自然不允許使用者任意偷改 key 的內容
受教了 解釋非常清楚 感謝大大～

沒想到這個原因，仔細看了 cplusplus 似乎確實是這樣 Key 值都是 immutable 的
http://www.cplusplus.com/reference/unordered_set/unordered_set/
※ 編輯: lemonsheep (180.177.3.109 臺灣), 11/15/2020 21:57:13
→ loveme00835: 這要看你 std::unordered_set 型別引數怎麼給, 如果
→ loveme00835: 第 2, 3 個都用預設的話, 那很難達到你想要的效果:
→ loveme00835: 改 set 裡的值
→ loveme00835: 可以這樣想: std::unordered_set 儲存的是 key, 但真
→ loveme00835: 正決定 bucket 位置的是 hasher 以及 key_equal, 因
→ loveme00835: 為預設 hasher 是 std::hash<Key>, 預設 key_equal是
→ loveme00835: std::equal_to<Key>, 把 iterator 加上 constness 算
→ loveme00835: 是實作簡單但是語意不精確的設計, 因為存在 set 裡的
→ loveme00835: 物件, 只要保證其 hash 值不會改變, 那我改其它屬性
→ loveme00835: 應該是合理的
→ loveme00835: 如果你真要用傳統的方式來改元素值, 參考 extract()
推 ucrxzero: 可以問一下為何都用emplace 而不是insert 嗎
→ ucrxzero: 好像測資也沒比較快
→ loveme00835: 當要呼叫 copy/move ctor 以外的建構子才會使用 empl
→ loveme00835: ace(), 不然就是用 insert(), 同樣的介面分別也可以
→ loveme00835: 在其他容器看到, 如 std::vector 的 empalce_back()
→ loveme00835: & push_back(). 但是很常被誤用, 認為 emplace() 系
→ loveme00835: 列就是比較快
推 ucrxzero: 感謝
→ ucrxzero: 學到了