Rust：为函数体自有变量使用借用式Fn参数遇生命周期问题

问题核心原因 #

你手动指定的'inner生命周期被编译器解读为必须覆盖整个函数调用的上下文，但函数内的data是从Rc克隆出的临时Vec，它的生命周期仅局限于assert_all函数内部。当转换函数f返回的类型A（比如&String）被要求绑定到'inner生命周期时，就会出现"引用超过临时值生命周期"的错误——因为A的引用试图指向一个函数结束后就会被销毁的临时变量。

修复方案 #

不需要手动指定固定生命周期，改用**高阶生命周期（HRTBs）**让编译器自动推导正确的生命周期约束。具体修改如下：

修正后的完整代码 #

use std::{
    rc::Rc,
    fmt::Debug,
};

#[derive(Clone,Debug)]
struct Data {
    id: u32, 
    name: String,
}

impl Data {
    fn new(id: u32, name: &'static str) -> Self {
        Self {
            id,
            name: name.to_owned(),
        }
    }
    
    fn id(&self) -> u32 {
        self.id
    }
    fn name(&self) -> &String {
        &self.name
    }
}

// 移除手动指定的'inner生命周期，让编译器自动推导约束
fn assert_all<A, E, FN>(
    producer: Rc<Vec<Data>>,
    f: FN,
    expecteds: Vec<E>,
)
where
    A: Debug + std::cmp::PartialEq<E>,
    E: Debug,
    // 编译器会自动推断出FN需要支持任意生命周期的&Data引用
    FN: FnMut(&Data) -> A,
{
    let data = producer.as_ref().clone();
    let actuals: Vec<_> = data.iter().map(f).collect();
    assert_eq!(actuals, expecteds);
}

fn main() {
    let data = Rc::new(vec![
        Data::new(0, "first"),
        Data::new(1, "second"),
    ]);
    // 调整调用：将&String转为&str，匹配expecteds的类型
    assert_all(data, |d| d.name() as &str, vec!["first", "second"]);
}

关键解释 #

1. 移除固定生命周期约束：手动指定'inner会强制绑定f的输入引用与返回值的生命周期，导致和临时data的生命周期冲突。移除后，编译器会自动为f推断出for<'a> FnMut(&'a Data) -> A的高阶约束，允许f处理任意生命周期的&Data引用，完全适配函数内临时data的生命周期。
2. 类型匹配调整：Data::name返回&String，而expecteds是Vec<&str>，通过闭包将&String转为&str（或调整expecteds为Vec<&String>），解决类型不匹配问题。

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