Rust中‘借用数据逃逸出闭包’错误：含义与禁止原因解析

问题描述 #

这段代码编译报错，核心疑问是：该错误在当前上下文中是什么含义？为何不允许此类操作？

提问者初步推测：闭包拥有变量a的所有权，a.make_borrower()会创建一个临时结构体并可变借用a，且该结构体在闭包结束前就会被销毁，问题大概率出在生命周期上，但无法准确定位。

代码如下：

use core::marker::PhantomData;

struct A<B> {
    borrower_type: PhantomData<B>,
    something: Vec<i32>,
}

impl<'a, B: ABorrower<'a>> A<B> {
    pub fn make_borrower(&'a mut self) -> B {
        B::new(self)
    } 
}

trait ABorrower<'a>: Sized {
    fn new(a: &'a mut A<Self>) -> Self;
    fn borrow(&mut self) -> &mut A<Self>;
}

struct SomeABorrower<'a> {
    a_ref: &'a mut A<Self>,
}
impl<'a> ABorrower<'a> for SomeABorrower<'a> {
    fn new(a: &'a mut A<Self>) -> Self { Self { a_ref: a } }
    fn borrow(&mut self) -> &mut A<Self> { self.a_ref }
}

fn main() {
    let mut a = A::<SomeABorrower> {
        borrower_type: PhantomData,
        something: vec![1, 2, 3, 4, 5],
    };
    
    let mut closure = move || {
        a.something[1] += 2;
        {
            let a_borrower = a.make_borrower();
            a_borrower.a_ref.something[1] += 5;
        }
        a.something[1] -= 2;
    };
    
    for _ in 0..100 {
        closure();
    }
}

错误含义与原因分析 #

1. 核心错误本质 #

编译报错的核心是可变借用的生命周期冲突：

• make_borrower方法的签名要求接收一个生命周期为'a的&'a mut self，并返回持有该引用的B（此处为SomeABorrower<'a>）。
• 当在闭包中调用a.make_borrower()时，Rust会推断'a的生命周期等于闭包本身的生命周期——因为闭包通过move获取了a的所有权，a的生命周期和闭包完全绑定。
• 这意味着a_borrower持有的&mut A引用会和闭包活得一样久，但闭包内部后续还直接操作了a.something——相当于在a被长期可变借用的同时，又发起了另一次可变访问，直接违反Rust的可变引用独占规则（同一时间只能存在一个可变引用）。

2. 为何不允许这种操作 #

Rust的借用规则是为了从根源避免数据竞争和悬垂引用：

• 如果允许此类操作，a_borrower持有的可变引用与闭包对a的直接访问会同时存在，可能导致同一内存区域被两个可变指针修改，引发未定义行为。
• 你认为a_borrower在代码块结束后就会被销毁，但make_borrower的签名强制要求返回的B必须持有生命周期为'a的引用，而'a被推断为闭包的生命周期，所以Rust会判定这个借用从闭包执行开始就存在，直到闭包结束，而非代码块结束。

3. 问题根源 #

make_borrower的生命周期签名设计存在偏差：它把返回的B的生命周期和self的生命周期强绑定为'a，但实际上你需要的是B的生命周期仅局限于代码块内部。可以通过调整生命周期约束修复，比如让ABorrower的生命周期与方法调用的临时生命周期绑定，而非和self的长生命周期绑定。

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