Rust 生命周期 - 关于如何正确注释生命周期的新手问题

Question

我一直在努力理解如何在我的应用程序中正确注释生命周期。 我已经简化了我必须的实际代码：

struct Item<'a> {
    rf: &'a i32,
}

impl<'a> Item<'a> {
    fn new(main: &'a App) -> Item<'a> {
        Item{
            rf: &main.i
        }
    }
}

struct App<'a> {
    i: i32,
    vec: Vec<Item<'a>>
}

impl<'a> App<'a> {
    fn new() -> App<'a> {
        App {
            i: 32,
            vec: vec![]
        }
    }
    
    fn init(&mut self) {
        self.vec.push(Item::new(self))
    }
    
    fn update(&self) {
        for item in self.vec.iter() {
            println!("{}", item.rf)
        }
    }
}


fn main() {
    let app = App::new();
    app.init();
    app.update();
}

因此，有一个项目向量包含对应用程序中某些内容的引用，我知道只要应用程序还活着，它就会存在，但借用检查器不接受这一点。 有人可以解释这段代码有什么问题以及我如何修复它吗？

你可以在 rust playground 找到这个代码： https : //play.rust-lang.org/? version = stable&mode = debug&edition = 2018&gist =ee8980c9e1b2a0622548525dbcf9f50f

Answer 1

我认为问题在于 rust 如何处理引用并推断它们。 这是一个可能的解决方案。

简而言之，我们告诉 rust 编译器，在 App 结构体中，i 成员存在“a 长度”。 然后，我们可以与另一个至少存活 'a 的结构体共享这个成员。 我们通过在创建它时告诉 Item 结构来实现这一点，它至少必须至少在 App 结构的生命周期内存活。 因为编译器对推断和匿名生命周期可能有点挑剔，所以我们必须明确。 我们通过向 Item 结构的新方法添加一个 'b 来实现这一点。 当我们然后使用 app 结构体的生命周期 'a 调用此方法时，编译器知道 Item 的生命周期与 App 一样长。 抱歉，我的简短解释比我可能知道的要多。

struct Item<'a> {
    rf: &'a i32,
}

impl<'a> Item<'a> {
    fn new<'b>(main: &'b App<'a>) -> Item<'a> {
        Item{
            rf: main.i
        }
    }
}

struct App<'a> {
    i: &'a i32,
    vec: Vec<Item<'a>>
}

impl<'a> App<'a> {
    fn new() -> App<'a> {
        App {
            i: &32,
            vec: vec![]
        }
    }
    
    fn init(&mut self) {
        let item = Item::new(self);
        self.vec.push(item)
    }
    
    fn update(&self) {
        for item in self.vec.iter() {
            println!("{}", item.rf)
        }
    }
}


fn main() {
    let mut app = App::new();
    app.init();
    app.update();
}