Rust中bar需T:'static约束而baz无需？求解底层原因

先看你给出的代码：

fn f<T>(_input: T) -> bool {
    false
}

fn bar<T>() -> Box<dyn Fn(T) -> bool + 'static>
where
    T: 'static,
{
    Box::new(f::<T>)
}

fn baz<T>() -> Box<dyn Fn(T) -> bool + 'static> {
    Box::new(|x| f::<T>(x))
}

fn main() {
    let f1 = bar::<&usize>();
    let f2 = baz::<&usize>();
    println!("Hello, world! {} {}", f1(&1), f2(&2));
}

核心区别：函数项 vs 无捕获闭包的生命周期特性 #

1. 函数项f::<T>的生命周期约束 #

函数项（比如f::<T>）的类型是fn(T) -> bool，它的生命周期完全由泛型参数T的生命周期决定：

• 如果T包含非'static的生命周期（比如&'a usize，其中'a是局部生命周期），那么f::<&'a usize>这个具体的函数项会绑定到'a的生命周期，它本身就不是'static的。
• 当你要把它装箱成Box<dyn Fn(T) -> bool + 'static>时，trait object要求内部类型必须是'static的，所以必须添加T: 'static约束，确保f::<T>满足'static要求。

2. 无捕获闭包|x| f::<T>(x)的生命周期特性 #

这个闭包没有捕获任何外部环境变量，Rust对这类闭包的处理有特殊规则：

• 无捕获闭包的类型默认是'static的，不管T的生命周期是什么。因为闭包本身不持有任何依赖于局部生命周期的数据，它只是在调用时接收一个T类型的参数，然后转发给f。
• 即使T是带有局部生命周期的引用，闭包自身的生命周期也不受影响，依然满足'static要求，因此不需要给T添加'static约束。

非'static类型T导致bar出错的例子 #

比如尝试用局部生命周期的引用作为T：

fn test() {
    let num = 42;
    // T是&'_ usize，生命周期绑定到test函数的局部作用域
    let f1 = bar::<&usize>(); // 编译错误：`num`的生命周期不够长，无法满足T: 'static
}

而换成baz则可以正常编译，因为闭包的'static特性不依赖T的生命周期。

为什么f::<T>: 'static等价于T: 'static #

函数项的类型本质上携带了其泛型参数的所有生命周期信息。只有当T的所有生命周期参数都是'static（即T: 'static）时，函数项才不会绑定到任何局部生命周期，从而成为'static的。如果T包含哪怕一个非'static的生命周期，函数项就会被限制在那个生命周期范围内，无法满足'static的要求。

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