Rust如何移动不可复制的堆栈变量？

Question

Rust如何移动不可复制的堆栈变量？

rustmove-semanticsownership-semantics

23

这里有一个很好的Rust移动语义示例： Rust Move Semantics在Rust By Example网站上有记录。

我基本理解了所示范的两种情况。第一种是如何给基本类型创建一个新的别名，因为i32使用Copy特性，所以原始值仍然可以使用，因为最终结果是副本。这对我来说很有意义。

此外，出于许多很好的原因，第二个示例在具有指向堆上i32的多个别名方面是有意义的。 Rust强制执行所有权规则，因此现在创建了一个新绑定后，无法使用原始别名。这有助于防止数据竞争，双重释放等。

但似乎还有第三种情况没有被讨论到。 Rust如何实现不实现Copy 特性的栈分配结构体的移动？ 以下代码说明了这一点：

#[derive(Debug)]
struct Employee{
    age: i32,
}

fn do_something(m: Employee){
    println!("{:?}", m);
}

fn main() {
    let x = Employee {
        age: 25,
    };

    do_something(x);

    //compiler error below because x has moved
    do_something(x);
}

我知道的是：在上面的情况下，Rust将在堆栈上分配“Employee”。上述结构体未实现“Copy”特征，因此在分配给新别名时不会被复制。这对我来说非常令人困惑，因为如果“Employee”结构体分配在堆栈上，并且也没有实现“Copy”特性，那么它如何移动？它是否在“do_something（）”的堆栈帧中物理移动？任何关于解释这个谜题的帮助都将不胜感激。

- Ralph Caraveo

2

你介意简化一下你的例子吗？将Employee结构体简化并且至少移除生命周期会更好。比如说， struct Employee { age: i32 }就足够了。 - Lukas Kalbertodt

@LukasKalbertodt - 是的，我已经简化了这个例子。 - Ralph Caraveo

链接已更改：https://doc.rust-lang.org/rust-by-example/scope/move.html - Amit Erandole

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Lukas Kalbertodt · Accepted Answer

它会被物理地移动到do_something()的堆栈帧中吗？

是的。非Copy类型的物理移动方式与Copy类型完全相同：使用memcpy。你已经了解到原始的Copy类型是逐字节复制到新位置（例如新的堆栈帧）中的。

现在考虑这个Box的实现：

struct Box<T> {
    ptr: *const T,
}

When you have

let b = Box::new(27i32);
do_something(b);    // `b` is moved into `do_something`

当分配一个在堆上时，Box 会保存指向该堆内存的原始指针。请注意，Box 直接（内部的原始指针）位于栈上，而不是堆上！只有在堆上。

移动 Box 时，它被复制，就像我刚才所说的。这意味着栈内容被复制了（！！）... 因此仅指针以字节为单位被复制。并没有第二个版本的！

在物理移动方面，Copy 和非 Copy 类型之间没有区别。唯一的区别是编译器对这些类型施加不同的规则。