我知道 Rust 默认情况下在堆栈上分配,但是论文 Ownership is Theft 说 Rust 闭包通常是动态分配的(我认为这意味着“在堆上”)。
它们默认位于堆栈中。这可以通过显示在没有分配器的环境中允许闭包来证明,例如在 libcore 中。来自
core::Option::map
:
pub fn map<U, F: FnOnce(T) -> U>(self, f: F) -> Option<U>
正如 trentcl 所说:
如果您对历史感兴趣,1.0.0-alpha 的发行说明说:
闭包已经被完全重新设计以特征的形式实现,现在可以用作泛型类型边界,从而单态化和内联,或者像旧系统中那样通过不透明指针(装箱)。新系统通常被称为“拆箱”封闭件。
另请参阅: