为何该简单闭包编译失败而另外两个函数可正常运行？

问题核心：高阶生命周期的推断差异 #

你的问题出在Rust对闭包生命周期的推断逻辑上，我们一步步拆解：

首先要明确，filter函数的约束P: Fn(&S) -> bool是高阶生命周期的语法糖，完整写法是P: for<'r> Fn(&'r S) -> bool——意思是这个闭包/函数必须能接受任意生命周期的&S引用。

现在看三种调用场景的区别：

1. 直接传递闭包：filter(|_s| true);
   当你把闭包直接作为参数传给filter时，编译器会立刻根据filter的约束推断闭包的签名：它需要适配任意生命周期的&S，因此编译器自动给闭包加上了高阶生命周期，完美匹配要求。

2. 传递具名函数：filter(cb1);
   Rust里的具名函数（比如cb1）默认就具备高阶生命周期特性——函数的参数引用可以适配任意生命周期，所以天然符合filter的约束条件。

3. 先赋值给变量再传递：let cb2 = |_s| true; filter(cb2);
   这里的关键矛盾是：当你把闭包赋值给变量cb2时，编译器此时没有上下文（比如函数约束）来指导它推断高阶生命周期。它会默认给这个闭包推断一个具体的、固定的生命周期，而不是支持任意生命周期的通用签名。当你把这个cb2传给filter时，filter要求的是能处理任意生命周期的闭包，而cb2的签名只匹配某一个具体生命周期，自然就出现了类型不匹配的错误。

解决办法 #

你可以通过显式标注类型来引导编译器，让cb2的签名符合高阶生命周期的要求，有两种常用方式：

方式1：标注闭包的参数类型

let cb2 = |_s: &S| true;
filter(cb2);

给闭包参数显式指定&S类型后，编译器会明白这个闭包需要接受任意生命周期的&S，从而推断出符合要求的高阶生命周期签名。

方式2：标注变量的完整函数类型

let cb2: fn(&S) -> bool = |_s| true;
filter(cb2);

直接给cb2指定fn(&S) -> bool类型（同样是高阶生命周期的语法糖），编译器会按照这个类型约束来生成闭包的签名。

对应错误信息的解释 #

编译错误里的expected signature of for<'r> fn(&'r S) -> _``，本质是在说：filter需要的是支持任意生命周期'r的闭包/函数，但你的cb2被推断成了只适配某个具体生命周期的签名，两者无法匹配。

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