Rust中通过结构体引用按值传递基本类型的问题

下面是两种从结构体引用传递数据到异步任务的实现，new_1编译失败，new_2可正常编译：

#[derive(Debug, Deserialize)]
pub struct PrometheusConfig
{
    pub bind: String,
    pub port: u16,
}

#[derive(Debug, Deserialize)]
pub struct AppConfig
{
    pub prometheus: PrometheusConfig,
}

struct PrometheusEndpoint<'config>
{
    config: &'config PrometheusConfig,
    metrics_task: tokio::task::JoinHandle<()>,
}

impl<'config> PrometheusEndpoint<'config>
{
    // EXAMPLE #1 - 编译失败
    fn new_1(config: &'config PrometheusConfig, runtime: std::rc::Rc<tokio::runtime::Runtime>) -> Result<PrometheusEndpoint, i32>
    {
        // ...

        // 启动web服务器
        let metrics_task = runtime.spawn(async move {
            warp::serve(metrics_route)
            .run((std::net::Ipv4Addr::from_str(config.bind.as_str()).unwrap().octets(), config.port))
            .await
        });

        // ...
    }

    // EXAMPLE #2 - 编译成功
    fn new_2(config: &'config PrometheusConfig, runtime: std::rc::Rc<tokio::runtime::Runtime>) -> Result<PrometheusEndpoint, i32>
    {
        // ...

        // 启动web服务器
        let metrics_task = runtime.spawn(async move {
            let bind_octets = std::net::Ipv4Addr::from_str(config.bind.as_str()).unwrap().octets();
            let port_copy = config.port;
            warp::serve(metrics_route)
            .run((bind_octets, port_copy))
            .await
        });

        // ...
    }
}

fn main()
{
    // 为应用创建异步runtime
    let rt  = std::rc::Rc::new(Runtime::new().unwrap());

    // 解析配置文件
    let config = AppConfig::new(CONFIG_FILE_NAME).unwrap();

    // 创建Prometheus端点以允许远程服务器抓取指标
    let prom = PrometheusEndpoint::new(&config.prometheus, rt.clone()).unwrap();

    // ...
}

编译new_1时触发如下错误：

119 |           let metrics_task = runtime.spawn(async move {
    |  ____________________________^
120 | |             warp::serve(metrics_route)
121 | |             .run((std::net::Ipv4Addr::from_str(config.bind.as_str()).unwrap().octets(), config.port))
122 | |             .await
123 | |         });
    | |          ^
    | |          |
    | |__________`config`在此处逃逸出关联函数体
    |            参数要求`'config`必须存活得比`'static`久

问题解答 #

1. 为什么async move没有直接把u16值移入任务？ #

核心原因是异步闭包的捕获规则。在new_1的代码里，config.port是在async块内部的表达式中直接访问的，Rust编译器无法提前判定你只是要取port的值，还是会在异步执行过程中再次访问config的其他字段，因此会默认捕获整个config引用。而tokio::spawn要求传入的异步任务必须是'static生命周期（任务可能在任意时机执行，不能依赖外部栈上的临时引用），所以会报错说config的生命周期不满足要求。

2. 中间变量为什么能解决问题？ #

当你把config.port赋值给中间变量port_copy时，这个赋值操作是在异步闭包初始化阶段（也就是调用spawn的那一刻）完成的——此时已经把config.port的值复制到了闭包内部的变量里。编译器能明确识别到：我们只需要config的port值，不需要持有整个config的引用。异步闭包捕获的是port_copy这个独立的值，而非原config的引用，自然就不会触发生命周期逃逸的错误。

3. 从结构体引用按值传递基本类型的标准方法？ #

最直接的方式就是像new_2那样，提前把需要的值从结构体引用中提取出来，复制/移动到局部变量，再将这个变量传入目标上下文：

• 对于Copy类型（如u16、i32），直接赋值就是复制操作；
• 对于非Copy类型（如String），可以用clone()获取所有权，或者用std::mem::take转移原结构体中字段的所有权（如果原结构体不再需要该字段）。

4. 有没有办法显式指定任务的生命周期？ #

tokio::spawn本身不支持非'static的任务——因为它的调度模型允许任务在任意线程执行，存活时间不受调用栈限制。如果一定要绑定生命周期，可以使用tokio::task::spawn_local，但它只能在LocalSet中运行，且任务必须在当前线程执行。不过更推荐的做法还是提前提取需要的值，避免让任务持有外部引用，这样代码更简洁，也更符合异步任务的设计原则。

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