`if`条件仍在借用

Question

我刚刚遇到Rust的一些行为(1.12)我无法解释.我有一个结构,实现延迟加载与a RefCell<Option<i32>>和一个访问数据的函数:

struct Foo {
    data: RefCell<Option<i32>>
}

impl Foo {
    fn get_data(&self) -> i32 {
        if self.data.borrow().is_none() { // <--- (a)
            let d = 1337;
            self.data.borrow_mut() = Some(d); // <--- (b)
            d
        } else {
            self.data.borrow().unwrap()
        }
    }
}

这会编译但会产生运行时错误:RefCell抱怨在尝试borrow_mut上线(b)时借用已经处于活动状态.但是,如果我将if语句更改为以下内容,则不会发生此问题:

let is_none = self.data.borrow().is_none();
if is_none {

问题:为什么第(a)行的if条件中的借位在if语句的主体内仍然有效？不应该打电话is_none()导致借款结束,因为我只是坚持一个bool事后,而不是借来的价值？

Answer 1

这是由于Rust的词汇借用范围.

正如你所注意到的那样,在这种情况下借用一些东西也会为分支借用它.本期将对此进行讨论,此后已移至此处.

这是目前在Rust 1.13 Beta中修复的限制,因此可能会在下一个周期中发布.