Rust中值移动时栈内存变化——以Vec所有权转移为例

我正在试图理解Rust所有权系统及其编译器实现方式，这里有一段示例代码：

fn main() { 
    let my_vec = vec![1, 2, 3]; 
    let x = 5; 
    let y = 3.7; 
    function_that_takes_ownership(my_vec); 
} 

fn function_that_takes_ownership(vec: Vec<i32>) { 
    // ... 
}

当调用function_that_takes_ownership时，my_vec所占用的栈内存实际会发生什么变化？

我猜想调用前栈结构应如下所示：

+-----------+
| ...       |
+-----------+
| my_vec    | // 包含size、capacity和指向堆的指针
+-----------+
| x         |
+-----------+
| y         |
+-----------+ <--- 栈指针指向这里

调用该函数时，是将my_vec的副本再次压入栈中，同时旧位置被标记为未使用？还是实际压入指向my_vec的指针？

好问题！这其实是理解Rust移动语义和栈内存交互的关键细节之一，咱们一步步拆解：

核心结论：是复制栈上的Vec结构体，而非压入指针 #

当你调用function_that_takes_ownership(my_vec)时，Rust会把my_vec在栈上的整个结构体内容（也就是你说的size、capacity、堆内存指针这三个字段）复制一份，压入新创建的函数栈帧中，作为参数vec的值。

关于原my_vec栈位置的状态 #

原my_vec占用的栈空间并不会被立刻清空（比如用0填充之类的），但Rust编译器会在语义层面标记这个位置的变量为已移动。这意味着后续任何尝试读取或使用原my_vec的代码都会直接触发编译错误——编译器从根源上阻止了你访问一个已经失去所有权的变量，避免了悬垂指针或双重释放的问题。

调用后的栈结构大概是这样的 #

函数调用后，栈会扩展出一个新的函数栈帧，里面存放着参数vec：

+---------------------------+
| ...                       |
+---------------------------+
| function_that_takes_ownership栈帧: |
|   vec                     | // 复制了my_vec的size、capacity、堆指针
+---------------------------+
| my_vec                    | // 已被标记为移动，语义上无效
+---------------------------+
| x                         |
+---------------------------+
| y                         |
+---------------------------+ <--- 栈指针指向这里

为什么不直接传指针？ #

你可能会疑惑：为什么不直接传个指针指向原my_vec？这其实和Rust的所有权设计目标有关：

• 栈上的Vec结构体非常小（64位系统下是3个8字节字段，总共24字节），复制成本几乎可以忽略不计
• 直接复制结构体能让所有权的转移语义更清晰：函数参数vec现在完全拥有堆上的数组，原my_vec彻底失效，没有任何模糊的共享状态
• 编译器还会做很多优化（比如省略不必要的复制，也就是所谓的“移动省略”），但这些优化都是在不改变语义的前提下进行的——从代码逻辑和语义上，你依然要按照“栈结构体被复制，原变量被移动”来理解

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