为何无法在Rust中从HashMap移出值？报错原因解析

问题重现 #

先看报错的代码及对应的错误信息：

示例代码 #

use std::collections::HashMap;

#[derive(Clone)]
struct MyStruct {
    id: i32,
    vec_number: Vec<i32>,
}

fn main() {
    let mut hashmap: HashMap<i32, Vec<i32>> = HashMap::new();

    let a = MyStruct {
        id: 1,
        vec_number: vec![1, 2, 3],
    };

    let b = MyStruct {
        id: 2,
        vec_number: vec![1, 2, 3],
    };

    let first_vec = vec![a, b];
    
    for strct in first_vec {
        hashmap.insert(strct.id, strct.vec_number);
    }

    let second_vec : Vec<i32> = *hashmap.get(&2).unwrap(); // 此处报错
}

错误信息 #

cannot move out of a shared reference
move occurs because value has type `Vec<i32>`, which does not implement the `Copy` trait

问题解答 #

1. 为什么后续不使用HashMap仍报错？ #

核心原因是Rust的借用规则是编译期静态检查，不会分析你后续是否还会使用HashMap。

hashmap.get(&2)返回的是Option<&Vec<i32>>——一个共享只读引用。根据Rust的规则，共享引用的设计目的是允许多个地方同时读取值，但绝对禁止从共享引用中移动值：一旦移动，原HashMap中的值会直接失效，如果此时还有其他指向该值的引用，就会产生悬垂引用，彻底破坏内存安全。

编译器不会去判断你之后有没有用到HashMap，它只看到你试图从一个共享引用中转移所有权，这直接违反了借用规则，因此直接报错。

2. 使用remove()是否更符合Rust风格？ #

这个说法完全正确。

HashMap::remove(&key)的作用是将键对应的值从HashMap中移除，并返回该值的所有权，它的返回值是Option<Vec<i32>>，不需要解引用就能直接获取所有权，完全贴合Rust的所有权语义。

用remove()修正后的代码：

// 替换原报错行
let second_vec: Vec<i32> = hashmap.remove(&2).unwrap();

根本原因总结 #

所有问题的核心都是Rust的所有权与借用规则：

• 共享引用（&T）仅授予只读访问权限，禁止转移所有权，这是为了避免悬垂引用，保证内存安全。
• get()设计为返回引用，目的是让你在不转移所有权的前提下读取值；而remove()设计为转移所有权，目的是让你彻底拿走HashMap中的值。

如果不想移除HashMap中的值，你也可以选择克隆值（Vec已实现Clone trait）：

let second_vec: Vec<i32> = hashmap.get(&2).unwrap().clone();

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