作者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/cn.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