Rust闭包返回类型生命周期规范配置求助

问题代码 #

定义部分 #

pub struct NamedArgument<T>(pub(in crate) &'static str, pub(in crate) T);

pub struct LoggedArgument<T>(pub(in crate) &'static str, pub(in crate) T);

impl<T> NamedArgument<T> {
    pub fn log_with<T2, F>(self, log_level: log::Level, transform: F) -> LoggedArgument<T>
    where
        T2: Display,
        F: FnOnce(&T) -> T2,
    {
        log::log!(log_level, "{} = {}", self.0, transform(&self.1));

        LoggedArgument(self.0, self.1)
    }
}

调用代码 #

fn foo(argument: NamedArgument<impl AsRef<str>>) {
    argument.log_with(log::Level::Info, |s| s.as_ref());
}

错误信息 #

error: lifetime may not live long enough
  --> src/lib.rs:20:45
   |
20 |     argument.log_with(log::Level::Info, |s| s.as_ref());
   |                                          -- ^^^^^^^^^^ returning this value requires that `'1` must outlive `'2`
   |                                          ||
   |                                          |return type of closure is &'2 str
   |                                          has type `&'1 impl AsRef<str>`

问题分析 #

原代码中，log_with方法的闭包约束F: FnOnce(&T) -> T2没有关联输入引用和返回值T2的生命周期。当T2是引用类型（如示例中的&str）时，编译器无法确认返回引用的生命周期不会超过输入引用的生命周期，因此抛出生命周期不匹配错误。

解决方案 #

需要通过**高阶生命周期约束（HRTB）**显式关联闭包输入引用和返回值的生命周期，修改log_with方法的约束即可：

修改后的代码 #

use std::fmt::Display;

pub struct NamedArgument<T>(pub(in crate) &'static str, pub(in crate) T);

pub struct LoggedArgument<T>(pub(in crate) &'static str, pub(in crate) T);

impl<T> NamedArgument<T> {
    pub fn log_with<F>(self, log_level: log::Level, transform: F) -> LoggedArgument<T>
    where
        // 约束闭包：对任意生命周期'a，输入&'a T时返回的类型必须实现Display且生命周期不超过'a
        F: for<'a> FnOnce(&'a T) -> impl Display + 'a,
    {
        log::log!(log_level, "{} = {}", self.0, transform(&self.1));
        LoggedArgument(self.0, self.1)
    }
}

// 调用代码可以正常运行
fn foo(argument: NamedArgument<impl AsRef<str>>) {
    argument.log_with(log::Level::Info, |s| s.as_ref());
}

原理说明 #

• 使用for<'a>高阶生命周期约束，确保闭包对于**任意生命周期'a**都能接受&'a T类型的参数，并返回一个生命周期不超过'a的Display实现类型。
• 这样编译器可以明确：闭包返回的引用（如&str）的生命周期完全依赖于输入的&T引用，而日志打印操作在log_with方法内部完成，引用不会逃逸出方法作用域，生命周期安全得到保证。

另一种显式生命周期的写法 #

如果你更倾向于显式声明生命周期参数，也可以这样修改：

use std::fmt::Display;

pub struct NamedArgument<T>(pub(in crate) &'static str, pub(in crate) T);

pub struct LoggedArgument<T>(pub(in crate) &'static str, pub(in crate) T);

impl<T> NamedArgument<T> {
    pub fn log_with<'a, T2, F>(self, log_level: log::Level, transform: F) -> LoggedArgument<T>
    where
        T2: Display + 'a,
        F: FnOnce(&'a T) -> T2,
    {
        log::log!(log_level, "{} = {}", self.0, transform(&self.1));
        LoggedArgument(self.0, self.1)
    }
}

这种写法通过显式声明'a生命周期，将输入引用&'a T和返回值T2的生命周期绑定，效果与高阶生命周期约束一致。

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