Question

我正在尝试为游戏中的实体系统编写一些代码，但是我收到了这个错误，所以我把代码煮成了同样的东西，我在实际代码中得到了同样的错误。

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

我的防锈版本为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相同，因此借用{ {1}}必须与&self.my_list具有相同的生命周期，因此借用的时间超出了函数的返回范围。

如果您以不同方式编写函数，Rust将接受它：

self

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

1 个答案: