`Weak<RefCell<_>>` 的“寿命不够长”错误答案

【问题标题】："Does not live long enough" error with `Weak<RefCell<_>>``Weak<RefCell<_>>` 的“寿命不够长”错误
【发布时间】：2018-05-02 02:43:43
【问题描述】：

我最近遇到了很多关于 Rust 的借用检查器拒绝我的代码的问题。为了问这个问题，我简化了我的代码：

use std::cell::RefCell;
use std::rc::{Rc, Weak};

struct SomeOtherType<'a>{
    data: &'a i32,
}

struct MyType<'a> {
    some_data: i32,
    link_to_other_type: Weak<RefCell<SomeOtherType<'a>>>,
}

struct ParentStruct<'a> {
    some_other_other_data: i32,
    first_types: &'a Vec<MyType<'a>>,
}


fn get_parent_struct<'a>(first_types: &'a Vec<MyType<'a>>) -> ParentStruct<'a> {
    ParentStruct { some_other_other_data: 4, first_types: first_types }
} 

fn consume(parent_struct: ParentStruct) {
    print!("{}", parent_struct.first_types[0].some_data);
}

fn main() {
    let some_vect = vec!(
        MyType { some_data: 1, link_to_other_type: Weak::new() },
        MyType { some_data: 2, link_to_other_type: Weak::new() }
    );
    loop {
        let some_struct = get_parent_struct(&some_vect);
        consume(some_struct);
    }
}

此代码无法编译，我收到以下错误：

error[E0597]: `some_vect` does not live long enough
  --> src/main.rs:33:46
   |
33 |         let some_struct = get_parent_struct(&some_vect);
   |                                              ^^^^^^^^^ borrowed value does not live long enough
...
36 | }
   | - `some_vect` dropped here while still borrowed
   |
   = note: values in a scope are dropped in the opposite order they are created

但奇怪的事实是：如果在MyType 类型中，我将Weak<RefCell<...>> 更改为Rc<RefCell<...>> 或RefCell<...> 或Weak<...>：它编译！

我的问题是：为什么？为什么借用检查器拒绝编译原始代码（为什么它接受其他类型的代码而不是Weak<RefCell<...>>）？

【问题讨论】：

对于任何有兴趣回答这个问题的人，我进一步simplified the code（它仍然显示相同的错误）（@Truc Truca，如果你愿意，你可以编辑你的问题并改用简化代码） .所以我很确定这与RefCell 的不变性有关。 Rc 和 Weak 也包含 Cells，也许这是一个提示？我现在需要停止研究这个，但我很想看到这个有趣问题的一个很好的解释！
解决方案是为引用使用不同的生命周期：&'a Vec<MyType<'b>>（可能使用'b:'a）。至于为什么？我不确定，并将答案留给对生命有更好理解的人。
另外，非常相关：stackoverflow.com/questions/43210387/…

标签： rust borrow-checker

【解决方案1】：

由于Lukas Kalbertodt提供了MCVE（Playground），我将使用他的代码：

struct MyType<'a> {
    link_to_other_type: Weak<RefCell<&'a i32>>,
}

fn get_parent_struct<'a>(_: &'a MyType<'a>) {} 

fn main() {
    let foo = MyType { link_to_other_type: Weak::new() };
    get_parent_struct(&foo);
}

让我们一步一步来：

一个Weak 被创建并移动到MyType，其生命周期为'a
当它传递给get_parent_struct<'a>(_: &'a MyType<'a>) 时，你有一个生命周期为'a 的引用指向一个生命周期为'a 的类型
get_parent_struct 期望它的参数与 foo 本身一样长，这是不正确的，因为 foo 一直存在到范围结束

正如kazemakase 所提到的，解决方案是为引用使用不同的生命周期。如果你稍微改变get_parent_struct 的签名，它就可以工作：

fn get_parent_struct<'a>(_: &MyType<'a>) {}

Playground

编译器现在将省略生命周期到

fn get_parent_struct<'a, 'b>(_: &'b MyType<'a>) where 'a: 'b {}

现在'a 比'b 更长寿。

【讨论】：