如何正确标注Rust生命周期并修复示例代码的借用检查错误

你的代码触发了Rust中最常见的借用规则限制之一：自引用结构体，具体问题有两个核心点：

• 你给App<'a>标注的生命周期'a，要求App实例的存活时间必须不短于'a。但你在init方法中创建的Item持有了指向App自身i字段的引用，相当于App内部的vec存储了指向自己的引用，形成了自引用结构。Rust的借用检查器默认不允许这类结构存在，因为一旦App发生移动，内部i字段的内存地址会改变，Item里的引用就会变成悬空指针，直接触发内存安全问题。
• 你在init方法中把Item::new(self)推入vec时，相当于把&'a mut self这个借用的生命周期和App自身的生命周期'a绑定了，这会导致App被永久标记为已借用，后续再也无法对App做任何操作，哪怕是调用只读的update方法也会违反借用规则。另外你main函数里的app是不可变绑定，也无法调用需要&mut self的init方法，这是额外的语法错误。

最推荐的是直接打破自引用结构，避免用引用关联Item和App的内部字段，有两种常用的低成本实现方式：

方案1：用共享智能指针替代引用 #

把App的i字段用Rc包裹，Item也持有Rc<i32>，两者共享同一个值的所有权，完全规避引用和生命周期标注：

use std::rc::Rc;

struct Item {
    rf: Rc<i32>,
}

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

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

impl App {
    fn new() -> App {
        App {
            i: Rc::new(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 mut app = App::new();
    app.init();
    app.update();
}

这个方案不需要处理生命周期，性能损耗极小，适合绝大多数业务场景。如果是多线程环境，把Rc换成Arc即可。

方案2：用索引替代引用 #

如果你的业务逻辑允许，也可以直接让Item存储索引标识，需要取值的时候直接从App里取对应的值，完全去掉Item里的引用：

// 这个示例里所有Item都指向App的i字段，所以不需要额外索引，直接在update里取即可
struct Item;

impl Item {
    fn new() -> Item {
        Item
    }
}

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

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


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

如果每个Item指向不同的字段，可以给Item加个索引字段，取值的时候根据索引从App的对应集合里取即可，完全规避生命周期问题。

如果你必须用自引用结构，可以用Pin+Box固定App的内存地址防止移动，或者用unsafe代码自行保证内存安全，但这两种方案都需要对Rust的内存模型有较深的理解，不推荐新手使用。

内容的提问来源于stack exchange，提问作者user2443626