Rust中向线程传递trait对象出现逃逸错误的求助

你的核心问题是：试图在线程中持有栈上对象的引用，而编译器无法保证原对象的生命周期能覆盖线程的运行时间，导致借用数据逃逸的错误。具体来说，caller函数接收的&dyn testTrait是一个临时引用，你把它塞进Arc<Mutex>后传给线程，但线程的执行周期不受当前函数约束，原对象（main里的fifo）可能在线程结束前就被销毁，引发悬空引用风险。

修复方案：用共享所有权传递Trait对象 #

Rust中跨线程传递对象的标准做法是用Arc（原子引用计数）实现共享所有权，结合trait object就能满足依赖注入的需求。

优化后的代码示例 #

use std::thread;
use std::sync::{Arc, Mutex};

pub trait testTrait: Send + Sync {
    fn test(&self, i: i32) -> i32;
}

pub struct FIFO {}

// 空结构体默认满足Send/Sync，无需手动unsafe实现
impl testTrait for FIFO {
    fn test(&self, i: i32) -> i32 {
        i
    }
}

fn main() {
    // 直接用Arc包裹原对象，实现共享所有权
    let fifo = Arc::new(FIFO {});
    caller(fifo);
}

pub fn caller(t: Arc<dyn testTrait>) {
    // 将共享所有权的trait对象放进Mutex，再包一层Arc供线程克隆
    let mutex = Arc::new(Mutex::new(t));
    let clone = mutex.clone();
    
    thread::spawn(move || {
        if let Ok(guard) = clone.lock() {
            guard.test(5);
        }
    });
}

关键修改说明 #

1. 用Arc包裹Trait对象：Arc<dyn testTrait>让对象的所有权被多线程共享，编译器能确保对象的生命周期覆盖所有持有Arc的线程。
2. 移除不必要的unsafe实现：空结构体FIFO没有非Send/Sync的字段，Rust会自动为其实现这两个trait，无需手动unsafe声明。
3. 线程持有Arc克隆：线程通过clone获取Arc的副本，持有对象的共享所有权，避免引用悬空问题。

备选方案：传递Boxed Trait对象 #

如果需要保持所有权转移的方式，也可以用Box<dyn testTrait>传递，再转成Arc：

pub fn caller(t: Box<dyn testTrait>) {
    let arc_t = Arc::new(t);
    let mutex = Arc::new(Mutex::new(arc_t));
    let clone = mutex.clone();
    
    thread::spawn(move || {
        if let Ok(guard) = clone.lock() {
            guard.test(5);
        }
    });
}

// main中调用
let fifo = Box::new(FIFO {});
caller(fifo);

这种方式适合不需要多线程共享原对象的场景，但灵活性不如直接传递Arc。

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