1

我有一段代码需要对列表进行操作。此列表包含来自其他来源且需要处理并最终删除的项目。该列表还传递给多个函数，这些函数决定是添加还是删除项目。我创建了一个反映我的问题的示例代码：

use std::{cell::RefCell, rc::Rc};

pub fn foo() {
    let list: Rc<RefCell<Vec<Rc<RefCell<String>>>>> = Rc::new(RefCell::new(Vec::new()));

    list.borrow_mut()
        .push(Rc::new(RefCell::new(String::from("ABC"))));

    while list.borrow().len() > 0 {
        let list_ref = list.borrow();

        let first_item = list_ref[0].borrow_mut();
        //item processing, needed as mutable

        list.borrow_mut().remove(0);
    }
}

这在运行时恐慌：

thread 'main' panicked at 'already borrowed: BorrowMutError', src/libcore/result.rs:997:5

我想我理解这个问题：我有两个不可变的借用，然后第三个是可变的。根据 Rust 文档，这是不允许的：许多不可变借用或单个可变借用。有没有办法解决这个问题？

4

1 回答 1

2

我不知道您实际上想要实现什么，因为您未能提供一个最小的可重现示例，但我认为您只是混淆了数据结构中的list和的借用，这首先让您感到困惑。item

尽管如此，以下代码（您可以在Playground中运行）执行上述操作。

use std::{cell::RefCell, rc::Rc};

pub fn foo() {
    let list = Rc::new(RefCell::new(Vec::new()));
    let mut list = list.borrow_mut();

    let item = Rc::new(RefCell::new(String::from("ABC")));

    list.push(item);
    println!("list: {:?}", list);

    while let Some(item) = list.pop() {
        println!("item: {:?}", item);
        item.borrow_mut().push_str("DEF");
        println!("item: {:?}", item);
    }

    println!("list: {:?}", list);
}

fn main() {
    foo();
}

我在这里使用了两个技巧。

  1. 我list只借了一次，那个借是可变的，它允许我从中添加和删除项目。

  2. 因为您的描述说您无论如何都想从中删除项目，所以我能够使用或方法list迭代（取决于您希望从 中获取项目的顺序）。这意味着我不必借用for 循环的范围（如果你要迭代它，你会这样做）。VecpopremovelistVec

还有其他方法可以根据某些谓词删除元素。例如：根据某些条件从 Vec 中删除元素。

要真正回答您最初的问题：没有办法安全地同时拥有不可变和可变借用。这是 Rust 使其内存安全的核心原则之一。想一想，如果同时在引擎盖下，数据实际上可以改变，那么不变性会是怎样的保证呢？

于 2019-06-07T23:58:12.300 回答