Rust提取方法后生命周期异常求助：闭包编译差异与解决思路

最小复现代码 #

pub struct Obj {
    value: usize,
}

pub struct Container<'a> {
    content: &'a Obj,
}

pub struct Props<'a> {
    att: Container<'a>,
}

impl<'a> Props<'a> {
    pub fn value(&self) -> usize {
        self.att.content.value
    }
}

两种代码表现 #

可正常编译的版本 #

pub fn test<'a>(properties: Props<'a>) -> impl (Fn() -> usize) + 'a {
    || properties.att.content.value
}

编译报错的版本 #

pub fn test<'a>(properties: Props<'a>) -> impl (Fn() -> usize) + 'a {
    || properties.value()
}

报错信息：

closure may outlive the current function, but it borrows 'properties', which is owned by the current function

问题 #

我理解上述错误，但疑惑为什么第一段直接访问字段的代码能编译——它难道没有借用properties吗？能不能通过给value()方法添加生命周期注解解决这个问题？

解答 #

为什么直接访问字段能编译 #

Rust编译器对直接访问嵌套字段的场景做了字段投影优化。当闭包直接访问properties.att.content.value时，编译器能识别到我们实际依赖的是content持有的&'a Obj引用，而非整个properties结构体。闭包最终捕获的是这个&'a Obj，其生命周期与传入的Props<'a>的'a周期一致，因此可以满足返回闭包的'a生命周期约束，顺利通过编译。

为什么调用方法会报错 #

value()方法的默认签名是&self -> usize，这意味着调用它时会创建一个对properties的临时借用（&Props<'a>），这个借用的生命周期是函数test的局部周期，而非'a。编译器无法保证这个局部借用的生命周期能覆盖返回闭包的'a周期，因此抛出生命周期不匹配的错误。

通过生命周期注解解决问题 #

可以通过修改value()方法的签名，明确self的生命周期与Props的'a周期绑定，让编译器确认借用的安全性：

impl<'a> Props<'a> {
    pub fn value(&'a self) -> usize {
        self.att.content.value
    }
}

或者更直观的写法：

impl<'a> Props<'a> {
    pub fn value(self: &'a Self) -> usize {
        self.att.content.value
    }
}

这样修改后，value()方法的self借用生命周期被限定为'a，闭包捕获的&'a Props<'a>可以安全地与返回闭包的'a周期匹配，代码就能正常编译了。

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