Rust结构体部分移动借用报错及as_ref()引用不可写问题咨询

问题复现与根因 #

初始实现代码如下：

let super_hero_description = "several years ago.";
let mut super_hero = SuperHero::new(super_hero_description);
super_hero.description_chunks = Option::from(super_hero.get_decription_chunks(DescriptionTypes::NotVillan));
for mut chunk in super_hero.description_chunks.unwrap() {
    chunk.data = Option::from(chunk.get_data(DescriptionTypes::NotVillan).await);
}
println!("{:?}", &super_hero);

直接编译会触发E0382: borrow of partially moved value错误，核心原因是Option::unwrap(self)方法会获取Option值的所有权，调用后super_hero所持有的description_chunks字段被移动走，结构体发生部分移动，后续无法整体借用打印整个实例。

按照编译器初始提示添加.as_ref()后，会触发第二个E0594: cannot assign to data which is behind a & reference错误：

// 错误修改
for mut chunk in super_hero.description_chunks.as_ref().unwrap() {
    chunk.data = Option::from(chunk.get_data(DescriptionTypes::NotVillan).await);
}

报错原因是as_ref()仅能获取Option内部值的不可变引用，unwrap后迭代Vec得到的是&Chunk类型的只读引用，没有修改权限，自然无法给chunk.data赋值。

正确修复方案 #

要同时避免所有权移动、又拿到可修改内部元素的权限，只需要把as_ref()替换为可变借用版本的as_mut()即可，修复后代码：

let super_hero_description = "several years ago.";
let mut super_hero = SuperHero::new(super_hero_description);
super_hero.description_chunks = Option::from(super_hero.get_decription_chunks(DescriptionTypes::NotVillan));
// as_mut()获取Option内部值的可变引用，不发生所有权转移
for chunk in super_hero.description_chunks.as_mut().unwrap() {
    chunk.data = Option::from(chunk.get_data(DescriptionTypes::NotVillan).await);
}
println!("{:?}", &super_hero);

原理说明 #

• as_mut()会将&mut Option<Vec<Chunk>>转换为Option<&mut Vec<Chunk>>，整个调用过程只可变借用description_chunks字段，不会发生所有权移动，后续正常打印super_hero不受影响
• unwrap拿到Vec的可变引用后，迭代集合时每个元素是&mut Chunk类型的可变引用，拥有修改内部字段的权限，可以正常给chunk.data赋值

如果要避免description_chunks为None时unwrap触发panic，可以用if let做模式匹配，写法更健壮：

if let Some(chunks) = super_hero.description_chunks.as_mut() {
    for chunk in chunks {
        chunk.data = Option::from(chunk.get_data(DescriptionTypes::NotVillan).await);
    }
}

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