Rust中能否原地更新/插入嵌套HashMap？E0308错误求解

错误原因 #

你遇到的E0308类型不匹配错误，核心问题是外层and_modify的闭包返回了不符合要求的类型：

• HashMap::entry().and_modify()要求传入的闭包返回()（空单元类型），它仅需要闭包完成修改操作，不需要返回值。
• 你写的闭包最后一行是*map.entry(part).and_modify(...).or_insert(1)，这行代码的结果是i32类型（or_insert返回&mut i32，解引用后为i32），而Rust闭包默认会把最后一行表达式的结果作为返回值，因此和and_modify要求的()类型不匹配。

修正后的代码 #

调整内层闭包逻辑，让它仅执行修改操作、不返回多余值即可。另外需要注意part的所有权问题（and_modify和or_insert都会用到part，克隆一份可避免所有权转移冲突）：

use std::collections::HashMap;

fn main() {
    let mut wp: HashMap<String, HashMap<String, i32>> = HashMap::new();
    let word = "example_word".to_string();
    let part = "example_part".to_string();

    wp.entry(word)
        .and_modify(|map| {
            // 仅执行更新/插入操作，闭包默认返回()，符合要求
            map.entry(part.clone())
                .and_modify(|count| *count += 1)
                .or_insert(1);
        })
        .or_insert(HashMap::from([(part, 1)]));
}

为什么元组键的写法没问题？ #

你之前用元组(String, String)作为键的代码能正常运行，是因为：

wp.entry((word, part))
    .and_modify(|count| *count += 1)
    .or_insert(1);

这里and_modify的闭包中，*count += 1是赋值语句，赋值语句的返回值是()，刚好符合and_modify对闭包返回值的要求，因此不会触发类型错误。

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