Rust中迭代器的内存模型：基于栈还是堆分配？

直接结论：通过vec.iter()生成的迭代器完全在栈上分配内存，和Vec的内存分配方式不一样。

具体说明： #

• vec.iter()返回的是Iter<'_, T>类型（切片迭代器），它的内部结构仅包含两个指针：一个指向Vec堆数据的起始位置，另一个指向数据末尾位置。这两个指针直接存储在栈上，不需要任何堆内存分配。
• 对比Vec的内存结构：Vec在栈上存储三个值（指向堆数据的指针、容量、当前长度），但实际元素数据分配在堆上；而该迭代器仅持有对Vec堆数据的引用，自身所有状态都存在栈中，不涉及堆内存管理。

代码示例 #

let vec = vec![1, 2, 3];
// Iter迭代器完全在栈上分配
let vec_iter = vec.iter();

此例中vec_iter的所有数据都保存在栈帧里，不会触发任何堆内存分配操作。

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