Rust整数变量复制操作存疑：为何未触发移动语义？

先看你提到的代码：

fn main() {
    let x = 5;
    {
        let x = x * 2;
        println!("inner scope {x}");
    }
    println!("outer scope {x}");
}

输出为inner scope 10 outer scope 5，外层的x依然能正常使用，核心原因在于**i32类型实现了Copy trait**。

关键逻辑拆解 #

• Rust的所有权规则里，默认情况下使用变量的值（比如参与运算、赋值给其他变量）会发生移动：原变量的所有权被转移，后续无法再使用。但对于实现了Copy trait的类型（比如i32、bool这类基本类型），这个行为会替换成复制：使用变量值时会自动创建一个值的副本，原变量的所有权不受影响，依然可以正常使用。
• 回到代码中的let x = x * 2：右边的x是外层的i32变量，因为i32是Copy类型，读取它的值参与乘法运算时，Rust会自动复制一份外层x的值（也就是5），用这个副本计算出5*2=10，再把结果赋值给内层的x。整个过程中外层x的所有权完全没被转移，所以后面的println!("outer scope {x}")能正常编译运行。

对比非Copy类型的情况 #

如果把x换成非Copy类型（比如String），代码会直接编译失败：

fn main() {
    let x = String::from("hello");
    {
        let x = x + " world"; // 外层x被移动到字符串拼接操作中，所有权转移
        println!("inner scope {x}");
    }
    println!("outer scope {x}"); // 编译错误：value borrowed here after move
}

这时候就能明显看出差异：非Copy类型的变量被使用时会发生移动，原变量直接失效；而Copy类型是隐式复制，原变量不受影响。

总结 #

你觉得“没有复制操作”是因为Rust对Copy类型的复制是隐式自动完成的，不需要显式调用复制方法。这段代码里读取外层x的时候确实发生了复制，只是这个过程被Rust自动处理了，所以外层x才能继续使用。

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