为什么循环中向Vec追加元素时，持有其元素引用会触发Rust借用检查错误

为什么会触发E0502错误 #

• Vec的push操作属于可变借用，只要执行就会要求当前没有任何指向Vec内部元素的引用：因为Vec扩容时会重新分配堆内存，原有的所有元素引用都会变成悬垂指针，Rust的借用规则直接禁止这种场景，避免内存不安全。
• 循环场景下的冲突逻辑：第一次循环你往heldvals里push了元素，然后取了引用存到holders里，这个不可变借用的生命周期会和holders绑定，一直延伸到holders销毁为止。第二次循环你再调用push，就会触发「可变借用和已存在的不可变借用冲突」的错误。

Vec::reserve()是否可行？ #

不可行。
Rust的借用检查器不会分析Vec的预留容量逻辑，哪怕你提前reserve(10)保证后续push不会扩容，只要你在持有Vec元素引用的情况下执行可变操作（比如push），编译器依然会抛出借用错误，这是借用规则的硬性要求，和运行时行为无关。

你写的unsafe代码有未定义行为 #

你现在运行没问题、Valgrind没报错只是巧合：只要push触发扩容，你之前存在holders里的所有引用都会直接变成悬垂指针，只是小对象短生命周期场景下内存还没被覆写，暂时不会触发崩溃。换更高优化等级、更大的循环次数或者不同的标准库版本，随时可能出现异常，绝对不要在生产环境使用这种实现。

方案1：优先选择：先初始化所有Held，再生成Holder #

这是性能最高、无任何额外开销、不需要任何依赖的方案，只要你的业务逻辑允许提前知道所有要创建的Held的数量（你的场景里是固定10个，完全符合要求）：

struct Holder<'a> {
    val: &'a Held,
}

#[derive(Debug)]
struct Held(i32);

impl Drop for Held {
    fn drop(&mut self) {
        dbg!(self);
    }
}

pub fn main() {
    // 第一步：先创建所有Held实例，不需要后续修改heldvals
    let heldvals: Vec<Held> = (0..10).map(Held).collect();
    // 第二步：遍历所有Held生成Holder
    let holders: Vec<Holder> = heldvals.iter().map(|val| Holder { val }).collect();

    // 后续正常使用holders即可，heldvals和holders的生命周期自动匹配
}

方案2：固定数量场景用数组存储Held #

如果数量完全固定，直接用栈上数组存储Held，数组不会有扩容逻辑，也不需要后续修改，完全避免借用冲突：

pub fn main() {
    // 直接生成固定大小的Held数组
    let heldvals: [Held; 10] = core::array::from_fn(|i| Held(i as i32));
    let holders: Vec<Holder> = heldvals.iter().map(|val| Holder { val }).collect();
}

方案3：需要动态边加边存的场景用Box::leak #

如果你确实需要运行时动态添加Held，无法提前收集所有实例，且你要求引用的生命周期持续到程序退出，可以用Box::leak把Held的生命周期提升为'static，完全符合安全规则：

pub fn main() {
    let mut holders = vec![];
    for i in 0..10 {
        let held = Box::new(Held(i));
        // 泄漏后获得'static生命周期引用，程序运行期间一直有效
        let held_ref = Box::leak(held);
        holders.push(Holder { val: held_ref });
    }
}

这个方案的唯一缺点是Held的内存会直到程序退出才被操作系统回收，但既然你的需求是让引用持有到程序结束，这个开销完全可以忽略。

方案4：动态场景下不想泄漏内存用Arena分配器 #

如果需要动态添加，又不想泄漏内存，可以用第三方库typed-arena的Arena：Arena分配的所有对象的生命周期和Arena本身绑定，分配新对象不会使旧对象的引用失效，完全满足边创建Held边创建Holder的需求，也不需要unsafe：

use typed_arena::Arena;

pub fn main() {
    let held_arena = Arena::new();
    let mut holders = vec![];

    for i in 0..10 {
        let held_ref = held_arena.alloc(Held(i));
        holders.push(Holder { val: held_ref });
    }

    // Arena销毁时会自动释放所有Held的内存，不需要手动管理
}

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