Rust使用Trait时出现“borrowed value does not live long enough”错误求助

原始可编译代码 #

struct Foo {}
struct FooRepository {}

trait Action {}
struct FooAction<'a> {
    repository: &'a FooRepository
}
impl<'a> Action for FooAction<'a>{}

struct ActionSelector<'a> {
    pub repository: &'a FooRepository
}
impl<'a> ActionSelector<'a> {
    fn create_action(&self) -> Result<Box<dyn Action + 'a>, String> {
        Ok(Box::new(FooAction{ repository: self.repository }))
    }
}

struct Resolver<'a> {
    pub selectors: Vec<Box<ActionSelector<'a>>>
}
impl<'a> Resolver<'a> {
    pub fn resolve(&'a self) { }
}

fn main() {
    let repository = FooRepository{};
    let resolver = Resolver{selectors: vec![
        Box::new(ActionSelector{ repository: &repository })
    ]};
    resolver.resolve();
}

修改后编译失败的代码 #

struct Foo {}
struct FooRepository {}

trait Action {}
struct FooAction<'a> {
    repository: &'a FooRepository
}
impl<'a> Action for FooAction<'a>{}

trait Selector<'a> {
    fn create_action(&'a self) -> Result<Box<dyn Action + 'a>, String>;
}
struct ActionSelector<'a> {
    pub repository: &'a FooRepository
}
impl<'a> Selector<'a> for ActionSelector<'a> {
    fn create_action(&'a self) -> Result<Box<dyn Action + 'a>, String> {
        Ok(Box::new(FooAction{ repository: self.repository }))
    }
}

struct Resolver<'a> {
    pub selectors: Vec<Box<dyn Selector<'a> + 'a>>
}
impl<'a> Resolver<'a> {
    pub fn resolve(&'a self) { }
}

fn main() {
    let repository = FooRepository{};
    let resolver = Resolver{selectors: vec![
        Box::new(ActionSelector{ repository: &repository })
    ]};
    resolver.resolve();
}

报错信息 #

error[E0597]: `resolver` does not live long enough
  --> src/main.rs:36:5
   |
33 |     let resolver = Resolver{selectors: vec![
   |         -------- binding `resolver` declared here
...
36 |     resolver.resolve();
   |     ^^^^^^^^^^^^^^^^^^ borrowed value does not live long enough
37 | }
   | -
   | |
   | `resolver` dropped here while still borrowed
   | borrow might be used here, when `resolver` is dropped and runs the destructor for type `Resolver<'_>`

问题根源 #

报错核心是：Selector trait的create_action方法强制要求&'a self（方法的self引用生命周期与Trait的'a参数绑定），同时Resolver的resolve方法也要求&'a self。这让借用检查器误以为resolver的生命周期必须覆盖'a，但实际resolver在main栈上的生命周期短于repository，导致生命周期冲突。

修复方案 #

方案一：解绑方法引用与Trait生命周期参数 #

这是最直接的修复方式，去掉create_action方法中self引用的'a约束，让编译器自动推导合适的生命周期：

修改后的完整代码：

struct Foo {}
struct FooRepository {}

trait Action {}
struct FooAction<'a> {
    repository: &'a FooRepository
}
impl<'a> Action for FooAction<'a>{}

trait Selector<'a> {
    // 去掉&'a self的约束，改成&self
    fn create_action(&self) -> Result<Box<dyn Action + 'a>, String>;
}
struct ActionSelector<'a> {
    pub repository: &'a FooRepository
}
impl<'a> Selector<'a> for ActionSelector<'a> {
    fn create_action(&self) -> Result<Box<dyn Action + 'a>, String> {
        Ok(Box::new(FooAction{ repository: self.repository }))
    }
}

struct Resolver<'a> {
    pub selectors: Vec<Box<dyn Selector<'a> + 'a>>
}
impl<'a> Resolver<'a> {
    // 同样去掉&'a self约束，改成普通引用&self
    pub fn resolve(&self) { }
}

fn main() {
    let repository = FooRepository{};
    let resolver = Resolver{selectors: vec![
        Box::new(ActionSelector{ repository: &repository })
    ]};
    resolver.resolve();
}

方案二：使用智能指针转移所有权（适合长期持有场景） #

如果业务允许，可以用Arc等智能指针包裹FooRepository，彻底避免生命周期依赖：

修改后的完整代码：

use std::sync::Arc;

struct Foo {}
struct FooRepository {}

trait Action {}
struct FooAction<'a> {
    repository: &'a FooRepository
}
impl<'a> Action for FooAction<'a>{}

// 去掉Trait的生命周期参数
trait Selector {
    fn create_action(&self) -> Result<Box<dyn Action>, String>;
}
// 使用Arc持有FooRepository
struct ActionSelector {
    pub repository: Arc<FooRepository>
}
impl Selector for ActionSelector {
    fn create_action(&self) -> Result<Box<dyn Action>, String> {
        Ok(Box::new(FooAction{ repository: self.repository.as_ref() }))
    }
}

// Resolver不再需要生命周期参数
struct Resolver {
    pub selectors: Vec<Box<dyn Selector>>
}
impl Resolver {
    pub fn resolve(&self) { }
}

fn main() {
    let repository = Arc::new(FooRepository{});
    let resolver = Resolver{selectors: vec![
        Box::new(ActionSelector{ repository: repository.clone() })
    ]};
    resolver.resolve();
}

方案三：调整Resolver的生命周期参数（进阶优化） #

如果需要保留Trait的生命周期参数，可以让Resolver的resolve方法使用独立的生命周期，避免和'a绑定：

impl<'a> Resolver<'a> {
    // 使用独立的生命周期'b，不和'a绑定
    pub fn resolve<'b>(&'b self) { }
}

同时配合方案一中修改Selector trait的方法，也能解决问题，本质和方案一一致。

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