rust - 为什么可变的 self 借贷不会变成不可变的？

Question

此代码使可怕的借阅检查器(playground)无法通过:

struct Data {
    a: i32,
    b: i32,
    c: i32,
}

impl Data {
    fn reference_to_a(&mut self) -> &i32 {
        self.c = 1;
        &self.a
    }
    fn get_b(&self) -> i32 {
        self.b
    }
}

fn main() {
    let mut dat = Data{ a: 1, b: 2, c: 3 };
    let aref = dat.reference_to_a();
    println!("{}", dat.get_b());
}

由于实现了非词汇生存期，因此需要触发以下错误:

fn main() {
    let mut dat = Data { a: 1, b: 2, c: 3 };
    let aref = dat.reference_to_a();
    let b = dat.get_b();
    println!("{:?}, {}", aref, b);
}

错误:

error[E0502]: cannot borrow `dat` as immutable because it is also borrowed as mutable
  --> <anon>:19:20
   |
18 |     let aref = dat.reference_to_a();
   |                --- mutable borrow occurs here
19 |     println!("{}", dat.get_b());
   |                    ^^^ immutable borrow occurs here
20 | }
   | - mutable borrow ends here

为什么是这样？我以为dat返回时，可变的借用reference_to_a()会转换为不可变的借项，因为该函数仅返回不可变的引用。借钱检查员还不够聪明吗？这是有计划的吗？有办法解决吗？

Answer 1

生存期与引用是否可变无关。通过代码工作:

fn reference_to_a(&mut self) -> &i32

尽管生命周期已被消除，但这等效于:

fn reference_to_a<'a>(&'a mut self) -> &'a i32

即输入和输出生命周期是相同的。这是为这样的函数分配生存期的唯一方法(除非它返回了对全局数据的&'static引用)，因为您无法一无所获地弥补输出生存期。

这意味着，如果通过将返回值保存在变量中来使其保持 Activity 状态，那么&mut self也将保持 Activity 状态。

另一种思考方式是&i32是&mut self的子借项，因此仅在到期之前有效。

正如@aSpex指出的，这是covered in the nomicon。