生命周期的限制

给定以下代码

#[derive(Debug)]
struct Foo;

impl Foo {
    fn mutate_and_share(&mut self) -> &Self { &*self }
    fn share(&self) {}
}

fn main() {
    let mut foo = Foo;
    let loan = foo.mutate_and_share();
    foo.share();
    println!("{:?}", loan);
}

你可能期望它能编译。我们调用了 mutate_and_share 函数,它临时可变地借用了 foo,但随后只返回了一个共享引用。因此,我们期望 foo.share() 能够成功,因为 foo 不应该被可变地借用。

然而,当我们尝试编译它时

error[E0502]: cannot borrow `foo` as immutable because it is also borrowed as mutable
  --> src/main.rs:12:5
   |
11 |     let loan = foo.mutate_and_share();
   |                --- mutable borrow occurs here
12 |     foo.share();
   |     ^^^ immutable borrow occurs here
13 |     println!("{:?}", loan);

发生了什么?嗯,我们得到了与上一节示例 2完全相同的推理。我们对程序进行解糖,得到以下结果

struct Foo;

impl Foo {
    fn mutate_and_share<'a>(&'a mut self) -> &'a Self { &'a *self }
    fn share<'a>(&'a self) {}
}

fn main() {
    'b: {
        let mut foo: Foo = Foo;
        'c: {
            let loan: &'c Foo = Foo::mutate_and_share::<'c>(&'c mut foo);
            'd: {
                Foo::share::<'d>(&'d foo);
            }
            println!("{:?}", loan);
        }
    }
}

由于 loanmutate_and_share 的签名,生命周期系统被迫将 &mut foo 的生命周期扩展到 'c。然后,当我们尝试调用 share 时,它发现我们试图给 &'c mut foo 创建别名,并在我们面前爆炸了!

根据我们实际关心的引用语义,这个程序显然是正确的,但生命周期系统过于粗粒度,无法处理这种情况。

不正确地缩短借用

以下代码无法编译,因为 Rust 发现变量 map 被借用了两次,并且无法推断出在第二次借用发生之前,第一次借用不再需要。这是因为 Rust 保守地回退到对第一次借用使用整个作用域。这最终会被修复。

#![allow(unused)]
fn main() {
use std::collections::HashMap;
use std::hash::Hash;
fn get_default<'m, K, V>(map: &'m mut HashMap<K, V>, key: K) -> &'m mut V
where
    K: Clone + Eq + Hash,
    V: Default,
{
    match map.get_mut(&key) {
        Some(value) => value,
        None => {
            map.insert(key.clone(), V::default());
            map.get_mut(&key).unwrap()
        }
    }
}
}

由于施加的生命周期限制,&mut map 的生命周期与其他可变借用重叠,导致编译错误

error[E0499]: cannot borrow `*map` as mutable more than once at a time
  --> src/main.rs:12:13
   |
4  |   fn get_default<'m, K, V>(map: &'m mut HashMap<K, V>, key: K) -> &'m mut V
   |                  -- lifetime `'m` defined here
...
9  |       match map.get_mut(&key) {
   |       -     --- first mutable borrow occurs here
   |  _____|
   | |
10 | |         Some(value) => value,
11 | |         None => {
12 | |             map.insert(key.clone(), V::default());
   | |             ^^^ second mutable borrow occurs here
13 | |             map.get_mut(&key).unwrap()
14 | |         }
15 | |     }
   | |_____- returning this value requires that `*map` is borrowed for `'m`