Rust值移动的地址变化及返回值移动相关技术问询

代码片段 #

impl<T> Foo<T> {
    fn new(t: T) -> Self {
        println!("(1) {:p}", &t);  // Print (1)
        
        let this = Self(t);
        println!("(2) {:p}", &this.0);  // Print (2)
        this
    }
}

说明：假设T未实现Copy trait。

问题1："print (1)"和"print (2)"是否总是显示不同地址？值的移动是否必然意味着地址变化？ #

不一定。Rust的移动语义核心是所有权转移，而非强制要求值的物理内存位置必须改变。编译器有权根据情况做优化，避免不必要的内存拷贝：

• 当T类型较大时，编译器可能直接复用t的内存空间作为this.0的存储位置，此时两个打印的地址会完全相同；
• 只有当编译器无法做这种优化时，才会实际把值拷贝到新的内存地址，这时两个地址才会不同。

简言之，移动的本质是所有权的转交，物理地址是否变化取决于编译器的优化决策，没有绝对的“总是不同”。

问题2：说"new函数返回值被移动"是否正确？this是否会移动到调用者中？为何地址看起来没变化？是RVO的作用吗？ #

称“返回值被移动”是正确的，this的所有权确实会转移给调用者，但这里的“移动”更多是逻辑层面的所有权转移，而非物理内存的搬运。

地址看起来没变化，确实是**返回值优化（RVO）或命名返回值优化（NRVO）**在起作用：

• 编译器会提前在调用者的栈帧中为返回值分配好内存空间；
• new函数里的this会直接构造在这个预分配的位置上，而非先在new的栈帧里创建this再移动到调用者栈帧；
• 这种优化省略了物理内存的拷贝步骤，所以打印的this.0地址和调用者中接收返回值的地址一致，但所有权的转移逻辑完全符合Rust的规则。

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