为何Rust的fn类型函数指针被借用检查器视为有状态？

无法编译的代码示例 #

fn invoke(i: i32, mut f: impl FnMut(i32)) {
    f(i)
}

fn main() {
    let f: fn(i32, _) = invoke;

    let mut sum: i32 = 0;
    for i in 0..10 {
        _ = f(i, |x| sum += x);
    }

    println!("{:?}", sum);
}

编译器错误信息 #

Compiling playground v0.0.1 (/playground)
error[E0499]: cannot borrow `sum` as mutable more than once at a time
  --> src/main.rs:10:18
   |
10 |         _ = f(i, |x| sum += x);
   |             -    ^^^ --- borrows occur due to use of `sum` in closure
   |             |    |
   |             |    `sum` was mutably borrowed here in the previous iteration of the loop
   |             first borrow used here, in later iteration of loop

For more information about this error, try `rustc --explain E0499`.
error: could not compile `playground` due to previous error

修正后可编译的代码 #

fn invoke(i: i32, mut f: impl FnMut(i32)) {
    f(i)
}

fn main() {
    let mut sum: i32 = 0;
    for i in 0..10 {
        let f: fn(i32, _) = invoke;
        _ = f(i, |x| sum += x);
    }

    println!("{:?}", sum);
}

问题原因解析 #

核心矛盾在于函数指针的类型单态化与生命周期绑定规则：

• 当在循环外部声明f时，编译器必须确定函数指针的完整类型，这里的通配符_会被推断为某一具体闭包类型，而该闭包持有sum的可变引用。由于函数指针f的生命周期覆盖整个循环周期，闭包对sum的可变借用也会被绑定到这个全局生命周期范围，导致每次迭代的借用无法在迭代结束后及时释放，下一次迭代的闭包再次借用sum时就触发了多次可变借用冲突。
• 把f的声明移到循环内部后，每次迭代都会重新推断函数指针的类型，对应的闭包生命周期被限制在当前迭代的范围内。迭代结束后闭包被销毁，sum的可变借用也随之释放，下一次迭代可以重新安全借用，因此不会触发错误。

本质上，函数指针是单态化的类型，一旦在外部确定类型，其关联的闭包生命周期就会被固定；而循环内部每次声明都会生成独立的类型实例，生命周期被限定在单次迭代，从根源上避免了借用冲突。

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