为何将函数写成闭包时会出现Rust生命周期错误？

问题场景 #

普通函数和闭包的生命周期推断逻辑存在明显差异，以下是最简复现示例：

// 普通函数：编译正常
fn foo(f: &String) -> &str {
    f
}

// 闭包：编译报错
fn bar() {
    |f: &String| -> &str { f };
}

使用Rust 1.69.0（2021 edition）编译时，foo可以正常通过，而bar中的闭包会触发如下错误：

error: lifetime may not live long enough
 --> clos.rs:8:33
  |
8 |     move |f: &String| -> &str { f };
  |              -           -      ^ returning this value requires that `'1` must outlive `'2`
  |              |           |
  |              |           let's call the lifetime of this reference `'2`
  |              let's call the lifetime of this reference `'1`

我们知道普通函数会被编译器自动补全生命周期参数，解糖后为：

fn foo<'a>(f: &'a String) -> &'a str { ... }

但闭包却不会自动做同样的处理，核心疑问点：

1. 为什么闭包的生命周期推断规则和普通函数不同？
2. 如何手动为闭包指定生命周期参数，尤其是'a应该声明在哪里？

原因分析 #

普通函数的生命周期推断依赖生命周期省略规则：当函数只有一个引用型输入参数，且返回值也是引用时，编译器会默认将输入、输出的生命周期绑定为同一个（即'a）。

但闭包的设计更复杂：它不仅能接收参数，还可能捕获外部环境的变量。编译器无法安全地默认假设输入参数的生命周期和返回值的生命周期绑定——因为闭包可能返回捕获环境中的引用，而非输入参数的引用。为了避免潜在的悬垂引用风险，编译器对闭包的生命周期推断采用了更保守的策略，不会自动进行这种绑定。

解决方案 #

要手动为闭包指定生命周期，需要通过类型注解约束闭包的 trait 类型，明确绑定生命周期参数，常见方式有两种：

方式1：在变量绑定中指定闭包类型 #

如果把闭包赋值给变量，可以直接在变量类型中声明高阶生命周期（HRTB）：

fn bar() {
    let _closure: for<'a> fn(&'a String) -> &'a str = |f: &String| -> &str { f };
}

这里的for<'a>表示该闭包对所有可能的生命周期'a，都满足fn(&'a String) -> &'a str的约束，强制输入与输出的生命周期绑定。

方式2：通过 trait 约束传递生命周期 #

如果闭包作为参数传递给其他函数，可以在函数的where子句中声明生命周期约束：

fn take_closure<'a, F>(f: F)
where
    F: Fn(&'a String) -> &'a str,
{
    // 使用闭包逻辑
}

fn bar() {
    take_closure(|f: &String| -> &str { f });
}

这种方式直接在 trait 约束里明确了闭包的输入、输出生命周期绑定为'a，编译器就能正确完成推断。

另外，若闭包不需要捕获外部变量，也可以直接使用函数指针类型，此时生命周期推断规则会和普通函数一致。

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