rust - 对struct方法中的借用错误感到困惑

Question

我正在尝试为游戏中的实体系统编写一些代码，但出现此错误，因此我将代码简化为执行相同操作的代码，但我在实际代码中遇到了相同的错误。

我不明白为什么编译器告诉我当函数 baz 完成时对 self.my_list 的引用超出范围。

我的 Rust 版本是 rustc 1.3.0 (9a92aaf19 2015-09-15)

当 for 循环结束时，我会认为它超出了范围吗？

struct Foo {
    name : &'static str,
}

struct Bar {
    my_list : Vec<Foo>,
}

impl Bar {
    fn New() -> Bar {
        let mut new_instance = Bar { my_list : vec!() };
        new_instance.my_list.push(Foo { name : "foo1" });
        new_instance.my_list.push(Foo { name : "foo2" });
        new_instance.my_list.push(Foo { name : "foo3" });
        return new_instance;
    }

    fn Baz(&mut self, name : &'static str) -> Option<&Foo> {
        for x in &self.my_list {
            if x.name == name {
                return Some(x);
            }
        }

        self.my_list.push(Foo { name : "foo" });

        return None;
    }
}

fn main() {
    let mut bar = Bar::New();
    if let Some(x) = bar.Baz("foo1") {
        println!("{} found", x.name);
    }
}

这是我收到的错误消息:

Compiling tutorial v0.1.0 (file:///C:/Code/Projects/rust/tutorial)
src\main.rs:35:9: 35:21 error: cannot borrow `self.my_list` as mutable because it is also borrowed as immutable
src\main.rs:35         self.my_list.push(Foo { name : "foo" });
                       ^~~~~~~~~~~~
src\main.rs:29:19: 29:31 note: previous borrow of `self.my_list` occurs here; the immutable borrow prevents subsequent moves or mutable borrows of `self.my_list` until the borrow ends
src\main.rs:29         for x in &self.my_list {
                                 ^~~~~~~~~~~~
note: in expansion of for loop expansion
src\main.rs:29:9: 33:10 note: expansion site
src\main.rs:38:6: 38:6 note: previous borrow ends here
src\main.rs:28     fn Baz(&mut self, name : &'static str) -> Option<&Foo> {
...
src\main.rs:38     }
                   ^
error: aborting due to previous error
Could not compile `tutorial`.

To learn more, run the command again with --verbose.

Answer 1

这是借用检查器的一个限制。您推断函数安全的方式本质上是将函数视为两条路径:沿着函数返回 Some(x) 的路径，您不会借用 my_list，沿着函数返回 None 的路径，借用在 for 循环之后结束。

这不是借用检查器查看函数的方式；借用检查器根据词法范围工作。它会尝试选择尽可能窄的范围，但如有必要，它会将整个函数视为范围。它看到返回值中的生命周期与self的生​​命周期相同，因此x引用的值的生命周期必须与self相同，因此借用 &self.my_list 必须与 self 具有相同的生命周期，因此借用持续到函数返回之后。

如果您以不同的方式编写函数，Rust 会接受它:

fn Baz(&mut self, name : &'static str) -> Option<&Foo> {
    match self.my_list.iter().position(|x| x.name == name) {
        Some(i) => Some(&self.my_list[i]),
        None => {
            self.my_list.push(Foo { name : "foo" });
            None
        }
    }
}