为何返回Fn trait的函数无法应用生命周期省略规则？

首先得明确Rust的生命周期省略规则核心逻辑：它只针对函数返回直接引用的场景，帮你自动推断生命周期绑定关系。

1. 返回&str的情况符合省略规则 #

像first_word这种函数：

fn first_word(s: &str) -> &str {
    // ...
}

它完全符合第一条省略规则：如果函数只有一个输入引用参数，所有输出引用的生命周期都默认和这个输入参数绑定。编译器会自动把它补全成带'a标注的版本，所以你不用手动写。

2. 返回闭包的情况不在省略规则覆盖范围内 #

而make_a_cloner返回的impl Fn() -> String本质是一个持有引用的闭包类型：

fn make_a_cloner(s: &str) -> impl Fn() -> String {
    move || s.to_string()
}

这个闭包捕获了输入的&str，所以它的类型本身隐含了一个生命周期约束——闭包的存活时间不能超过输入字符串的存活时间。但此时你返回的不是直接的引用，而是一个包含引用的复合类型，这种场景不在生命周期省略规则的覆盖里。

编译器没办法自动推断这个闭包的生命周期该和谁绑定，所以必须显式标注。这里的'_是生命周期占位符，它告诉编译器：“这个返回的闭包的生命周期和输入参数s的生命周期保持一致”，补全后其实等价于：

fn make_a_cloner<'a>(s: &'a str) -> impl Fn() -> String + 'a {
    move || s.to_string()
}

核心差异总结 #

• 返回直接引用：属于省略规则覆盖的场景，编译器能自动帮你绑定输入输出的生命周期。
• 返回持有引用的类型（比如闭包）：不属于省略规则的适用范围，必须显式标注生命周期约束（用'_让编译器自动绑定到输入参数的生命周期）。

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