async trait内借用值的生命周期报错原因解惑求助

代码背景 #

你编写的async方法（位于async-trait宏中）如下：

async fn insert<'a>(&mut self, params: &'a[&'a dyn QueryParameters<'a>]) {
    let mut mapped_fields: String = String::new();
    let values: &'a[&'a QueryParameters<'a>] = &[#(#insert_values),*];
    // #insert_transaction
}

编译器报错核心信息：

temporary value is freed at the end of this statement
creates a temporary which is freed while still in use
lifetime 'a defined here
type annotation requires that borrow lasts for 'a

移除values的'a生命周期注解后代码正常运行，此时编译器自动推导的生命周期与&mut self的'life0一致。

报错原因解析 #

问题出在&[#(#insert_values),*]这部分：

• 这个表达式会在栈上创建一个临时数组，然后立即取它的引用赋值给values。
• 当你手动指定values的类型为&'a[&'a QueryParameters<'a>]时，相当于向编译器承诺：这个引用要存活整个'a生命周期（也就是和params参数的生命周期一致）。
• 但栈上的临时数组是语句级临时值——它在当前语句执行完毕后就会被销毁，根本撑不到'a生命周期结束。借用检查器捕捉到这个矛盾，所以抛出错误。

为什么去掉注解就正常？ #

当你不手动指定生命周期时，编译器会自动推导最合适的生命周期：

• 由于代码在async-trait宏中，编译器会将values的引用生命周期绑定到&mut self的'life0（即方法调用的短暂生命周期）。
• 临时数组的存活时间完全覆盖这个短暂生命周期，不会出现“引用悬空”的问题，因此借用检查器放行。

关键结论 #

• 手动指定生命周期时，必须确保引用的存活时间能覆盖你指定的周期，否则会触发借用检查错误。
• 对于栈上临时值的引用，不要盲目绑定到外部传入的长生命周期（比如'a），除非你能保证临时值的存活时间足够长（显然这里做不到）。
• 优先让编译器自动推导生命周期，除非你有明确的理由需要手动指定。

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