为何Rust编译器在移动不可变值时会执行拷贝操作？

首先要纠正你的核心误解：对于Rust的Copy类型（比如i32这类整数），let y = x执行的是值拷贝，而非移动操作——你混淆了Copy类型与非Copy类型的语义：

• 非Copy类型的let y = x是所有权移动，此时原变量x会被标记为不可用；
• 而Copy类型的let y = x是直接复制值，x和y都是独立的、拥有相同值的变量，这是语言定义的行为，不存在“移动优化为无操作”的前提，因为根本不是移动。

接下来解释你看到的汇编代码：

1. mov dword ptr [rsp + 4], 3：这行就是完成Copy类型的拷贝动作——因为x的值是常量3，编译器直接把3写入y的栈内存位置，而不是从x的位置读取再写入（这本身也是一种常量优化）。
2. mov rax, rsp：这是为后续调用println!相关的格式化函数做准备。println!宏展开后会生成代码，需要访问栈上的x和y变量，把栈基址rsp加载到rax，后续可以通过rax+0、rax+4的偏移来访问这两个变量的内存位置。

至于编译器为什么不把y和x视为同一个变量，原因很简单：编译器的优化策略是基于实际代码需求的，不是所有场景都会合并变量。在这个例子中，println!需要接收两个独立的参数，直接在栈上分配两个位置存放相同的常量值，反而比复用一个内存位置更高效——不需要额外的地址复用逻辑，直接用两个独立的栈偏移就能满足参数传递的需求，而且栈空间已经通过sub rsp, 88分配足够，完全没有浪费的问题。

如果换一个场景，比如代码不需要同时使用x和y，比如：

pub fn f_int() -> i32 {
    let x = 3;
    let y = x;
    y + 1
}

用-C opt-level=3编译后，编译器会直接优化成返回4，完全不会有任何栈上的拷贝操作，因为此时不需要保留两个变量的独立内存位置。

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