为何Rust中闭包存为变量时报生命周期错误，内联则正常？

问题背景 #

使用lambda_http crate开发AWS Lambda时，两种看似相似的代码写法出现了编译结果差异：

无法编译的代码 #

let handler = service_fn(move |event: Request| async  {
    handler_organization_post(&shared_client, event).await
});
lambda_http::run(handler).await

编译报错信息 #

error: lifetime may not live long enough
   --> organization/organization_post/src/main.rs:125:52
    |
125 |       let handler = service_fn(move |event: Request| async  {
    |  ______________________________---------------------_^
    | |                              |                   |
    | |                              |                   return type of closure `[async block@organization/organization_post/src/main.rs:125:52: 127:6]` contains a lifetime `'2`
    | |                              lifetime `'1` represents this closure's body
126 | |         handler_organization_post(&shared_client, event).await
127 | |     });
    | |_____^ returning this value requires that `'1` must outlive `'2`
    |
    = note: closure implements `Fn`, so references to captured variables can't escape the closure

可正常编译的代码 #

lambda_http::run(service_fn(move |event: Request| async move {
    handler_organization_post(&shared_client, event).await
})).await

差异原因解析 #

这两种写法并非语义等价，核心差异在于async块的捕获方式和中间变量的类型推断约束：

1. async块的捕获行为差异

   • 第一种写法的async块没有move关键字：闭包是move类型，会将shared_client的所有权转移到闭包内部，但async块仅捕获闭包内shared_client的引用。这个引用的生命周期绑定到闭包的调用周期（标记为'1），而async块返回的Future会持有该引用，要求'1必须长于Future的生命周期（标记为'2）。但由于闭包需满足Fn trait（支持多次调用），每次调用的'1都可能不同，编译器无法保证'1总能覆盖'2，因此报错。
   • 第二种写法的async块使用move关键字：async块会将闭包内的shared_client所有权再次转移到自身内部，Future直接持有shared_client的所有权，不再依赖任何引用生命周期，彻底避免了生命周期冲突。

2. 中间变量的类型推断约束

   • 当把service_fn的结果赋值给中间变量handler时，编译器需要推断一个符合Service trait的通用类型，要求闭包必须实现Fn（可重复调用），这进一步严格了生命周期检查；
   • 直接将service_fn的结果传给lambda_http::run时，编译器可以根据run的上下文进行更精准的类型推导，无需满足通用Fn的严格约束，即使闭包的生命周期特性更特殊也能通过检查。

补充验证 #

如果给第一种写法的async块加上move关键字，代码同样可以正常编译：

let handler = service_fn(move |event: Request| async move {
    handler_organization_post(&shared_client, event).await
});
lambda_http::run(handler).await

此时async块持有shared_client的所有权，消除了生命周期依赖，编译器不再报错。

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