无法创建本地函数，因为“无法在 fn 项中捕获动态环境”

Question

有没有办法像这样的 Python 代码创建一个本地函数？

def h():
    final = []
    def a():
        for i in range(5):
            final.append(i)
        a()
        return final

我试过了，但失败了：

fn h() -> Vec<i32> {
    let mut ff = vec![];
    fn a() {
        for i in 0..5 {
            ff.push(i)
        }
    };
    a();
    ff
}

 error[E0434]: can't capture dynamic environment in a fn item; use the || { ... } closure form instead
 --> src/main.rs:5:13
  |
5 |             ff.push(i)
  |             ^^

Answer 1

Rust 中的函数不会从周围环境中捕获变量。 Rust 中的“本地”函数实际上只是一个全局函数，它不是全局可见的。它不能做比任何其他全局函数更多的事情。

相反，Rust 具有与函数不同的闭包，因为它们确实从其环境中捕获变量。看起来像这样：

fn h() -> Vec<i32> {
    let mut ff = vec![];
    let mut a = || {
        for i in 0..5{
            ff.push(i)
        }
    };
    a();
    ff
}

这有三点需要注意。首先，append 不是你想要的，你想要的是push。您应该检查documentation for Vec 以查看可用的方法和方法。其次，你必须使a 可变，因为它正在改变它捕获的东西（另见answer about Fn, FnMut, and FnOnce）。第三，它不会编译：

error[E0505]: cannot move out of `ff` because it is borrowed
 --> <anon>:9:9
  |
3 |         let mut a = || {
  |                     -- borrow of `ff` occurs here
...
9 |         ff
  |         ^^ move out of `ff` occurs here

问题在于，通过创建闭包，您必须向ff 提供一个可变借用。但是，这种借用可以防止其他任何人移动或以其他方式弄乱ff。您需要缩短此借用存在的时间长度：

fn h() -> Vec<i32> {
    let mut ff = vec![];
    {
        let mut a = || {
            for i in 0..5{
                ff.push(i)
            }
        };
        a();
    }
    ff
}

这可行，但有点笨重。这也是不必要的；只需将借用 ff 显式传递给本地函数，就可以更干净地重写上述内容：

fn h() -> Vec<i32> {
    let mut ff = vec![];
    fn a(ff: &mut Vec<i32>) {
        for i in 0..5{
            ff.push(i)
        }
    }
    a(&mut ff);
    ff
}

最后一个是最好的（如果您能够使用它），因为它可以在何时以及为何借用 ff 时保持干净。