默认情况下,Rust 闭包是堆栈分配还是堆分配?

问题描述

我知道 Rust 认在堆栈上分配,但论文 Ownership is Theft 说 Rust 闭包通常是动态分配的(我认为这意味着“在堆上”)。

解决方法

它们默认位于堆栈上。这可以通过证明在没有分配器的环境中允许闭包来证明,例如在 libcore 中。来自core::Option::map

pub fn map<U,F: FnOnce(T) -> U>(self,f: F) -> Option<U>

作为trentcl notes

如果您对历史感兴趣,release notes for 1.0.0-alpha 说:

闭包已经 completely redesigned 以特性的形式实现,现在可以用作泛型类型边界,因此可以单态化和内联,或者像旧系统一样通过不透明的指针(装箱)。新系统通常被称为“未装箱”的闭包。

另见: