4

我正在使用 rust 0.8。

为什么我可以这样做：

fn add(num: ~int) -> ~fn(int) -> int { |x|
    *num + x
}

但不是这个：

fn outer(num: ~int) -> ~fn(int) -> int { |x|
    *inner(num) + x
}

fn inner(num: ~int) -> ~int {
    num
}

第二个失败，“错误：无法移出堆闭包中捕获的外部变量”。是什么让调用函数特别？

是否担心内部函数可能会对静态分析无法捕获的盒装函数做一些肮脏的事情？

4

1 回答 1

3

问题是调用闭包两次的可能性。在第一次运行时，捕获的变量num被移入inner，即移出闭包的环境。然后，在第二次调用时，num原来的位置现在无效（因为它已被移出），这破坏了内存安全。

更详细地说，可以将闭包视为（大约）

struct Closure { // stores all the captured variables
    num: ~int
}

impl Closure {
    fn call(&self, x: int) -> int { 
        // valid:
        *self.num + x

        // invalid:
        // *inner(self.num) + x
    }
}

希望这更清楚：在无效的情况下，一个人试图self.num从借来的指针后面移出到inner调用中（之后它与该num字段完全断开连接）。如果这是可能的，那么self将处于无效状态，因为例如self.num可能已经调用了析构函数来释放内存（违反内存安全）。

一种解决方法是“once 函数”，它被实现但隐藏在编译器标志后面，因为它们可能会被删除以支持（在最基本的情况下）将callabove 的类型调整为fn call(self, x: int)，即调用闭包移动self这意味着您可以移出环境（call此后拥有self及其字段），也意味着静态保证该函数仅被调用一次*。

*如果闭包的环境不移动所有权，则不严格正确，例如，如果它是struct Env { x: int }.

于 2013-10-25T08:21:28.780 回答