Box与&在生命周期上的行为差异及闭包返回问题解析

当从函数返回闭包时，由于闭包属于动态大小类型，需要结合 trait 对象与间接引用才能返回。比如以下代码可以正常运行：

fn returns_closure() -> Box<dyn Fn(i32) -> i32> {
    Box::new(|x| x + 1)
}

但如果将Box替换为普通引用&，代码会触发编译错误：

fn returns_closure() -> &dyn Fn(i32) -> i32 {
    &(|x| x + 1)
}

错误信息如下：

--> src/main.rs:70:25
   |
70 | fn returns_closure() -> &dyn Fn(i32) -> i32 {
   |                         ^ expected named lifetime parameter
   |
   = help: this function's return type contains a borrowed value, but there is no value for it to be borrowed from
help: consider using the `'static` lifetime
   |
70 | fn returns_closure() -> &'static dyn Fn(i32) -> i32 {
   |                          +++++++

问题解析 #

1. 生命周期错误的原因

Rust的引用严格遵循借用规则：引用的生命周期不能超过它指向的对象。在引用版本的代码中，闭包|x| x + 1是函数内部栈上的临时对象，函数执行完毕后，栈帧销毁，闭包会被立即回收。如果返回这个闭包的引用，就会产生悬垂引用——引用指向的对象已经不存在，这是Rust安全机制绝对禁止的情况。

编译器要求标注生命周期，是因为它需要明确返回引用的生命周期绑定对象，但这个函数没有接收任何外部对象作为闭包的来源（闭包完全是内部创建的），所以编译器找不到合法的生命周期绑定关系，因此报错提示需要命名生命周期，甚至建议使用'static——'static生命周期意味着引用指向的对象会存活到程序结束。

2. 关于你的理解验证

你的理解完全正确：

• 使用&引用闭包时，闭包创建在函数的栈内存中，函数结束后栈帧释放，闭包立即销毁，返回的引用自然失效。
• 使用Box::new时，闭包会被从栈内存转移到堆内存中，Box作为智能指针持有堆上闭包的所有权。函数返回Box后，所有权会转移给调用者，堆上的闭包会一直存在，直到Box被销毁。

补充说明 #

如果一定要返回引用类型的闭包，只有两种合法场景：

• 闭包拥有'static生命周期，比如返回&'static dyn Fn(i32)->i32，此时闭包需要是静态的（如&static |x|x+1），但这种场景非常有限。
• 闭包来自函数的输入参数，比如函数接收一个闭包引用作为参数，再返回这个引用，此时可以通过标注生命周期绑定参数和返回值的生命周期。

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