为何HashMap索引操作返回引用仍需显式借用？

先看这段代码：

let mut my_hash_map: HashMap<u32, String> = HashMap::new();
my_hash_map.insert(5, "value".to_string());
let my_val = my_hash_map[&5];

运行后会报出错误：

cannot move out of index of HashMap<u32, String> move occurs because value has type String, which does not implement the Copy trait

必须改成下面的写法才能正常编译：

let my_val = &my_hash_map[&5];

明明HashMap的方括号索引应该返回&String，为什么还要额外显式加&？

原因解析 #

HashMap实现的Index trait确实返回的是&V（这里就是&String），问题出在Rust的自动解引用和变量绑定规则上：

• 当你写let my_val = my_hash_map[&5];时，Rust会自动解引用返回的&String，尝试将底层的String绑定到my_val。但String没有实现Copy trait，这会触发移动语义——试图把HashMap中存储的String值转移出来，而HashMap仍然需要持有这个值的所有权，因此编译器报错。
• 显式添加&后，&my_hash_map[&5]是对返回的&String再次进行借用，最终得到的是&&String，Rust的自动解引用会自动处理层级，最终my_val的类型是&String，只是借用了HashMap中的值，不会触发移动，因此编译通过。

替代方案 #

如果只是读取值，更推荐使用get方法，它直接返回Option<&V>，不仅避免了索引不存在时panic，也不需要额外处理引用：

if let Some(my_val) = my_hash_map.get(&5) {
    // 使用my_val，类型为&String
}

内容的提问来源于stack exchange，提问作者Zebrafish