Rust编译器为何会对内存执行「移动」操作？

Rust标准库提供了Pin<Ptr>结构体，用于防止Ptr引用的值被移动。这在处理自引用数据类型时至关重要——如果没有它，当代码中存在语义移动标识时，编译器可能会在内存中移动数据，导致自引用失效。

std::pin文档给出了如下语义移动的示例：

// -snip-

// 创建追踪器并存储初始地址
let mut tracker = AddrTracker::default();
tracker.check_for_move();

// 此处我们遮蔽变量，这属于语义移动，因此可能伴随实际的内存移动
let mut tracker = tracker;

// -snip-

这就引出一个疑问：为什么编译器要将数据移动到新位置？如果编译器从不移动数据，似乎根本不需要Pin这类机制。

编辑补充：正如部分人指出的，栈上数据传递时移动操作是必要的，但这无法解释Pin<Box<T>>为何是常见构造，毕竟Box指向的是堆上的数据。

为什么需要数据移动？ #

Rust的移动语义是其内存安全模型的核心，它能在无需额外内存拷贝（栈场景）或仅拷贝指针（堆场景）的前提下转移资源所有权，既避免了GC的开销，又保证了内存安全。

编译器移动数据的典型场景包括：

• 栈内存优化：栈空间有限且连续，编译器会调整栈上变量的位置来优化内存布局、减少碎片，或是为后续函数调用、变量分配腾出合适空间。比如变量遮蔽时，编译器可能回收原变量的栈空间，将数据移动到新的栈位置。
• 所有权转移的语义要求：Rust要求同一时刻资源只能有一个所有者，移动操作是实现这一规则的关键。即使是堆上的数据，Box<T>本身是栈上的指针，移动Box<T>时虽然堆数据不动，但栈上的指针会被转移——若T是自引用类型，一旦允许T被移动（比如通过&mut T转移T的所有权），内部的自引用就会变成悬垂指针。

为什么Pin<Box<T>>是常见构造？ #

Box<T>将T存放在堆上，堆数据本身不会被轻易移动，但Box<T>提供的DerefMut允许获取&mut T，而&mut T默认可以用来移动T（比如通过mem::replace或直接赋值）。

Pin<Box<T>>的作用就是固定堆上的T，确保它不会被移动：即使获取了Pin<&mut T>，也无法将T从堆上的原位置移走。这对自引用类型来说是刚需——自引用类型内部的指针指向自身在堆上的地址，一旦T被移动，这个指针就会指向无效内存，引发未定义行为。

举个简单的自引用结构体例子：

struct SelfReferential {
    data: String,
    ptr: *const u8,
}

impl SelfReferential {
    fn new(s: String) -> Self {
        let ptr = s.as_ptr();
        Self { data: s, ptr }
    }
}

如果不用Pin，当你把这个结构体放入Box后，若通过&mut SelfReferential移动data，或是将整个SelfReferential从堆上转移，ptr就会变成悬垂指针。而Pin<Box<T>>能彻底阻止这种风险，保证自引用始终有效。

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