Rust中如何为带'static生命周期的GameState trait实现含生命周期的结构体

问题代码 #

// engine.rs
pub struct Engine<'a, 'b> {
    // ...some code
    dispatcher: Dispatcher<'a, 'b>
}

impl<'a, 'b> GameState for Engine<'a, 'b> { // <- 错误
    fn tick(&mut self, ctx: &mut BTerm) {
        todo!()
    }
}

// dispatcher.rs (库文件，无法修改)
pub struct Dispatcher<'a, 'b> {
    //...some code
}

// gamestate.rs (库文件，无法修改)
pub trait GameState: 'static {
    fn tick(&mut self, ctx: &mut BTerm);
}

问题描述 #

需要在Engine结构体中保留dispatcher字段，但该字段带有生命周期参数。为带有'static生命周期约束的GameState trait实现Engine时出现错误，且无法修改GameState和Dispatcher的库代码，该如何解决？

错误信息 #

error[E0478]: lifetime bound not satisfied
  --> src/engine.rs:14:14
   |
14 | impl<'a, 'b> GameState for Engine<'a, 'b> {
   |              ^^^^^^^^^
   |
note: lifetime parameter instantiated with the lifetime `'b` as defined here
  --> src/engine.rs:14:10
   |
14 | impl<'a, 'b> GameState for Engine<'a, 'b> {
   |          ^^
   = note: but lifetime parameter must outlive the static lifetime

解决方案 #

方案1：约束Engine的生命周期参数为'static #

GameState的'static约束要求实现类型不能包含任何非'static的引用。直接为Engine<'static, 'static>实现GameState，即可满足生命周期要求：

impl GameState for Engine<'static, 'static> {
    fn tick(&mut self, ctx: &mut BTerm) {
        // 实现你的业务逻辑
        todo!()
    }
}

此方案适用于Dispatcher可以持有'static引用的场景，比如引用全局静态变量，或能确保Dispatcher依赖的数据生命周期覆盖整个程序运行期。

方案2：将Dispatcher依赖的数据转为拥有所有权的共享类型 #

如果Dispatcher的生命周期参数来自外部引用，且无法改为'static，可将被引用数据转移到堆上，用Arc（多线程）或Rc（单线程）共享所有权，让Dispatcher持有智能指针而非直接引用。这样Dispatcher的生命周期参数可设为'static，进而让Engine<'static, 'static>满足约束：

use std::sync::Arc;

// 假设Dispatcher原本持有&T类型的引用，现在改为持有Arc<T>
let shared_data = Arc::new(your_data_instance);
let dispatcher = Dispatcher::new(shared_data.clone());
let engine = Engine { dispatcher };

方案3：使用unsafe代码（不推荐） #

若能确保Engine的所有引用在tick调用期间始终有效，可通过unsafe绕过生命周期检查，但这会破坏Rust的内存安全保障，仅作为最后手段：

unsafe impl<'a, 'b> GameState for Engine<'a, 'b> {
    fn tick(&mut self, ctx: &mut BTerm) {
        todo!()
    }
}

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