在 for 循环中发生突变时借用错误

Question

我在 rust 中遇到借用检查器和临时值问题。

我希望找到解决此特定问题的方法，并希望将来能更好地学习如何处理这种情况。我最初是从for_each 开始的，但遇到了提前终止的问题。

我考虑将check_foo 的逻辑移至update_foo，但这不适用于我的现实世界解决方案； MRE 侧重于编译问题与我在整个程序中试图实现的目标。

---

编辑：我有没有办法以纯功能的方式实现这一目标？

---

我想迭代一系列数字，更新 Vec<Foo> 并可能提前返回一个值。下面是我的代码具有相同错误的最小可重现示例：

我尝试尝试实现为：

fn run<'a>(mut foos: Vec<Foo>) -> Vec<&'a u32> {
    let mut bar: Vec<&u32> = vec![];

    for num in 0..10 {
        for foo in &mut foos {
            update_foo(foo);

            let checked_foo = check_foo(&foo);
            if checked_foo.is_empty() {
                bar = checked_foo;
                break;
            }
        }
    }

    bar
}

/* `fn update_foo` and `fn check_foo` definitions same as below */

但这导致：

21 | for foo in &mut foos {
   |            ^^^^^^^^^ `foos` was mutably borrowed here in the previous iteration of the loop

为了克服这个问题，我添加了 Rc 和 RefCell 的使用，以允许我在迭代引用的同时仍然能够变异：

#[derive(Clone, Debug, PartialEq)]
pub struct Foo {
    updated: bool,
}

fn run<'a>(foos: Vec<Rc<RefCell<Foo>>>) -> Vec<&'a u32> {
    let mut bar: Vec<&u32> = vec![];

    for num in 0..10 {
        for foo in &foos {
            update_foo(&mut foo.borrow_mut());

            let checked_foo = check_foo(&foo.borrow());
            if checked_foo.is_empty() {
                bar = checked_foo;
                break;
            }
        }
    }

    bar
}

fn update_foo(foo: &mut Foo) {
    foo.updated = true
}

fn check_foo(foo: &Foo) -> Vec<&u32> {
    if foo.updated {
        vec![&0, &1, &2]
    } else {
        vec![]
    }
}

导致：

error[E0515]: cannot return value referencing temporary value
  --> src/main.rs:33:5
   |
26 |             let checked_foo = check_foo(&foo.borrow());
   |                                          ------------ temporary value created here
...
33 |     bar
   |     ^^^ returns a value referencing data owned by the current function

error[E0515]: cannot return value referencing function parameter `foos`
  --> src/main.rs:33:5
   |
23 |         for foo in &foos {
   |                    ----- `foos` is borrowed here
...
33 |     bar
   |     ^^^ returns a value referencing data owned by the current function

For more information about this error, try `rustc --explain E0515`.

Answer 1

我不完全确定您打算如何处理此问题，但在我看来，您使用的一些参考资料应该拥有。这是我想出的。

#[derive(Clone, Debug, PartialEq)]
pub struct Foo {
    updated: bool,
}

fn run(foos: &mut Vec<Foo>) -> Vec<u32> {
    let mut bar: Vec<u32> = vec![];

    for num in 0..10 {
        for foo in foos.iter_mut() { 
            update_foo(foo);

            let checked_foo = check_foo(&foo);
            if checked_foo.is_empty() {
                bar = checked_foo;
                break;
            }
        }
    }

    bar
}

fn update_foo(foo: &mut Foo) {
    foo.updated = true
}

fn check_foo(foo: &Foo) -> Vec<u32> {
    if foo.updated {
        vec![0, 1, 2]
    } else {
        vec![]
    }
}

当您希望其他结构拥有您所引用的对象时，应该使用引用，但在这里您正在使用新数据构造新向量，因此您应该保留元素的所有权。