如何强制将std::Vec的容量精确收缩至与长度相等？

要强制让std::Vec的容量和长度完全相等，最可靠且简洁的方式是创建新Vec并将原Vec的元素移动进去——新Vec会基于元素数量精确分配内存，确保capacity() == len()。

具体实现代码 #

let mut my_vec: Vec<List> = /* 你的原Vec初始化逻辑 */;
// 通过collect创建容量严格匹配长度的新Vec
let exact_vec: Vec<List> = my_vec.into_iter().collect();
// 此时exact_vec.capacity() 必然等于 exact_vec.len()

原理说明 #

collect()处理Vec类型时，会先通过迭代器的ExactSizeIterator特性获取元素总数（Vec的迭代器天然实现了该特性），然后调用Vec::with_capacity(len)分配刚好容纳所有元素的内存，再将元素移动进去。这种场景下，分配器没有额外扩容的理由，因此容量会严格等于长度。

手动内存分配的替代方案（不推荐） #

如果不想创建新Vec，也可以直接通过分配器手动管理内存，但需要自行处理内存安全，风险较高：

use std::alloc::{alloc, dealloc, Layout};
use std::ptr;

let mut my_vec: Vec<List> = /* 原Vec */;
let len = my_vec.len();
let layout = Layout::array::<List>(len).unwrap();

// 分配精确大小的内存块
let ptr = unsafe { alloc(layout) as *mut List };
if ptr.is_null() {
    std::alloc::handle_alloc_error(layout);
}

// 将原Vec元素移动到新内存
unsafe {
    ptr::copy_nonoverlapping(my_vec.as_ptr(), ptr, len);
    std::mem::forget(my_vec); // 避免原Vec释放内存
}

// 此时ptr指向的内存容量与len完全一致

FFI释放函数的正确实现 #

无论采用哪种方式，最终在free_list函数中，只需用C传入的size（即Vec的长度，此时等于容量）创建布局即可安全释放：

#[no_mangle]
pub extern "C" fn free_list(list: *mut List, size: usize) {
    unsafe {
        let layout = Layout::array::<List>(size).unwrap();
        dealloc(list as *mut u8, layout);
    }
}

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