Rust未初始化Vec引发双重释放：是否属于未定义行为？

核心结论 #

直接声明未初始化的Vec<T>（不借助MaybeUninit）确实会触发未定义行为，这并非Rust的bug，而是违反了unsafe Rust的内存安全规则。

问题根源解析 #

Vec作为智能指针，内部包含三个核心字段：堆内存指针、元素长度、容量。当你写出let mut v: Vec<Vec<usize>>;这类代码时，v的三个字段都是栈上的随机垃圾值。

当这个未初始化的Vec离开作用域时，Rust的自动Drop机制会执行它的析构函数——析构函数会基于那些随机的指针、长度、容量去尝试释放内存：

• 如果随机指针恰好指向了之前克隆的Vec所占用的堆内存，就会触发双重释放（对应debug模式下的SIGABRT）
• 随机值可能构造出完全无效的Vec状态，导致析构过程中出现非法内存访问或非法指令（对应release模式下的SIGILL）

哪怕你完全“未使用”这个未初始化的变量，Drop逻辑依然会在作用域结束时自动运行，这就是问题的关键。

为什么栈元素的Vec不会触发明显问题？ #

如果是单一的Vec<usize>（而非嵌套的Vec<Vec<usize>>），未初始化的Vec的随机指针大概率指向未分配的内存，析构时的释放操作可能不会立即触发明显错误，但这依然是未定义行为——只是问题没立刻显现而已，并非真的安全。

正确的解决方案 #

如果需要先声明变量、后续再完成初始化，必须用MaybeUninit<T>来包裹，它会明确告知编译器：该值处于未初始化状态，不要自动执行Drop。完成初始化后，再通过unsafe代码将其转换为合法的Vec<T>。

示例代码：

use std::mem::MaybeUninit;

fn main() {
    let original = vec![vec![1, 2, 3]];
    {
        let cloned = original.clone();
        // 用MaybeUninit声明未初始化变量
        let mut v: MaybeUninit<Vec<Vec<usize>>> = MaybeUninit::uninit();
        
        // 后续完成初始化
        unsafe {
            v.write(cloned);
            let v = v.assume_init();
            println!("{:?}", v);
        }
    }
}

虽然MaybeUninit看起来繁琐，但它是Rust保障内存安全的必要机制——它强制开发者明确处理未初始化状态，避免无意识地陷入未定义行为。

关于开发者偏好的补充 #

不少开发者倾向于直接声明Vec<T>并假设后续会填充，但这种做法在unsafe Rust中是严格禁止的。Rust的类型系统要求所有值在使用前必须完成初始化，未初始化的Vec<T>本身就是一个无效实例，其析构逻辑会直接引发未定义行为，和你“是否主动使用该变量”无关。

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