多个不可变引用

Aus*_*ile 2 reference immutability rust borrow-checker

我有以下代码:

use std::collections::HashMap;

fn doublez(h1: &HashMap<String, i32>, h2: &HashMap<String, i32>) {
    dbg!(h1, h2);
}

fn main() {
    let mut scores = HashMap::new();

    scores.insert(String::from("Blue"), 10);
    scores.insert(String::from("Yellow"), 50);

    let teams = vec![
        String::from("Blue"),
        String::from("Yellow"),
    ];

    let initial_scores = vec![10, 50];
    let team_scores: HashMap<_, _> = teams.into_iter().zip(initial_scores.into_iter()).collect();
    let mut ts2 = &team_scores;
    let mut ts3 = &team_scores;
    doublez(ts2, ts3);
}
Run Code Online (Sandbox Code Playgroud)

我正在试验 Rust 所有权规则,并且正在测试不能拥有多个可变引用的整个想法,但在这段代码中,我以 ts2 和 ts3 的形式对 team_scores 哈希图进行了两个可变引用,但是对于不管什么原因,代码编译得很好。这是为什么?

小智 6

let mut ts2 = &team_scores实际上并不是创建可变引用,而是创建包含不可变引用的可变变量。这意味着您可以将变量重新分配给另一个引用(即ts2 = &different_hashmap),但您将无法修改 HashMap 本身(即尝试调用ts2.insert将不起作用)。

如果您想要对 HashMap 进行可变引用,您可以使用let ts2 = &mut team_scores;.